Computer Science – Artificial Intelligence
Scientific paper
2006-05-04
Computer Science
Artificial Intelligence
72 pages, 3 figures, a preliminary version of this paper appeared in the proceedings of the 7th International Conference on Lo
Scientific paper
We extend the 0-approximation of sensing actions and incomplete information in [Son and Baral 2000] 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.
Baral Chitta
Son Tran Cao
Tu Phan Huy
No associations
LandOfFree
Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-607839