teste

N.1 Ano 1
ISSN 1809-0648

Ed. Paralogike - Santos - SP Brasil
ATC3 03/ 2006

Métodos de Aplicações da Lógica
Paraconsistente Anotada de anotação com dois valores-LPA2v João Inácio da Silva Filho
Email:

Da Silva Filho, J.I. [e-mail] ou [e-mail] IEA- Instituto de Estudos Avançados da Universidade de São Paulo
Av. Prof. Luciano Gualberto, Trav. J no 374, Térreo, Cidade Universitária
CEP 05508-900, São Paulo - SP- Brasil
GLPA-Grupo de Lógica Paraconsistente Aplicada
UNISANTA-NPE –Núcleo de Pesquisa em Eletrônica
Rua Oswaldo Cruz, 288 Boqueirão Santos-SP CEP- 11045-000 utilizados em Automação e Robótica e os Sistemas
Especialistas utilizados em Inteligência Artificial funcionam em geral com base na Lógica Clássica, onde a descrição do mundo é considerada por apenas dois estados. Estes Sistemas
Binários não conseguem tratar adequadamente as situações contraditórias. As Lógicas Paraconsistentes nasceram da necessidade de se encontrar meios de dar tratamento às situações contraditórias. Em muitos estudos, entre eles os encontrados em [1], [5] e [6], apresentaram resultados que possibilitam considerar as inconsistências em sua estrutura de um modo não trivial e por isso, se mostram mais propícias no enquadramento de problemas ocasionados por situações de contradições que aparecem quando lidamos com o mundo real. Resumo  Estudos de cunho estritamente teórico, apresentam a
Lógica Paraconsistente como uma boa solução para fazer tratamento de situações reais, onde a Lógica Clássica, por ser binária, se mostra ineficaz ou impossibilitada de ser aplicada. Estas situações como, as de indefinições, as de ambigüidades e principalmente as de inconsistências, aparecem e são descritas no mundo real com muita freqüência. Neste trabalho é apresentado um método inovador que permite a Lógica Paraconsistente sair de um campo estritamente teórico para uma aplicação simples, prática e direta, permitindo-se que Sistemas