Utilize este identificador para referenciar este registo: http://hdl.handle.net/10198/10944
Título: Revision based total semantics for extended normal logic programs
Autor: Abrantes, Mário
Orientador: Pereira, Luís Moniz
Rocha, Isabel Oitavem
Palavras-chave: Total paraconsistent models
Declarative debugging
Inconsistency propagation detection
Defectivity
Excessiveness
Irregularity
Data de Defesa: 2013
Resumo: The purpose of this thesis is the development of a formal semantical approach for extended normal logic programs, where contradictions are tackled by means of a reduction ad absurdum with respect to default negation mechanism, in the fashion of arti cial intelligence belief revision, that leads to a set of implicit revisions. We ful lled these objectives in two steps. The rst one was the implementation of a total paraconsistent models semantics for extended normal logic programs MHP , that combines the merits of two already existing semantics: it inherits the existence property of the abductive minimal hypotheses semantics MH, a semantics of total models, and the property of detection of support on contradiction of the paraconsistent well-founded semantics with explicit negation WFSXP , a semantics of partial paraconsistent models. As for the second step, we developed a revision procedure for inconsistent constrained theories, that tackles inconsistencies arising from contradictions with respect to explicit negation, i.e., L and :L in the same model, and stepping beyond, also tackles inconsistencies arising in more general constrained theories (i.e., theories containing constraints of the type ? A; not B, where A is a conjunction of objective literals and not B stands for a conjunction of default literals). An algorithm for inconsistency propagation detection was also developed. A characterization of the MHP with respect to the semantic formal properties of relevance and cumulativity is furnished, by resorting to a set of results that arose from a detailed study of these properties for a class of 2-valued conservative extensions of the stable models semantics.
O objetivo desta tese é o desenvolvimento de uma abordagem formal semântica para programas lógicos normais estendidos (i.e., programas com dois tipos de negação: uma negação explícita e a negação por omissão), na qual as contradições são resolvidas por meio de um mecanismo de raciocínio por redução ao absurdo, ao estilo da revisão de crenças na intelig ência arti cial. Este objectivo foi alcançado em duas etapas. A primeira delas foi a implementação de uma semântica de modelos totais para programas lógicos estendidos, MHP , que combina os méritos de duas semânticas já existentes: herda a propriedade de existência da semântica abdutiva de hipóteses mínimas MH, uma semântica de modelos totais para programas normais; herda também a propriedade de detecção de suporte em contradição da semântica paraconsistente WFSXP , uma semântica de modelos paraconsistentes parciais para programas lógicos estendidos. A segunda etapa consistiu no desenvolvimento de um algoritmo de revisão de teorias inconsistentes, que aborda não apenas inconsistências decorrentes de contradições com respeito à negação explícita, ou seja L e :L no mesmo modelo, mas também inconsistências com respeito a teorias contendo restrições de integridade mais gerais, do tipo ? A; not B, sendo A uma conjunção de literais objectivos e not B uma conjunção de literais objectivos negados por omissão. Um algoritmo de detecção de propagação de inconsistências foi também desenvolvido. É apresentada uma caracterização detalhada da MHP com respeito às propriedades semânticas formais de relevância e cumulatividade, utilizando um conjunto de resultados obtidos de um estudo dessas propriedades para uma classe de extensões conservativas 2-valoradas da semântica de modelos estáveis.
URI: http://hdl.handle.net/10198/10944
Designação: Doutor em Matemática - Lógica e Fundamentos da Matemática
Aparece nas colecções:DEMAT - Teses de Doutoramento

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
Tese_Versao_Final.pdf1,1 MBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.