Robotica cognitiva

Resumo

O objetivo deste projeto consiste no estudo e implementação de um agente inteligente capaz de planejar e executar ações em um ambiente dinâmico com informação incompleta. A especificação formal do agente será feita em Cálculo de Situações, uma extensão do cálculo de predicados de primeira ordem para raciocínio sobre ações. A implementação do programa do agente será feita na linguagem Golog - uma linguagem de alto nível para especificar e executar programas de controle de robôs em mundos dinâmicos baseada no Cálculo de Situações e construída como um meta-interpretador Prolog. Como um exemplo de domínio de aplicação foi escolhido o problema clássico do Mundo do Wumpus em que um agente deve selecionar e executar uma seqüência de ações para atingir seus objetivos, evitando situações de risco. O ambiente do Mundo do Wumpus com o qual o agente interage, será implementado em JAVA, possibilitando que os resultados do projeto fiquem disponíveis na Internet. Os resultados obtidos com este projeto poderão ser usados em cursos introdutórios de Inteligência Artificial, inclusive no ensino à distância. (AU)