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
- Este periódico é de acesso aberto
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: gold
- Licença: cc-by-nc
-
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: 07 mar. 2025. -
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 2025 mar. 07 ] 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 2025 mar. 07 ] Available from: https://doi.org/10.1590/S0103-17592007000200005 - Real-time symbolic dynamic programming for hybrid MDPs
- A planner agent that tries its best in presence of nondeterminism
- Compilador de regras para geracao de um sistema especialista com encadeamento regressivo
- Reachability-based model reduction for Markov decision process
- Symbolic Regression for Non-Deterministic Actions
- Continuous real time dynamic programming for discrete and continuous state MDPs
- Uma biblioteca de métodos de resolução de problemas de planejamento para fornecer apoio à aquisição de conhecimento
- Symbolic dynamic programming for risk-sensitive Markov decision process with limited budget
- Diagramas de decisão binária
- Using α-ctl to specify complex planning goals
Informações sobre o DOI: 10.1590/S0103-17592007000200005 (Fonte: oaDOI API)
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
