Computer Science – Artificial Intelligence
Scientific paper
2011-05-27
Journal Of Artificial Intelligence Research, Volume 10, pages 323-352, 1999
Computer Science
Artificial Intelligence
Scientific paper
10.1613/jair.591
The research on conditional planning rejects the assumptions that there is no uncertainty or incompleteness of knowledge with respect to the state and changes of the system the plans operate on. Without these assumptions the sequences of operations that achieve the goals depend on the initial state and the outcomes of nondeterministic changes in the system. This setting raises the questions of how to represent the plans and how to perform plan search. The answers are quite different from those in the simpler classical framework. In this paper, we approach conditional planning from a new viewpoint that is motivated by the use of satisfiability algorithms in classical planning. Translating conditional planning to formulae in the propositional logic is not feasible because of inherent computational limitations. Instead, we translate conditional planning to quantified Boolean formulae. We discuss three formalizations of conditional planning as quantified Boolean formulae, and present experimental results obtained with a theorem-prover.
No associations
LandOfFree
Constructing Conditional Plans by a Theorem-Prover 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 Constructing Conditional Plans by a Theorem-Prover, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Constructing Conditional Plans by a Theorem-Prover will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-664482