As pesquisas em Aplicações de Lógicas Não-Clássicas focadas na Lógica Paraconsistente Anotada têm sido desenvolvidas pelo Grupo e trazidos relevantes trabalhos na área de Inteligência Artificial e Robótica. Alguns projetos de Robôs que tomam decisões mesmo quando as informações são contraditórias foram desenvolvidos e estão em desenvolvimento. O primeiro projeto desenvolvido pelo Grupo foi o Robô Móvel Autônomo Emmy criado em 1999. O robô Emmy traz um Sistema de Controle Lógico Paraconsistente "ParaControl" e sua forma de construção apresentou novos meios de se fazer tratamento do conhecimento incerto quando a navegação é feita em ambiente não estruturado. Comprovou-se que Sistemas com este tipo de tratamento de sinais faz com que o comportamento do Robô se aproxime muito do comportamento humano. No decorrer das pesquisas o Grupo desenvolveu e aperfeiçoa o Robô Emmy II com Sistemas Lógicos Paraconsistentes microprocessado o que permite mais recursos de controle e ação.
