Análises de sinais de informações em Lógica Paraconsistente Anotada

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

  • Neste trabalho apresentamos uma série de operações com transformações lineares que resultam em equações booleanas no quadrado unitário do plano cartesiano (QUPC) da lógica paraconsistente anotada com anotação de dois valores (LPA2v). Além disso, redefinimos todas as operações apresentadas para o reticulado de anotações associado t à LPA. O método que usamos para redefmir estas operações no Reticulado t consiste de transformações (funções) entre o QUPC e o t. A partir das operações com estas transformações é encontrada uma maior flexibilidade para os sistemas de controle baseados em LPA2v que utilizem o QUPC ou o Reticulado de valores t para representar os sinais. Essas transformações nos permitem converter facilmente os sinais do QUPC para o t e vice-versa.