Sobre os fundamentos de programação lógica paraconsistente

Detalhes bibliográficos
Autor(a) principal: Rodrigues, Tarcísio Genaro
Data de Publicação: 2010
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1613738
Resumo: Orientador: Marcelo Esteban Coniglio
id UNICAMP-30_926ef61669e6658356af24e253070ffe
oai_identifier_str oai::779563
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Sobre os fundamentos de programação lógica paraconsistenteOn the foundations of paraconsistent logic programmingLógica matemática não-clássicaLógica simbólica e matemáticaInconsistencia (Lógica)Programação lógicaLinguagens formais - SemânticaNon-classical mathematical logicSymbolic logic and mathematicsInconsistency (Logic)Logic programmingFormal languages - SemanticsOrientador: Marcelo Esteban ConiglioDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta aproximação deu origem a uma extensa pesquisa com a intenção de definir sistemas de Programação Lógica paraconsistentes, isto é, sistemas nos quais seja possível manipular informação contraditória. Porém, todas as abordagens existentes carecem de uma fundamentação lógica claramente definida, como a encontrada na programação lógica clássica. A questão básica é saber quais são as lógicas paraconsistentes subjacentes a estas abordagens. A presente dissertação tem como objetivo estabelecer uma fundamentação lógica e conceitual clara e sólida para o desenvolvimento de sistemas bem fundados de Programação Lógica Paraconsistente. Nesse sentido, este trabalho pode ser considerado como a primeira (e bem sucedida) etapa de um ambicioso programa de pesquisa. Uma das teses principais da presente dissertação é que as Lógicas da Inconsistência Formal (LFI's), que abrangem uma enorme família de lógicas paraconsistentes, proporcionam tal base lógica. Como primeiro passo rumo à definição de uma programação lógica genuinamente paraconsistente, demonstramos nesta dissertação uma versão simplificada do Teorema de Herbrand para uma LFI de primeira ordem. Tal teorema garante a existência, em princípio, de métodos de dedução automática para as lógicas (quantificadas) em que o teorema vale. Um pré-requisito fundamental para a definição da programação lógica é justamente a existência de métodos de dedução automática. Adicionalmente, para a demonstração do Teorema de Herbrand, são formuladas aqui duas LFI's quantificadas através de sequentes, e para uma delas demonstramos o teorema da eliminação do corte. Apresentamos também, como requisito indispensável para os resultados acima mencionados, uma nova prova de correção e completude para LFI's quantificadas na qual mostramos a necessidade de exigir o Lema da Substituição para a sua semânticaAbstract: Logic Programming arises from the interaction between Logic and the Foundations of Computer Science: first-order theories can be seen as computer programs. Logic Programming have been broadly used in some branches of Artificial Intelligence such as Knowledge Representation and Commonsense Reasoning. From this, a wide research activity has been developed in order to define paraconsistent Logic Programming systems, that is, systems in which it is possible to deal with contradictory information. However, no such existing approaches has a clear logical basis. The basic question is to know what are the paraconsistent logics underlying such approaches. The present dissertation aims to establish a clear and solid conceptual and logical basis for developing well-founded systems of Paraconsistent Logic Programming. In that sense, this text can be considered as the first (and successful) stage of an ambitious research programme. One of the main thesis of the present dissertation is that the Logics of Formal Inconsistency (LFI's), which encompasses a broad family of paraconsistent logics, provide such a logical basis. As a first step towards the definition of genuine paraconsistent logic programming we shown, in this dissertation, a simplified version of the Herbrand Theorem for a first-order LFI. Such theorem guarantees the existence, in principle, of automated deduction methods for the (quantified) logics in which the theorem holds, a fundamental prerequisite for the definition of logic programming over such logics. Additionally, in order to prove the Herbrand Theorem we introduce sequent calculi for two quantified LFI's, and cut-elimination is proved for one of the systems. We also present, as an indispensable requisite for the above mentioned results, a new proof of soundness and completeness for first-order LFI's in which we show the necessity of requiring the Substitution Lemma for the respective semanticsMestradoFilosofiaMestre em Filosofia[s.n.]Coniglio, Marcelo Esteban, 1963-Bueno-Soler, JulianaFeitosa, Hercules de AraujoUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASRodrigues, Tarcísio Genaro2010info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf141 p.https://hdl.handle.net/20.500.12733/1613738RODRIGUES, Tarcísio Genaro. Sobre os fundamentos de programação lógica paraconsistente. 2010. 141 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1613738. Acesso em: 3 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/779563porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T06:04:35Zoai::779563Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T06:04:35Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Sobre os fundamentos de programação lógica paraconsistente
On the foundations of paraconsistent logic programming
title Sobre os fundamentos de programação lógica paraconsistente
spellingShingle Sobre os fundamentos de programação lógica paraconsistente
Rodrigues, Tarcísio Genaro
Lógica matemática não-clássica
Lógica simbólica e matemática
Inconsistencia (Lógica)
Programação lógica
Linguagens formais - Semântica
Non-classical mathematical logic
Symbolic logic and mathematics
Inconsistency (Logic)
Logic programming
Formal languages - Semantics
title_short Sobre os fundamentos de programação lógica paraconsistente
title_full Sobre os fundamentos de programação lógica paraconsistente
title_fullStr Sobre os fundamentos de programação lógica paraconsistente
title_full_unstemmed Sobre os fundamentos de programação lógica paraconsistente
title_sort Sobre os fundamentos de programação lógica paraconsistente
author Rodrigues, Tarcísio Genaro
author_facet Rodrigues, Tarcísio Genaro
author_role author
dc.contributor.none.fl_str_mv Coniglio, Marcelo Esteban, 1963-
Bueno-Soler, Juliana
Feitosa, Hercules de Araujo
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Rodrigues, Tarcísio Genaro
dc.subject.por.fl_str_mv Lógica matemática não-clássica
Lógica simbólica e matemática
Inconsistencia (Lógica)
Programação lógica
Linguagens formais - Semântica
Non-classical mathematical logic
Symbolic logic and mathematics
Inconsistency (Logic)
Logic programming
Formal languages - Semantics
topic Lógica matemática não-clássica
Lógica simbólica e matemática
Inconsistencia (Lógica)
Programação lógica
Linguagens formais - Semântica
Non-classical mathematical logic
Symbolic logic and mathematics
Inconsistency (Logic)
Logic programming
Formal languages - Semantics
description Orientador: Marcelo Esteban Coniglio
publishDate 2010
dc.date.none.fl_str_mv 2010
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1613738
RODRIGUES, Tarcísio Genaro. Sobre os fundamentos de programação lógica paraconsistente. 2010. 141 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1613738. Acesso em: 3 set. 2024.
url https://hdl.handle.net/20.500.12733/1613738
identifier_str_mv RODRIGUES, Tarcísio Genaro. Sobre os fundamentos de programação lógica paraconsistente. 2010. 141 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1613738. Acesso em: 3 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/779563
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
141 p.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809189043741655040

Registros relacionados