Tecnologia da Informação

txt

TUDO CÓPIA

Newton C.A. da Costa; Jair Minoro Abe

DIZ-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 chama-se 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.

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 computação, teoria de bancos de dados e IA. Por