Abstract
Recently, multi-agent epistemic planning has drawn attention from both dynamic logic and planning communities. Existing implementations are based on compilation into classical planning, which suffers from limitations such as incapability to handle disjunctive beliefs, or higher-order belief change and forward state space search, as exploited by the planner MEPK. However, MEPK does not scale well. In this paper, we propose two improvements for MEPK. Firstly, we exploit another normal form for multi-agent KD45, which is more space efficient than the normal form used by MEPK, and propose efficient reasoning, revision, and update algorithms for it. Secondly, we propose a heuristic function for multi-agent epistemic planning, and apply heuristic search algorithm AO* with cycle checking and two heuristic pruning strategies. We implement a multi-agent epistemic planner called MEPL. Our experimental results show that MEPL outperforms MEPK in most planning instances, and solves a number of instances which MEPK cannot solve.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bolander, T., Andersen, M.B.: Epistemic planning for single and multi-agent systems. J. Appl. Non-Class. Log. 21(1), 9–34 (2011)
Van Ditmarsch, H., van Der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Heidelberg (2007). https://doi.org/10.1007/978-1-4020-5839-4
Kominis, F., Geffner, H.: Beliefs in multiagent planning: from one agent to many. In: Proceedings of the 25th ICAPS, 7–11 June 2015, Jerusalem, Israel, pp. 147–155 (2015)
Muise, C.J., et al.: Planning over multi-agent epistemic states: a classical planning approach. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 25–30 January 2015, Austin, Texas, USA, pp. 3327–3334 (2015)
Huang, X., Fang, B., Wan, H., Liu, Y.: A general multi-agent epistemic planner based on higher-order belief change. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. IJCAI-17, pp. 1093–1101 (2017)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (1995)
Hales, J., French, T., Davies, R.: Refinement quantified logics of knowledge and belief for multiple agentsc. In: Advances in Modal Logic 9, Papers From the Ninth Conference on “Advances in Modal Logic,” 22–25 August 2012, Copenhagen, Denmark, pp. 317–338 (2012)
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symb. Log. 50(2), 510–530 (1985)
Katsuno, H., Mendelzon, A.O.: On the difference between updating a knowledge base and revising it. In: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA, USA, pp. 387–394 (1991)
Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artif. Intell. 89(1–2), 1–29 (1997)
Satoh, K.: Nonmonotonic reasoning by minimal belief revision. In: FGCS, pp. 455–462 (1988)
Winslett, M.: Reasoning about action using a possible models approach. In: Proceedings of the 7th National Conference on Artificial Intelligence, 21–26 August 1988, St. Paul, MN, pp. 89–93 (1988)
Hansen, E.A., Zilberstein, S.: Lao\(^*\): a heuristic search algorithm that finds solutions with loops. Artif. Intell. 129(1–2), 35–62 (2001)
McDermott, D., et al.: PDDL-the planning domain definition language. Technical report CVC TR98003/DCS TR1165, Yale Center for Computational Vision and Control, New Haven, CT (1998)
Acknowledgement
We acknowledge support from the Natural Science Foundation of China under Grant Nos. 61572535.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Wu, Z. (2018). An Improved Multi-agent Epistemic Planner via Higher-Order Belief Change Based on Heuristic Search. In: Liu, W., Giunchiglia, F., Yang, B. (eds) Knowledge Science, Engineering and Management. KSEM 2018. Lecture Notes in Computer Science(), vol 11062. Springer, Cham. https://doi.org/10.1007/978-3-319-99247-1_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-99247-1_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-99246-4
Online ISBN: 978-3-319-99247-1
eBook Packages: Computer ScienceComputer Science (R0)