2007-06
Robótica cognitiva: programação baseada em lógica para controle de robôs
A área de Robótica Cognitiva tem como principal objetivo desenvolver agentes robóticos capazes de realizar funções de alto-nível, especificando o programa de controle do robô em uma linguagem de programação baseada em lógica. Desta forma, é possível declarar e verificar propriedades do agente como prova de teoremas. Além disso, uma especificação feita em uma linguagem formal pode ser executável, o que permite simular o comportamento do agente através dessa especificação. Este artigo apresenta o desenvolvimento, passo a passo, de um agente para um robô Lego® MindStorms™, ...
Texto completo-
Assuntos:
- Planejamento
- planejamento online
- Golog
- Legolog
- Cálculo de Situações
- Lego® MindStorms™