Planning under uncertainty for extended reachability goals / Planejamento sob incerteza para metas de alcançabilidade estendidas
AUTOR(ES)
Silvio do Lago Pereira
DATA DE PUBLICAÇÃO
2007
RESUMO
Planning under uncertainty has being increasingly demanded for practical applications in several areas that require reliable solutions for complex goals. In sight of this, in the last few years, some approaches based on formal methods for automatic synthesis of plans have been proposed in the area of Planning in Artificial Intelligence. Among these approaches, planning based on model checking seems to be a very attractive one; however, as we observe, the majority of the works in this approach are mainly based on CTL and deals only with planning problems for simple reachability goals (as those considered in classical planning). In this thesis, we introduce a more expressive class of planning goals (extended reachability goals) and show that, for this class of goals, the CTLs semantics is not adequate to formalize algorithms for synthesis (or validation) of plans. As a way to overcome this limitation, we propose a new version of CTL, called alpha-CTL. Then, based on the semantics of this new logic, we implement a model checker (Vactl), based on which we also implement a planner (Pactl) capable of solving planning problems for extended reachability goals, in nondeterministic planning environments with complete observability. Finally, we discuss how to guarantee the quality of the solutions when we have an environment model where the actions transitions probabilities are known.
ASSUNTO(S)
verificação de modelos planning under uncertainty planejamento sob incerteza extended reachability goals model checking metas de alcançabilidade estendidas
Documentos Relacionados
- STRATEGIC INVESTMENTS PLANNING AND EXECUTION UNDER UNCERTAINTY: REAL OPTION THEORY CONTRIBUTIONS
- AVALIAÇÃO DE INVESTIMENTOS SOB INCERTEZA: UM ENFOQUE CRÍTICO
- Wireless technology application for quality control on mining planning incorporating geologic uncertainty.
- OTIMIZAÇÃO DOS DISPÊNDIOS DE PUBLICIDADE SOB INCERTEZA DOS CICLOS ECONÔMICOS
- ESTRATÉGIA DE CONTRATAÇÃO DAS DISTRIBUIDORAS EM LEILÕES DE ENERGIA SOB INCERTEZA NA DEMANDA