Bases for paraconsistent logic programming in multi-valued logics

• Grant number: 13/04555-7
• Support Opportunities: Scholarships in Brazil - Doctorate
• Start date: July 01, 2013
• End date: February 28, 2017
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Marcelo Esteban Coniglio
• Grantee: Kleidson Êglicio Carvalho da Silva Oliveira
• Host Institution: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil
• Associated research grant: 10/51038-0 - Logical consequence, reasoning and computation - LOGCONS, AP.TEM

Abstract

From the interaction between areas as Computer Science, Logic and Automated Deduction comes an important new area called Logic Programming. This has been used continuously in the theoretical study and practical applications in various fields of Artificial Intelligence. After increasing the number of types of non-classical logics and with the assurance that human thought is not limited to classical first-order logic became necessary to make logic programming with other types of reasonings than the classical. One type that has been studied extensively is the paraconsistent reasoning, however, although there are many paraconsistent logics with varying semantics, its application to logic programming is more delicate than it appears, requiring a thorough study of what can or can not be transferred directly from the classical first order logic for other types of logic. Based on studies of [Rod10] on the foundations of Paraconsistent Logic Programming for some LFIs, this work is intended to resume the search of [Rod10] and place it in a wider context of LFIs with semantics of finite matrices, including the search in tri and tetra-valued logics, that resulting interesting of the computational point of view, as presented in [Sil11] and [CF13]. This study aims to define, from original techniques, systems of paraconsistent logic programming well-founded based on logics known, in contrast to the ad hoc approaches in the literature for this question. (AU)

Academic Publications

(References retrieved automatically from State of São Paulo Research Institutions)

OLIVEIRA, Kleidson Êglicio Carvalho da Silva. Paraconsistent logic programming in three and four valued logics. 2017. Doctoral Thesis - Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas Campinas, SP.