Sistema Inteligente Paraconsistente para controle de robôs móveis autônomos

• Autores: Cláudio Rodrigo Torres, Jair Minoro Abe, Germano Lambert Torres
• Localización: Seleção Documental: Inteligência Artificial e novas Tecnologias, ISSN 1809-0648, Nº. 7, 2007, págs. 13-18
• Idioma: portugués
• Texto completo no disponible (Saber más ...)
• Resumen

  • Os Sistemas Inteligentes tradicionais são usualmente baseados na lógica clássica ou em algumas de suas extensões. Assim, em certas situações, quando defrontamos com incertezas, contradições (inconsistência) ou quando existe falta de informação (paracompleteza), muitas vezes algumas simplificações ou adaptações são necessárias para que o sistema continue funcionando, podendo tomá-lo complexo ou, pandoxalmente, ineficiente. Por outro lado, nos sistemas de controle de robôs móveis autônomos são comuns o aparecimento de incerteza, inconsistência e paracompleteza. No tocante ao tratamento da incerteza, grandes avanços foram alcançados graças à descoberta da lógica fuzzy e outros sistemas lógicos não-clássicos (v.g. lógica multivalorada). Conflitos aparecem por diferentes motivos. Eles podem surgir de diversos modos: dados contraditórios, limites de recursos, limitação dos sensores, etc. Conflitos podem ser expressos como meras diferenças ou contradição lógica. Em 1999, foi proposta a construção de um robô móvel autônomo, chamado Emxny, cujo funcionamento baseia-se na Lógica Paraconsistente Anotada. O sistema de controle utilizado na Emmy é capaz de lidar com as situações de incerteza, inconsistência e paracompleteza dc modo não-trivial. O sistema proposto utiliza como base o controlador lógico paraconsistente Paracontrol. Este trabalho possui como objetivo propor um sistema de controle para um robô móvel autônomo, porém utilizando uma variação do Paracontrol.