Plan existence verification as symbolic model checking (2018)
- Authors:
- Autor USP: BARROS, LELIANE NUNES DE - IME
- Unidade: IME
- DOI: 10.5753/eniac.2018.4409
- Subjects: INTELIGÊNCIA ARTIFICIAL; ALGORITMOS PARA PROCESSAMENTO; PROGRAMAÇÃO HEURÍSTICA
- Agências de fomento:
- Language: Português
- Abstract: Planejamento Automatizado é a subárea da IA que se preocupa com a elaboração de um plano de ações para que um agente alcance suas metas. Algoritmos eficientes de planejamento são baseados em busca heurística, no entanto, a inexistência de uma solução pode ser um desafio para estes planejadores uma vez que eles nem sempre conseguem discernir a dificuldade de encontrar um plano da sua inexistência. O problema de verificar a existência de um plano solução, chamado de planex é computacionalmente difícil. Assim, em 2016, a comunidade de planejamento automatizado organizou pela primeira vez a Unsolvabiity International Planning Competition (UIPC) voltada a testar o desempenho de algoritmos capazes de verificar a existência de um plano. Este artigo tem por objetivo propor um algoritmo para resolver o problema planex que é baseado na abordagem formal de verificação simbólica de modelos. O algoritmo proposto difere de outros baseados em verificação de modelos da literatura em dois pontos: (i) é capaz de raciocinar sobre ações representadas em PDDL (Planning Domain Description Language) e; (ii) está baseado na lógica α-CTL, cuja semântica leva em consideração as ações responsáveis pelas transições entre estados. O algoritmo proposto também é avaliado utilizando os problemas da UIPC.
- Imprenta:
- Publisher: SBC
- Publisher place: Porto Alegre
- Date published: 2018
- Source:
- Título do periódico: Proceedings
- Conference titles: Brazilian Conference on Intelligent Systems - BRACIS
- Este periódico é de assinatura
- Este artigo é de acesso aberto
- URL de acesso aberto
- Cor do Acesso Aberto: bronze
-
ABNT
FERREIRA, Macilio da Silva e MENEZES, Maria Viviane e BARROS, Leliane Nunes de. Plan existence verification as symbolic model checking. 2018, Anais.. Porto Alegre: SBC, 2018. Disponível em: https://doi.org/10.5753/eniac.2018.4409. Acesso em: 16 maio 2024. -
APA
Ferreira, M. da S., Menezes, M. V., & Barros, L. N. de. (2018). Plan existence verification as symbolic model checking. In Proceedings. Porto Alegre: SBC. doi:10.5753/eniac.2018.4409 -
NLM
Ferreira M da S, Menezes MV, Barros LN de. Plan existence verification as symbolic model checking [Internet]. Proceedings. 2018 ;[citado 2024 maio 16 ] Available from: https://doi.org/10.5753/eniac.2018.4409 -
Vancouver
Ferreira M da S, Menezes MV, Barros LN de. Plan existence verification as symbolic model checking [Internet]. Proceedings. 2018 ;[citado 2024 maio 16 ] Available from: https://doi.org/10.5753/eniac.2018.4409 - 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
- The role of knowledge in cognitive robotics planning
- Laboratório de ensino de inteligência artificial
- Planning task validation
- Model update for automated planning
- Using concept hierarchies in knowledge discovery
- Uma biblioteca de métodos de resolução de problemas de planejamento para fornecer apoio à aquisição de conhecimento
Informações sobre o DOI: 10.5753/eniac.2018.4409 (Fonte: oaDOI API)
Download do texto completo
Tipo | Nome | Link | |
---|---|---|---|
2917900.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas