Resumen de Robô móvel autônomo Emmy: uma aplicação eficiente da Lógica Paraconsistente Anotada
Jair Minoro Abe, João Inácio da Silva Filho, Cláudio Rodrigo Torres
Neste artigo apresentamos o robô denominado Emmy que usa um inédito Sistema de Controle construído os fundamentos teóricos da Lógica Paraconsistente Anotada LPA. O robô Emmy é do tipo móvel autônomo e constitui-se de uma plataforma circular de 30 cm, onde estão instalados vários módulos sobrepostos em uma estrutura acionada por dois motores de corrente contínua. Os circuitos dos módulos são interconectados e convenientemente 'ligados destinando-se a sensoriar o ambiente, e tratar sinais de informações conforme os conceitos da Lógica consistente Anotada. Desse modo o Sistema Lógico consistente consegue controlar o movimento do robô que o mesmo trafegue em um ambiente não estruturado evitando obstáculos. O Controlador do robô Emmy foi construído para funcionar com base numa classe de lógicas consistentes - as lógicas Paraconsistentes anotadas de ação com dois valores LP A2v - e tem um sistema especial que analisa e toma decisões frente a situações reais como: as de inconsistências e as de indefinições. Para captar informações sobre a presença de obstáculos na sua trajetória construído um dispositivo que transforma medidas de distancia em valores de tensão elétrica. Neste artigo destacamos alguns dos aspectos técnicos que emanaram na construção do robô, tais como a natureza modular que permeou o projeto. A construção e o desempenho do Robô Emmy veio comprovar que Sistemas de Controle totalmente baseados nos fundamentos da LP A são possíveis de serem implementados. O robô Emmy, além da importância técnica, traz uma efetiva contribuição as pesquisas de Aplicações que procuram novos caminhos para tratar contradições através da utilização de Lógicas Não-Clássicas no campo da Inteligência Artificial.
