Abstract
Recent work has shown that Dynamic Epistemic Logic (DEL) offers a solid foundation for automated planning under partial observability and non-determinism. Under such circumstances, a plan must branch if it is to guarantee achieving the goal under all contingencies (strong planning). Without branching, plans can offer only the possibility of achieving the goal (weak planning). We show how to formulate planning in uncertain domains using DEL and give a language of conditional plans. Translating this language to standard DEL gives verification of both strong and weak plans via model checking. In addition to plan verification, we provide a tableau-inspired algorithm for synthesising plans, and show this algorithm to be terminating, sound and complete.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andersen, M.B., Bolander, T., Jensen, M.H.: Conditional epistemic planning (long version). Tech. rep. (2012), http://www2.imm.dtu.dk/~tb/cep-long.pdf
Aucher, G.: An internal version of epistemic logic. Studia Logica 94(1), 1–22 (2010)
Aumann, R.J., Hart, S.: Handbook of Game Theory with Economic Applications. Elsevier (1992)
Baltag, A., Moss, L.S.: Logics for Epistemic Programs. Synthese 139, 165–224 (2004)
Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements and common knowledge and private suspicions. In: TARK 1998, pp. 43–56 (1998)
Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. In: Bonanno, G., van der Hoek, W., Wooldridge, M. (eds.) Logic and the Foundations of Game and Decision Theory (LOFT7). Texts in Logic and Games, vol. 3, pp. 13–60. Amsterdam University Press (2008)
Baral, C., Gelfond, G., Pontelli, E., Son, T.C.: An action language for reasoning about beliefs in multi-agent domains. In: Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (2012)
Barwise, J., Moss, L.: Vicious circles. CSLI Publications (1996)
van Benthem, J.: Dynamic odds and ends. Technical Report ML-1998-08, University of Amsterdam (1998)
van Benthem, J.: Games in dynamic-epistemic logic. Bulletin of Economic Research 53(4), 219–248 (2001)
Bolander, T., Andersen, M.B.: Epistemic planning for single- and multi-agent systems. Journal of Applied Non-Classical Logics 21, 9–34 (2011)
van Ditmarsch, H., Kooi, B.: Semantic results for ontic and epistemic change. In: LOFT 7, pp. 87–117. Amsterdam University Press (2008)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer (2007)
Ghallab, M., Nau, D.S., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann (2004)
Horrocks, I., Hustadt, U., Sattler, U., Schmidt, R.: Computational modal logic. In: Handbook of Modal Logic. Elsevier (2006)
de Lima, T.: Optimal Methods for Reasoning about Actions and Plans in Multi-Agents Systems. Ph.D. thesis, IRIT, University of Toulouse 3, France (2007)
Löwe, B., Pacuit, E., Witzel, A.: DEL Planning and Some Tractable Cases. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS, vol. 6953, pp. 179–192. Springer, Heidelberg (2011)
Rintanen, J.: Complexity of planning with partial observability. In: Zilberstein, S., Koehler, J., Koenig, S. (eds.) ICAPS, pp. 345–354. AAAI (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Andersen, M.B., Bolander, T., Jensen, M.H. (2012). Conditional Epistemic Planning. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds) Logics in Artificial Intelligence. JELIA 2012. Lecture Notes in Computer Science(), vol 7519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33353-8_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-33353-8_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33352-1
Online ISBN: 978-3-642-33353-8
eBook Packages: Computer ScienceComputer Science (R0)