Resumen de Aplicação em robótica do algoritmo ParaAnalisador utilizando a tecnologia Lego Mindstorms NXT
Alan Claudius Maciel, Bruno Santos Umbelino Francisco dos, Irene Silva Farias, João Inácio da Silva Filho
Apresenta-se neste artigo uma adaptação do algoritmo de lógica contraditória denominado de ParaAnalisador à tecnologia Lego Mindstorms NXT. O Lego Mindstorms é resultado de uma parceria entre a Media Lab e o Massachusets Institute of Tecnology, e constituem-se em um bloco programável NXT, sensores, servos mecanismos e outros dispositivos para robótica. O algoritmo denominado de Para-Analisador é originado dos fundamentos da Lógica Paraconsistente Anotada - LPA e foi primeiramente aplicado em um controlador paraconsistente ParaControl que determinava ações para um Robô denominado de Emmy I. A LPA é uma lógica não-clássica e como pertence a família das lógicas paraconsistentes possui como principal característica a aceitação da contradição em seus fundamentos. O robô Emmy I que desviava de objetos em um ambiente não-estruturado funciona com o algoritmo ParaAnalisador implementado em hardware e mostrou bom funcionamento. Apresenta-se agora uma nova possibilidade de aplicação da Lógica Paraconsistente com a implementação do algoritmo ParaAnalisador através da tecnologia Lego Mindstorms NXT. Nesse trabalho o referido algoritmo utilizado no Robô Emmy é implementado na plataforma robótica lego, utilizando-se a programação elaborada na plataforma LabView. Essa se mostrou uma boa forma de replicar o funcionamento do autômato através da tecnologia Lego Mindstorms NXT e os resultados obtidos levam a considerar essa parceria entre a LPA, o sistema LabView e a tecnologia Lego Mindstorms NXT um novo e promissor campo de pesquisas em robótica e automação.
