Alan Maciel, um dos alunos responsáveis pelo trabalho, explica que a ideia principal do projeto é tornar a Lógica Paraconsistente Anotada (LPA) disponível para pesquisadores do mundo inteiro. “Construir um robô para testar este tipo de lógica é algo muito difícil. Com a nossa implementação, basta que qualquer pesquisador adquira um kit Lego Mindstorms NTX, que está disponível em qualquer lugar do mundo, e execute a implementação que desenvolvemos”, explica.
Bruno Umbelino, também co-autor do projeto, ressalta a importância de tornar esta lógica brasileira mais conhecida em outros países. “O trabalho comprova a versatilidade da Lógica Paraconsistente Anotada, que pode ser aplicada a qualquer sistema”, afirma, revelando que toda a programação foi realizada através de uma linguagem gráfica desenvolvida pela National Instruments: “Em nosso projeto, optamos pela utilização do LabVIEW 2010, uma ferramenta destinada a cientistas e engenheiros, e que é utilizada pela NASA”, relata.
Lógica Paraconsistente Anotada – A LPA é uma lógica não-clássica e possui como principal característica a aceitação da contradição em seus fundamentos. Implementada pela primeira vez através do robô Emmy I, resultado da tese de doutoramento do Prof. João Inácio da Silva Filho na POLI/USP em 1999, o robô era capaz de desviar de objetos em um ambiente não estruturado. O trabalho dos alunos consiste justamente na aplicação desta mesma lógica, mas fazendo uso da plataforma Lego Mindstorms, um robô montável e programável da Lego que qualquer interessado pode ter em casa.