14/10 – Kleidson Oliveira

Alguns resultados sobre Programação Lógica Paraconsistente 3-valorada

Kleidson Oliveria, doutorando IFCH\CLE, Unicamp

No século XX houve o desenvolvimento de diversos tipos diferentes de raciocício lógico e formalização de uma ampla variedade de lógicas não-clássicas. Uma importante área da Lógica, chamada Programação Lógica, foi intensivamente desenvolvida, tanto teoreticamente como em aplicações em diversos ramos da Inteligência Artificial. O estudo de Programação Lógica baseada nas lógicas paraconsistentes é mais delicado do que parece ser, e muitos teoremas importantes não podem ser diretamente traduzidos da Lógica Clássica de Primeira-Ordem para uma lógica paraconsistente, como muitas vezes é assumido. Assim, baseado nos estudos iniciados por Rodrigues (2010) e continuados por Coniglio sobre os fundamentos da Programação Lógica Paraconsistente baseados nas diferentes lógicas paraconsistentes na hierarquia das Lógicas da Inconsistência Formal (LFIs, ver Carnielli, Coniglio e Marcos (2007)), mostraremos alguns resultados sobre a teoria da resolução clausal de um sistema de Programação Lógica definido sobre a lógica paraconsistente 3-valorada de primeira ordem LPT1 (Ver Coniglio e Silvestrini (2014)).

W. A. Carnielli, M. E. Coniglio and J. Marcos, “Logics of Formal Inconsistency”, in Handbook of Philosophical Logic, edited by D. Gabbay and F. Guenthner, Springer, 2007, pp. 1-93.

M. E. Coniglio, “On 3-valued and 4-valued rst-order logics for information systems”, a aparecer.

M. E. Coniglio and L. H. C. Silvestrini, “An alternative approach for quasi-truth”, Logic Journal of the IGPL, vol. 22, 2014, pp. 387-410.

T. G. Rodrigues, Sobre os fundamentos da Programação Lógica paraconsistente, Dissertação de Mestrado, IFCH – Universidade Estadual de Campinas, Brasil, 2010.

Anúncios