Métodos de Aplicações da Lógica Paraconsistente Anotada de anotação com dois valores - LPA2v

• Autores: João Inácio da Silva Filho
• Localización: Seleção Documental: Inteligência Artificial e novas Tecnologias, ISSN 1809-0648, Nº. 1, 2006, págs. 18-25
• Idioma: portugués
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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 de Controle possam efetuar tratamento de situações não cobertas pela Lógica Clássica e assim conquistando um avanço significativo na forma de dar tratamento á sinais contraditórios.

    Os resultados dos estudos apresentados neste trabalho são baseados numa classe de lógica Não-Clássica denominada de Lógica Paraconsistente Anotada de anotação com dois valores-LPA2v. A análise de sinais utilizando a LP A2v permite que vários problemas ocasionados por situações contraditórias e paracompletas possam ser tratados de uma maneira próxima da realidade, através da consideração de evidências. Este método de interpretação traz relevantes resultados que culminaram na construção do algoritmo denominado "Para-Analisador". O algoritmo pode ser implementado por software, em linguagem de computação convencional, e proporciona a aplicação da Lógica Paraconsistente em Sistemas de Controle de Inteligência Artificial, Automação e Robótica. Com base na descrição do Algoritrno Para-Analisador é projetado um Sistema de Controle denominado de Controlador Lógico Paraconsístente-Para-Control capaz de fazer tratamento de sinais contraditórios conforme as bases teóricas da Lógica Paraconsistente.

    Os métodos de aplicação da LP A2v apresentados podem ser aplicados por meio de Software ou Hardware em diversas áreas como: Sistemas Especialistas, Redes Neurais, Robótica e Inteligência Artificial.