Abstract | ||
---|---|---|
We propose an approximation of the Possible Worlds Semantics (PWS) for action planning. A corresponding planning system is implemented by a transformation of the action specification to an Answer-Set Program. A novelty is support for postdiction wrt. (a) the plan existence problem in our framework can be solved in NP, as compared to $\Sigma_2^P$ for non-approximated PWS of Baral(2000); and (b) the planner generates optimal plans wrt. a minimal number of actions in $\Delta_2^P$. We demo the planning system with standard problems, and illustrate its integration in a larger software framework for robot control in a smart home. |
Year | Venue | Field |
---|---|---|
2013 | CoRR | Computer science,Artificial intelligence,Semantics,Possible world |
DocType | Volume | Citations |
Journal | abs/1304.4925 | 2 |
PageRank | References | Authors |
0.39 | 13 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Manfred Eppe | 1 | 63 | 11.60 |
Mehul Bhatt | 2 | 452 | 42.11 |
Frank Dylla | 3 | 252 | 20.20 |