Advanced search
Start date
Betweenand

Bases for paraconsistent logic programming in multi-valued logics

Grant number: 13/04555-7
Support type:Scholarships in Brazil - Doctorate
Effective date (Start): July 01, 2013
Effective date (End): February 28, 2017
Field of knowledge:Humanities - Philosophy - Logic
Principal researcher:Marcelo Esteban Coniglio
Grantee:Kleidson Êglicio Carvalho da Silva Oliveira
Home 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)

News published in Agência FAPESP Newsletter about the scholarship:
Articles published in other media outlets (0 total):
More itemsLess items
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

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. 154 f. Doctoral Thesis - Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas.

Please report errors in scientific publications list by writing to: cdi@fapesp.br.