Robótica cognitiva: programação baseada em lógica para controle de robôs (2007)
- Authors:
- Autor USP: BARROS, LELIANE NUNES DE - IME
- Unidade: IME
- DOI: 10.1590/S0103-17592007000200005
- Subjects: LINGUAGEM DE PROGRAMAÇÃO; PROGRAMAÇÃO LÓGICA; ROBÓTICA
- Keywords: planejamento online; Golog; Legolog; Cálculo de Situações
- Agências de fomento:
- Language: Português
- Abstract: 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.
- Imprenta:
- Source:
- Título: Controle & Automação
- ISSN: 0103-1759
- Volume/Número/Paginação/Ano: v. 18, n. 2, p. 187-198, 2007
- Status:
- Artigo publicado em periódico de acesso aberto (Gold Open Access)
- Versão do Documento:
- Versão publicada (Published version)
- Acessar versão aberta:
-
ABNT
TREVIZAN, Felipe Werndl e BARROS, Leliane Nunes de. Robótica cognitiva: programação baseada em lógica para controle de robôs. Controle & Automação, v. 18, n. 2, p. 187-198, 2007Tradução . . Disponível em: https://doi.org/10.1590/S0103-17592007000200005. Acesso em: 01 abr. 2026. -
APA
Trevizan, F. W., & Barros, L. N. de. (2007). Robótica cognitiva: programação baseada em lógica para controle de robôs. Controle & Automação, 18( 2), 187-198. doi:10.1590/S0103-17592007000200005 -
NLM
Trevizan FW, Barros LN de. Robótica cognitiva: programação baseada em lógica para controle de robôs [Internet]. Controle & Automação. 2007 ; 18( 2): 187-198.[citado 2026 abr. 01 ] Available from: https://doi.org/10.1590/S0103-17592007000200005 -
Vancouver
Trevizan FW, Barros LN de. Robótica cognitiva: programação baseada em lógica para controle de robôs [Internet]. Controle & Automação. 2007 ; 18( 2): 187-198.[citado 2026 abr. 01 ] Available from: https://doi.org/10.1590/S0103-17592007000200005 - Real-time symbolic dynamic programming for hybrid MDPs
- Compilador de regras para geracao de um sistema especialista com encadeamento regressivo
- A planner agent that tries its best in presence of nondeterminism
- Continuous real time dynamic programming for discrete and continuous state MDPs
- Symbolic Regression for Non-Deterministic Actions
- Planning task validation
- The role of knowledge in cognitive robotics planning
- Laboratório de ensino de inteligência artificial
- Aprendizado por reforço em lote para o problema de tomada de decisão em processos de venda
- Model update for automated planning
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3209453.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
