PROGRAMAÇÃO LÓGICA PARACONSISTENTE EM LÓGICAS TRÊS E QUATRO VALORADAS

A PARTIR DA INTERAÇÃO ENTRE ÁREAS COMO CIÊNCIA DA COMPUTAÇÃO, LÓGICA E DEDU ÇÃO AUTOMÁTICA NASCE UMA IMPORTANTE NOVA ÁREA DENOMINADA PROGRAMAÇÃO LÓGICA. ESTA VEM SENDO UTILIZADA CONTINUAMENTE NO ESTUDO TEÓRICO E EM APLICAÇÕES CONCRETAS EM DIVERSOS RAMOS DA INTELIGÊNCIA ARTICIAL. APÓS O AUMENTO DO NÚMERO DE TIPOS DE LÓGICAS NÃO-CLÁSSICAS, E ESTANDO CLARAS AS LIMITAÇÕES DA LÓGICA CLÁSSICA DE PRIMEIRA ORDEM, SURGIU A NECESSIDADE DE FAZER PROGRAMAÇÃO LÓGICA COM OUTROS TIPOS DE RACIOCÍNIOS ALÉM DO CLÁSSICO. UM DOS TIPOS QUE VEM SENDO BASTANTE ESTUDADO É O RACIOCÍNIO PARACONSISTENTE, ISTO É, TOLERANTE A CONTRADIÇÕES. PORÉM, APESAR DE EXISTIREM DIVERSAS LÓGICAS PARACONSISTENTES COM SEMÂNTICAS VARIADAS, A SUA APLICAÇÃO A PROGRAMAÇÃO LÓGICA É MAIS DELICADA DO QUE PODE PARECER, SENDO NECESSÁRIO UM PROFUNDO ESTUDO SOBRE O QUE PODE OU NÃO SER TRANSFERIDO DIRETAMENTE DA LÓGICA CLÁSSICA DE PRIMEIRA ORDEM PARA OUTROS TIPOS DE LÓGICA. COM BASE NOS ESTUDOS DE RODRIGUES [ROD10] SOBRE OS FUNDAMENTOS DA PROGRAMAÇÃO LÓGICA PARACONSISTENTE PARA ALGUMAS LÓGICAS DA INCONSISTÊNCIA FORMAL LFIS, ESTE TRABALHO TEM O INTUITO DE RETOMAR A PESQUISA DE RODRIGUES [ROD10] E SITUÁ-LA NO CONTEXTO MAIS ESPECÍCO DE LFIS COM SEMÂNTICA TRÊS E QUATRO VALORADAS QUE RESULTAM INTERESSANTES DO PONTO DE VISTA COMPUTACIONAL, COMO AS APRESENTADAS EM SILVESTRINI [SIL11] E CONIGLIO E FIGALLO [CF12]. ESTE ESTUDO VISA DENIR, A PARTIR DE TÉCNICAS ORIGINAIS, SISTEMAS DE PROGRAMAÇÃO LÓGICA PARACONSISTENTE BEM FUNDADOS BASEADOS EM LÓGICAS JÁ CONHECIDAS, CONTRASTANDO COM AS ABORDAGENS AD HOC EXISTENTES NA LITERATURA PARA ESTA QUESTÃO.