Programação lógica paraconsistente em lógicas três e quatro valoradas

Paraconsistent logic programming in three and four valued logics

dc.creatorOliveira, Kleidson Êglicio Carvalho da Silva, 1987-
dc.date2017
dc.date2017-03-30T00:00:00Z
dc.date2017-07-27T20:11:08Z
dc.date2017-07-27T20:11:08Z
dc.date.accessioned2018-03-29T05:12:37Z
dc.date.available2018-03-29T05:12:37Z
dc.identifierOLIVEIRA, Kleidson Êglicio Carvalho da Silva. Programação lógica paraconsistente em lógicas três e quatro valoradas. 2017. 1 recurso online (154 p.). Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP.
dc.identifierhttp://repositorio.unicamp.br/jspui/handle/REPOSIP/322632
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1356576
dc.descriptionOrientador: Marcelo Esteban Coniglio
dc.descriptionTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas
dc.descriptionResumo: 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 Artificial. 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ífico 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 definir, 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
dc.descriptionAbstract: From the interaction among areas such as Computer Science, Logic and Automated Deduction arises 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 understanding the limitations of classical first-order logic, became necessary to consider logic programming with other types of reasonings than the classical. One type that has been studied extensively is the paraconsistent reasoning, that is, reasoning tolerant to contradictions. However, although there are many paraconsistent logics with varying semantics, its application to logic programming is more delicate than it appears at rst sight, 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 Logics of Formal Inconsistency (LFIs), this work is intended to resume the research of [Rod10] and place it in the specific context of LFIs with three and four valued semantics, which are interesting of the computational point of view, as presented in Silvestrini [Sil11] and Coniglio and Figallo [CF12]. This study aims to define, from original techniques, well-founded systems of paraconsistent logic programming based on well-know logics, in contrast to the "ad hoc" approaches in the literature found to this question
dc.descriptionDoutorado
dc.descriptionFilosofia
dc.descriptionDoutor em Filosofia
dc.description2013/04555-7
dc.descriptionFAPESP
dc.format1 recurso online (154 p.) : il., digital, arquivo PDF.
dc.formatapplication/pdf
dc.publisher[s.n.]
dc.relationRequisitos do sistema: Software para leitura de arquivo em PDF
dc.subjectProgramação lógica
dc.subjectLógica paraconsistente
dc.subjectLógica a multiplos valores
dc.subjectLogic programming
dc.subjectParaconsistent logic
dc.subjectMany-valued logics
dc.titleProgramação lógica paraconsistente em lógicas três e quatro valoradas
dc.titleParaconsistent logic programming in three and four valued logics
dc.typeTesis


Este ítem pertenece a la siguiente institución