Busca avançada
Ano de início
Entree

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

Processo: 08/07760-2
Linha de fomento:Bolsas no Brasil - Mestrado
Vigência (Início): 01 de março de 2009
Vigência (Término): 31 de agosto de 2010
Área do 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

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)

Por favor, reporte erros na lista de publicações científicas escrevendo para: cdi@fapesp.br.
Mapa da distribuição dos acessos desta página
Para ver o sumário de acessos desta página, clique aqui.