Regressão de ações não determinísticas: uma solução simbólica (2013)
- Authors:
- USP affiliated authors: BARROS, LELIANE NUNES DE - IME ; MENEZES, MARIA VIVIANE DE - IME
- Unidade: IME
- Assunto: GERAÇÃO DE PLANOS EM INTELIGÊNCIA ARTIFICIAL
- Agências de fomento:
- Language: Português
- Abstract: Em geral, soluções eficientes para problemas de planejamento em que ações possuem efeitos não-determinísticos são baseadas em verificação de modelos. A operação básica desses algorítmos é o cálculo da pré-imagem fraca e forte de um conjunto de estados. Um dos resultados importantes dessa linha de planejamento é baseado na lógica temporal α-CTL que calcula a pré-imagem fraca e forte a partir de um modelo explícito do domínio, dado por um sistema de transição de estados rotulado pelas ações. Nesse trabalho definimos as operações de regressão fraca e forte para planejamento não determinístico a partir de um modelo explícito do domínio e provamos que elas são equivalentes às operações de pré-imagem fraca e forte, respectivamente, do planejamento baseado em verificação de modelos α-CTL. Além disso, mostramos como realizar as operações de regressão não-determinística a partir de um modelo implícito definido por uma especificação de ações. Para isso definimos duas novas operações: regressão simbólica fraca e regressão simbólica forte, que podem ser diretamente computadas de maneira eficiente com o uso de diagramas de decisão binária (BDDs)
- Imprenta:
- Publisher: SBC
- Publisher place: Porto Alegre
- Date published: 2013
- Source:
- Conference titles: Brazilian Conference on Intelligent Systems - BRACIS
-
ABNT
MENEZES, Maria Viviane de e BARROS, Leliane Nunes de e PEREIRA, Silvio do Lago. Regressão de ações não determinísticas: uma solução simbólica. 2013, Anais.. Porto Alegre: SBC, 2013. Disponível em: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf. Acesso em: 14 mar. 2026. -
APA
Menezes, M. V. de, Barros, L. N. de, & Pereira, S. do L. (2013). Regressão de ações não determinísticas: uma solução simbólica. In Anais. Porto Alegre: SBC. Recuperado de http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf -
NLM
Menezes MV de, Barros LN de, Pereira S do L. Regressão de ações não determinísticas: uma solução simbólica [Internet]. Anais. 2013 ;[citado 2026 mar. 14 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf -
Vancouver
Menezes MV de, Barros LN de, Pereira S do L. Regressão de ações não determinísticas: uma solução simbólica [Internet]. Anais. 2013 ;[citado 2026 mar. 14 ] Available from: http://www.lbd.dcc.ufmg.br/colecoes/eniac/2013/0047.pdf - System design modification with actions
- Mudanças em problemas de planejamento sem solução
- 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
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
