CONTROLADOR LÓGICO PARACONSISTENTE

IPC Classification

Abstract

CONTROLADOR LÓGICO PARACONSISTENTE O Controlador Lógico Paraconsistente denominado de objeto desta patente consiste em um circuito eletrônico para ser utilizado em Sistemas Especialistas de Inteligência Artificial, em Sistemas de Controle de Robótica e em Sistemas de Automação Industrial, fazendo um tratamento de sinais contraditórios de um modo não trivial baseado na Lógica Paraconsistente Anotada com anotação de dois valores LPA2v. Ele é composto basicamente pelo Circuito Para-Analisador (1) que é constituído por duas parte principais: 1º) o Circuito Detector Analógico dos estados extremos (2) que recebe dois sinais correspondentes aos graus de crença e de descrença (3), faz cálculos analógicamente apresentando valores de graus de certeza G~ c~ e de graus de contradição G~ ct~ na saída (4), conforme equações da LPA2v. Este circuito também detecta situações extremas (5) do reticulado associado à LPA2v como: T = Inconsistente, V=Verdadeiro, F=Falso e =Indeterminado. 2º) Circuito Lógico Detector dos Estados Não-Extremos (6) que detecta situações não-extremas (7) do reticulado associado á LPA2v como: Quase-inconsistente tendendo à Verdadeira, Quase-inconsistente tendendo à Falsa, Verdadeira tendendo à Inconsistente, Verdadeira tendendo à Indeterminada, Falsa tendendo à Inconsistente, Falsa tendendo à Indeterminada, Indeterminada tendendo à Verdadeira e Indeterminada tendendo à Falsa. O mesmo ainda tem na sua composição o circuito que faz a maximização (conectivo OR) (8), a minimização (Conectivo AND) e a Negação Lógica da LPA2v (9). Além de tratar conflitos de modo não-trivial, engloba todas as situações da Lógica Clássica e também da teoria dos conjuntos Fuzzy.