Representing Plans and Eztended Goals in Partial Observable Nondeterministic Domains
In many real world planning domains, some observation information is optional and useless to the execution of a plan; on the other hand, information acquisition may require some kind of cost. So it is significant to propose a framework for planning with extended goals under partial observability, which can adapt to the idea of observation reduction, and to best of our knowledge, it is still an open problem. In this paper we present a first attempt to solve the problem. Our first contribution is the definition of structured plans, which can encode sequential, conditional and iterative behaviors, and are expressive enough for dealing with incomplete observation information and with extended goals. In order to express extended goals over actions and incomplete observation information, we also extend K-CTL (a language for expressing temporal requirements under partial observability).
structured plans eztended goals partial observability K-CTL
Wei Huang Hong Peng
School of Computer Science & Engineering South China University of Technology Guangzhou, Guangdong Province, China
国际会议
2008 Sino-European Workshop on Intelligent Robots and Systems(SEIROS08)(第一届中欧智能系统及机器人国际学术研讨会)
重庆
英文
1-7
2008-12-11（万方平台首次上网日期，不代表论文的发表时间）