Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming

作     者：Tu, Phan Huy Son, Tran Cao Baral, Chitta 

作者机构：New Mexico State Univ Dept Comp Sci Las Cruces NM 88003 USA Arizona State Univ Dept Comp Sci & Engn Tempe AZ 85287 USA 

出 版 物：《THEORY AND PRACTICE OF LOGIC PROGRAMMING》 (逻辑程序设计理论与实践)

年 卷 期：2007年第7卷第4期

页      面：377-450页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0701[理学-数学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：reasoning about actions and changes sensing actions incomplete information conformant planning conditional planning answer set programming 

摘      要：We extend the 0-approximation of sensing actions and incomplete information in Son and Baral (2001) to action theories with static causal laws and prove its soundness with respect to the possible world semantics. We also show that the conditional planning problem with respect to this approximation is NP-complete. We then present an answer set programming based conditional planner, called ASCP, that is capable of generating both conformant plans and conditional plans in the presence of sensing actions, incomplete information about the initial state, and static causal laws. We prove the correctness of our implementation and argue that our planner is sound and complete with respect to the proposed approximation. Finally, we present experimental results comparing ASCP to other planners.