| Texto completo | |
| Autor(es): |
Número total de Autores: 2
|
| Afiliação do(s) autor(es): | [1] Universidade de São Paulo. Instituto de Matemática e Estatística. Departamento de Ciência da Computação - Brasil
[2] Universidade de São Paulo. Instituto de Matemática e Estatística. Departamento de Ciência da Computação - Brasil
Número total de Afiliações: 2
|
| Tipo de documento: | Artigo Científico |
| Fonte: | Sba : Controle & Automação; v. 18, n. 2, p. 187-198, 2007-06-00. |
| Resumo | |
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™, usando IndiGolog - uma linguagem para especificação de agentes baseada no Cálculo de Situações. Como exemplo de aplicação, foi escolhido o problema clássico do Mundo do Wumpus para o qual a construção de um agente completo envolve a integração das seguintes técnicas de: planejamento reativo, planejamento para satisfação de metas e realização de tarefas (planejamento hierárquico), execução de ações, raciocínio com informação incompleta, geração e raciocínio hipotético sobre o estado do mundo e mudanças de crença. (AU) | |
| Processo FAPESP: | 03/08311-3 - Robotica cognitiva |
| Beneficiário: | Felipe Werndl Trevizan |
| Modalidade de apoio: | Bolsas no Brasil - Iniciação Científica |