Abstract | ||
---|---|---|
In this paper we present a new approach to the problem of planning with incomplete information and sensing. Our ap- proach is based on a higher level, "knowledge-based", repre- sentation of the planner's knowledge and of the domain ac- tions. In particular, in our approach we use a set of formu- las 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 plan- ner 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. |
Year | Venue | Keywords |
---|---|---|
2002 | AIPS | first order,modal logic,incomplete information,knowledge base |
Field | DocType | Citations |
Incomplete knowledge,Planner,Artificial intelligence,Modal logic,Complete information,Mathematics | Conference | 91 |
PageRank | References | Authors |
4.78 | 14 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ronald P. A. Petrick | 1 | 309 | 24.24 |
Fahiem Bacchus | 2 | 3054 | 272.28 |