A carregar...
Publicação
An abductive paraconsistent semantics – MHP
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 642.42 KB | Adobe PDF |
Orientador(es)
Resumo(s)
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.
Descrição
Palavras-chave
Hypotheses Semantics Abduction Total paraconsistent model Partial paraconsistent model Paraconsistency
Contexto Educativo
Citação
Abrantes, Mário; Pereira, Luís Moniz (2013). An abductive paraconsistent semantics – MHP. In Michael Hanus, Ricardo Rocha (Eds.) 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), 22nd InternationalWorkshop on Functional and (Constraint) Logic Programming (WFLP 2013), 27thWorkshop on Logic Programming (WLP 2013). p. 283-298
Editora
Christian-Albrechts-Universitat Zu Kiel