Logicas De Inconsistencia Formal
Mostrando 1-6 de 6 artigos, teses e dissertações.
-
1. Sobre os fundamentos de programação lógica paraconsistente / On the foundations of paraconsistent logic programming
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 apr
Publicado em: 2010
-
2. Logicas da inconsistencia deontica / Logics of Deontic inconsistency
This work expose briefly what are the Logics of Formal Inconsistency ...Note: The complete abstract is available with the full electronic digital thesis or dissertations
Publicado em: 2009
-
3. Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo
O presente trabalho tem por objetivo investigar o papel da negação no âmbito das modalidades, de forma a poder esclarecer até que ponto a negação pode ser atenuada, controlada ou mesmo totalmente eliminada em favor da melhor expressabilidade lógica de certas teorias, asserções ou raciocínios que sofrem os efeitos da negação. Contudo, atenuar ou e
Publicado em: 2009
-
4. Logicas da inconsistencia formal quantificadas / Quantified logics of formal inconsistency
This dissertation aims to develop a sound and complete semantics for a class of first-order logics known as Logics of Formal Inconsistency (LFIs). After general explanation about paraconsistent and first-order semantics, a particular LFI, labeled QmbC, will be characterized by means of an axiom system. Then a sound and complete semantics for it will be const
Publicado em: 2008
-
5. "Um provador de teoremas multi-estratégia" / A Multi-Strategy Tableau Prover
Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar as estratégias utilizadas sem modificar o núcleo da implementação. Além de multi-estratégia, o KEMS é capaz de provar teorema
Publicado em: 2007
-
6. Paraconsistencia, modalidades e cognoscibilidade
Este texto tem por objetivo o estudo sintático e semântico das lógicas da inconsistência formal (LFIs), as quais são lógicas paraconsistentes que permitem o uso de operadores para formalizar as noções de consistência e inconsistência. Além das LFls, são estudadas as lógicas modais normais, as quais possuem operadores para formalizar as noções
Publicado em: 2003