Introdução ao conceito de estado Lógico Paraconsistente E

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

  • Neste artigo apresentamos uma introdução ao conceito de estado Lógico Paraconsistente e como principal fundamento básico na aplicação da Lógica Paraconsistente Anotada LPA em sistemas fisicos. Atualmente uma forma de aplicação da lógica paraconsistente com bons resultados vem sendo feita através de uma lógica paraconsistente especial denominada de Lógica Paraconsistente Anotada com anotação de dois valores (LPA2v). A LPA2v trata-se de uma lógica evidencial e teve a primeira aplicação real no sistema de controle denominado de Controlador Lógico Paraconsistente ou ParaControl, construído em 1999. O ParaControl recebe informações sobre o ambiente através de dois sensores de ultrasom e, após a análise gera 12 estados lógicos representados por regiões delimitadas que servem como informação para controlar as ações do Robô Emmy 1. Nesse controlador, os dois valores cm forma de Graus de evidência são equacionados e interpretados em um Reticulado associado à LPA2v e produzem estados lógicos Paraconsistentes e relacionados ao valor da medida da distância do Robô a obstáculos em um ambiente não-estruturado. Nesse artigo introduzimos um refinamento na análise no Reticulado da LPA2v que permite uma melhor conceitualização de um estado Lógico Paraconsistente e e a sua relação com o estado de um corpo, ou de uma partícula, no mundo físico. Dessa forma, os resultados dessa análise levam a concluir que, utilizando os fundamentos da LPA2v para tratar informações originadas de medições de Variáveis Observáveis do mundo físico pode-se correlacionar efeitos físicos e paracortsistentes. Essa caracteristica de correlação de estados que apresenta a LPA2v permite a construção dc modelos capazes de simular fenômenos da física através da Lógica Paraconsistente.