Abstract
In this contribution we study how to adapt Backward Plan search to the Logics of Communication and Change (LCC). These are dynamic epistemic logics with common knowledge modeling the way in which announcements, sensing and world-changing actions modify the beliefs of agents or the world itself. The proposed LCC planning system greatly expands the social complexity of scenarios involving cognitive agents that can be solved. For example, goals or plans may consist of a certain distribution of beliefs and ignorance among agents. Our results include: soundness and completeness of backward planning (breadth first search), both for deterministic and strong non-deterministic planning.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Andersen, M.B., Bolander, T., Jensen, M.H.: Conditional Epistemic Planning. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS (LNAI), vol. 7519, pp. 94–106. Springer, Heidelberg (2012)
Aucher, G.: DEL-sequents for progression. Journal of Applied Non-Classical Logics 21(3-4), 289–321 (2011)
Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge and private suspicions. In: Proc. of 7th Conf. TARK 1998, pp. 43–56 (1998)
Bolander, T., Andersen, M.: Epistemic planning for single- and multi-agent systems. Journal of Applied Non-Classical Logics 21(1), 9–34 (2011)
Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann (2004)
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Massachusetts (2000)
Hintikka, J.: Knowledge and belief: an introduction to the logic of the two notions. Cornell University Press (1962)
Löwe, B., Pacuit, E., Witzel, A.: Planning based on dynamic epistemic logic (2010)
Pardo, P., Sadrzadeh, M.: Planning in the Logics of Communication and Change. In: Proc. of AAMAS 2012 (2012)
Pardo, P., Sadrzadeh, M.: Backward Planning in the Logics of Communication and Change. In: Proc. of Agreement Technologies AT 2012 (2012)
Pearl, J.: Heuristics: Intelligent Search Strategies for Computer Problem Solving. Addison-Wesley (1984)
Rao, A., Georgeff, M.: Modeling rational agents within a BDI-architecture. In: Proc. of Principles of Knowledge Representation and Reasoning (KR), pp. 473–484 (1991)
van Benthem, J., van Eijck, J., Kooi, B.: Logics of Communication and Change. Information and Computation 204, 1620–1662 (2006)
van der Hoek, W., Wooldridge, M.: Tractable Multiagent Planning for Epistemic Goals. In: Proc. of AAMAS 2002, pp. 1167–1174 (2002)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer (2008)
van Ditmarsch, H., Kooi, B.: Semantic results for ontic and epistemic change. In: Bonanno, van der Hoek, Wooldridge (eds.) LOFT 7, pp. 87–117 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pardo, P., Sadrzadeh, M. (2013). Strong Planning in the Logics of Communication and Change. In: Baldoni, M., Dennis, L., Mascardi, V., Vasconcelos, W. (eds) Declarative Agent Languages and Technologies X. DALT 2012. Lecture Notes in Computer Science(), vol 7784. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37890-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-37890-4_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-37889-8
Online ISBN: 978-3-642-37890-4
eBook Packages: Computer ScienceComputer Science (R0)