nordeste

Paraconsistência em informática e inteligência artif icial
NEWTON C.A. DA COSTA e JAIR MINORO ABE
IZ - SE QUE UMA

teoria dedutiva é consistente se não possuir teoremas contraditórios, um dos quais, a negação do outro. Caso contrário, a teoria diz-se inconsistente (ou contraditória). Uma teoria chamase trivial se todas as fórmulas (ou sentenças) de sua linguagem forem nela demonstráveis; em hipótese contrária, diz-se não-trivial.

D

Analogamente, a definição aplica-se a sistemas de proposições, sistemas de informações etc. (levando-se em conta, naturalmente, o conjunto das suas conseqüências).
Se a lógica subjacente a uma teoria T é a lógica clássica ou alguma de suas extensões, T é inconsistente se e somente se for trivial. Logo, se quisermos erigir teorias ou sistemas de informação inconsistentes mas não-triviais, temos de recorrer a um tipo novo de lógica.
Lógica paraconsistente é uma lógica que pode servir de base para teorias inconsistentes e não-triviais. Encontrou várias aplicações em Inteligência Artificial (IA), programação lógica etc., mostrando-se de significado básico para a ciência da computação.
Neste artigo tratamos de algumas aplicações significativas obtidas recentemente em ciência da computação e IA: ParaLog – uma linguagem de programação paraconsistente, sistemas multiagentes, representação de conhecimento (frames), uma nova arquitetura para ciência de computação baseada em lógica paraconsistente anotada e implementação de circuitos eletrônicos paraconsistentes.

Programação lógica paraconsistente
Inconsistências surgem naturalmente na descrição do mundo real. Isto ocorre em vários contextos. Não obstante, seres humanos são capazes de raciocinar adequadamente. A automatização de tais raciocínios requer o desenvolvimento de teorias formais apropriadas.
O emprego de sistemas lógicos que permitem a manipulação de informações inconsistentes é uma área de importância crescente em ciência de

ESTUDOS AVANÇADOS 14 (39),