Portal de Periódicos da CAPES

Artigo Acesso aberto Produção Nacional Revisado por pares

BIBTEX RIS

Paraconsistência em informática e inteligência artificial

2000; UNIVERSIDADE DE SÃO PAULO; Volume: 14; Issue: 39 Linguagem: Português

10.1590/s0103-40142000000200012

1806-9592

Newton C. A. da Costa, Jair Minoro Abe,

Computability, Logic, AI Algorithms

IZ-SE QUE UMA teoria dedutiva e consistente se nao possuir teoremas contraditorios, um dos quais, a negacao do outro. Caso contrario, a teoria diz-se inconsistente (ou contraditoria). Uma teoria chamase trivial se todas as formulas (ou sentencas) de sua linguagem forem nela demonstraveis; em hipotese contraria, diz-se nao-trivial. Analogamente, a definicao aplica-se a sistemas de proposicoes, sistemas de informacoes etc. (levando-se em conta, naturalmente, o conjunto das suas consequencias). Se a logica subjacente a uma teoria T e a logica classica ou alguma de suas extensoes, T e inconsistente se e somente se for trivial. Logo, se quisermos erigir teorias ou sistemas de informacao inconsistentes mas nao-triviais, temos de recorrer a um tipo novo de logica. Logica paraconsistente e uma logica que pode servir de base para teorias inconsistentes e nao-triviais. Encontrou varias aplicacoes em Inteligencia Artificial (IA), programacao logica etc., mostrando-se de significado basico para a ciencia da computacao. Neste artigo tratamos de algumas aplicacoes significativas obtidas recentemente em ciencia da computacao e IA: ParaLog – uma linguagem de programacao paraconsistente, sistemas multiagentes, representacao de conhecimento (frames), uma nova arquitetura para ciencia de computacao baseada em logica paraconsistente anotada e implementacao de circuitos eletronicos paraconsistentes.