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

• Processo: 08/07760-2
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de março de 2009
• Data de Término da vigência: 31 de agosto de 2010
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Marcelo Esteban Coniglio
• Beneficiário: Tarcísio Genaro Rodrigues
• Instituição Sede: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Vinculado ao auxílio: 04/14107-2 - Logical consequence and combinations of logics: fundaments and efficient applications, AP.TEM
• Assunto(s): Programação lógica Lógicas não clássicas
• Palavra(s)-Chave do Pesquisador: Bases de dados inconsistentes | Lógicas da Inconsistência Formal | Paraconsistência | Programação Lógica | Lógicas não-clássicas

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)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

RODRIGUES, Tarcísio Genaro. Sobre os fundamentos de programação lógica paraconsistente. 2010. Dissertação de Mestrado - Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas Campinas, SP.