Publicação
An abductive paraconsistent semantics – MHP
| Resumo: | In this paper we present a paraconsistent abdutive semantics for extended normal logic programs, the paraconsistent minimal hypotheses semantics MHP . The MHP is a semantics of total paraconsistent models wich combines the merits of two already existing semantics: it inherits the existence property of the abductive minimal hypotheses semantics MH [1], which is a semantics of total models, and the property of detection of support on contradiction of the paraconsistent well-founded semantics with explicit negation WFSXP [2], which is a semantics of partial paraconsistent models. The MHP enjoys also the property of simple relevance, which permits top-down query answering for brave reasoning purposes. Besides, the MHP lends itself to various types of skeptical and brave reasoning, which include the possibility of drawing conclusions from inconsistent models in a nontrivial way. The MHP coincides with the MH on normal logic programs, and with the WFSXP on stratified extended programs. |
|---|---|
| Autores principais: | Abrantes, Mário |
| Outros Autores: | Pereira, Luís Moniz |
| Assunto: | Hypotheses Semantics Abduction Total paraconsistent model Partial paraconsistent model Paraconsistency |
| Ano: | 2013 |
| País: | Portugal |
| Tipo de documento: | comunicação em conferência |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Instituto Politécnico de Bragança |
| Idioma: | inglês |
| Origem: | Biblioteca Digital do IPB |
| Resumo: | In this paper we present a paraconsistent abdutive semantics for extended normal logic programs, the paraconsistent minimal hypotheses semantics MHP . The MHP is a semantics of total paraconsistent models wich combines the merits of two already existing semantics: it inherits the existence property of the abductive minimal hypotheses semantics MH [1], which is a semantics of total models, and the property of detection of support on contradiction of the paraconsistent well-founded semantics with explicit negation WFSXP [2], which is a semantics of partial paraconsistent models. The MHP enjoys also the property of simple relevance, which permits top-down query answering for brave reasoning purposes. Besides, the MHP lends itself to various types of skeptical and brave reasoning, which include the possibility of drawing conclusions from inconsistent models in a nontrivial way. The MHP coincides with the MH on normal logic programs, and with the WFSXP on stratified extended programs. |
|---|