Legolog
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. 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ç�
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2007-06