Prefer a chat interface with context about you and your work?
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
Abstract 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. …