Programação lógica paraconsistente baseada em Lógicas da Inconsistência Formal

Resumo

O presente projeto de pesquisa visa o estudo de diferentes abordagens à programação lógicaparaconsistente introduzidas na literatura, assim como o desenvolvimento de um paradigma original baseado nas Lógicas da Inconsistência Formal (LFIs). Para isso, serão analisadas e comparadas as semânticas para LFIs de primeira ordemintroduzidas independentemente por A. Avron e A. Zamansky, por um lado, e R. Podiacki pelo outro, com o objetivo de definir uma semântica apropriada para programas lógicos paraconsistentes (o fragmento das cláusulas Horn da lógica de primeira ordem). Outras semânticas, tais como as semânticas de modelos estáveis e as semânticas bem-fundadas, serão também analisadas neste contexto, assim como a definição de uma regra de resolução apropriada para LFIs. Estes estudos poderão ser aplicados para estender, para linguagens de primeira ordem com símbolos de função, a linguagem dedutiva de consulta P-Datalog introduzida por M.S. Pais, que está baseada numa LFI de 4 valores. Espera-se realizar uma discussão conceitual sobre a questão da inconsistência em bases de conhecimento. (AU)