Abstract:
In this paper we present a new approach to the problem of planning with incomplete information and sensing. Our approach is based on a higher level, “knowledge-based”, representation of the planner’s knowledge and of the domain actions. In particular, in our approach we use a set of formulas from a first-order modal logic of knowledge to represent the planner’s incomplete knowledge state. Actions are then represented as updates to this collection of formulas. Hence, actions are being modeled in terms of how they modify the knowledge state of the planner rather than in terms of how they modify the physical world. We have constructed a planner to utilize this representation and we use it to show that on many common problems this more abstract representation is perfectly adequate for solving the planning problem, and that in fact it scales better and supports features that make it applicable to much richer domains and problems.
Citations
|
965
|
Reasoning About Knowledge
– Fagin, Halpern, et al.
- 1994
|
|
724
|
Symbolic boolean manipulation with Ordered Binary Decision Diagrams
– Bryant
- 1992
|
|
167
|
All I know: a study in autoepistemic logic
– Levesque
- 1990
|
|
156
|
What is planning in the presence of sensing
– Levesque
- 1996
|
|
145
|
Planning with Incomplete Information as Heuristic Se arch
– Bonet, Geffner
|
|
133
|
Extending graphplan to handle uncertainty and sensing actions
– Weld, Anderson, et al.
- 1998
|
|
96
|
The frame problem and knowledge-producing actions
– Scherl, Levesque
- 1993
|
|
95
|
Conformant Planning via Symbolic Model Checking
– Cimatti, Roveri
- 2000
|
|
91
|
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking
– Bertoli, Cimatti, et al.
- 2001
|
|
88
|
Planning for contingencies: a decision-based approach
– Pryor, Collins
- 1996
|
|
74
|
Quantification in Modal Logic
– Garson
- 1984
|
|
47
|
Sound and efficient closed-world reasoning for planning
– Etzioni, Golden, et al.
- 1997
|
|
13
|
Modeling an agent’s incomplete knowledge during planning and execution
– Bacchus, Petrick
- 1998
|
|
12
|
Knowledge equivalence in combined action theories
– Petrick, Levesque
- 2002
|
|
3
|
Precondition control. available at http://www.cs.toronto.edu/˜fbacchus/on-line.html
– Bacchus, Ady
- 1999
|
