Towards Epistemic Planning Agents

Manfred Eppe, Frank Dylla

Abstract

We propose an approach for single-agent epistemic planning in domains with incomplete knowledge. We argue that on the one hand the integration of epistemic reasoning into planning is useful because it makes the use of sensors more flexible. On the other hand, defining an epistemic problem description is an error prone task as the epistemic effects of actions are more complex than their usual physical effects. We apply the axioms of the Discrete Event Calculus Knowledge Theory (DECKT) as rules to compile simple non-epistemic planning problem descriptions into complex epistemic descriptions. We show how the resulting planning problems are solved by our implemented prototype which is based on Answer Set Programming (ASP).

References

  1. Bertoli, P., Cimatti, A., Lago, U. D., and Pistore, M. (2002). Extending PDDL to nondeterminism, limited sensing and iterative conditional plans. In ICAPS Workshop on PDDL.
  2. Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., and Traverso, P. (2001). MBP : a Model Based Planner. In IJCAI Proceedings.
  3. Blackburn, P., de Rijke, M., and Venema, Y. (2001). Modal Logic. Cambridge University Press.
  4. De Giacomo, G. and Levesque, H. (1998). An Incremental Interpreter for High-Level Programs with Sensing. In Working Notes of the 1998 AAAI Fall Symposium on Cognitive Robotics.
  5. Drescher, C., Gebser, M., Grote, T., Kaufmann, B., König, A., Ostrowski, M., and Schaub, T. (2008). ConflictDriven Disjunctive Answer Set Solving. In International Conference on Principles of Knowledge Representation and Reasoning.
  6. Eppe, M. and Dylla, F. (2012). An Epistemic Planning System Based on the Event Calculus. Technical Report 033-11/2012, University of Bremen, Bremen.
  7. Gebser, M., Kaminski, R., K önig, A., and Schaub, T. (2011). Advances in gringo series 3. In Proceedings of the Eleventh International Conference on Logic Programming and Nonmonotonic Reasoning.
  8. Kowalski, R. (1986). A Logic-based calculus of events. New generation computing, 4:67-94.
  9. Lee, J. and Palla, R. (2012). Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming. Journal of Artificial Intelligence Research, 43:571-620.
  10. Moore, R. (1985). A formal theory of knowledge and action. In Hobbs, J. and Moore, R. C., editors, Formal theories of the commonsense world. Ablex, Norwood, NJ.
  11. Mueller, E. (2005). Kaufmann.
  12. Patkos, T. (2010). A Formal Theory for Reasoning About Action , Knowledge and Time. PhD thesis, University of Crete - Heraklion Greece.
  13. Patkos, T. and Plexousakis, D. (2009). Reasoning with Knowledge , Action and Time in Dynamic and Uncertain Domains. In IJCAI Proceedings, pages 885-890.
  14. Petrick, R. P. A. and Bacchus, F. (2004). Extending the knowledge-based approach to planning with incomplete information and sensing. In ICAPS Proceedings.
  15. Reiter, R. (2001). Knowledge in action: Logical foundations for specifying and implementing dynamical systems. MIT Press.
  16. Scherl, R. and Levesque, H. J. (2003). Knowledge, action, and the frame problem. Artificial Intelligence.
  17. Shanahan, M. (2000). An abductive event calculus planner. The Journal of Logic Programming, pages 207-240.
  18. Thielscher, M. (1998). Introduction To The Fluent Calculus. Linköping Electronic Articles in Computer and Information Science, 3(14).
  19. Thielscher, M. (2005). FLUX : A Logic Programming Method for Reasoning Agents. Theory and Practice of Logic Programming, 5(4-5).
Download


Paper Citation


in Harvard Style

Eppe M. and Dylla F. (2013). Towards Epistemic Planning Agents . In Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-8565-39-6, pages 311-317. DOI: 10.5220/0004260603110317


in Bibtex Style

@conference{icaart13,
author={Manfred Eppe and Frank Dylla},
title={Towards Epistemic Planning Agents},
booktitle={Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2013},
pages={311-317},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004260603110317},
isbn={978-989-8565-39-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Towards Epistemic Planning Agents
SN - 978-989-8565-39-6
AU - Eppe M.
AU - Dylla F.
PY - 2013
SP - 311
EP - 317
DO - 10.5220/0004260603110317