iii congresso brasileiro de iniciação científica anais 2011 - Unisanta

Simulação de algoritmos da lógica paraconsistente
anotada em sistemas microcontrolados
Djalma de Albuquerque e Chaves Netto, Ivan Luiz Molarino Pires,
João Inacio da Silva Filho
Faculdade de Engenharias e Arquitetura, Universidade Santa Cecília
Introdução: A lógica clássica, que sustenta a nossa tecnologia, apresenta em seus
fundamentos rígidas leis binárias que não permitem retratar situações de inconsistências ou
de ambigüidades representadas por incertezas comuns ao meio físico real. Devido a isso
tem-se buscado Sistemas Inteligentes com novas formas de tratamento de sinais capazes de
adequar conclusões baseadas também em dados incompletos, vagos e/ou contraditórios. As
recentes investigações na área de Inteligência Artificial mostram bons resultados quando
essa forma de tratamento de sinais provenientes de banco de dados incertos é feita através
de lógicas não-clássicas. A Lógica Paraconsistente (LP) é uma lógica não-clássica que tem
como principal característica a capacidade de aceitar contradição na sua estrutura teórica.
Metodologia: Neste trabalho são implementados algoritmos fundamentados em uma
extensão da LP denominada de Lógica Paraconsistente Anotada com anotação de dois
valores (LPA2v). Os algoritmos da LPA2v são aplicados a uma simulação de um sistema
microcontrolado que pode ser utilizados em sistemas de tomada de decisão e controle. As
programações dos Algoritmos da LPA2v foram feitas em linguagem Assembly com simulação
em um microcontrolador 8051 utilizando o Software Proteus 4 . O Módulo Microcontrolado é
parte de um projeto de um sistema capaz de captar sinais provenientes de dois sensores os
quais funcionam como duas fontes de informação geradoras de sinal que são tratadas pelo
Microcontrolador produzindo resposta na forma de estados lógicos paraconsistentes
representados por 64 Diodos LEDs que ficam dispostos em forma de um Reticulado
representante da LPA2v.Conclusões: Verificou-se que a simulação dos algoritmos mostrou
resultados fiéis aos valores determinados teoricamente pelas equações da LPA2v, o que
indica que o sistema de análise paraconsistente construído neste trabalho pode ser utilizado
para tomada de decisão em sistemas industriais ou em sistemas robóticos.
4 Proteus é um software para simulação de microprocessadores, captura esquemática, e placa de
circuito impresso (PCB design). É desenvolvido pela empresa inglesa Labcenter Electronics.
III Congresso Brasileiro de Iniciação Científica, 18 a 19 nov 2011 Página 170