{"type":"ScholarlyArticle","title":"Multi-agent Epistemic Planning with Common Knowledge","authors":[{"name":"Qiang Liu","slug":"qiang-liu","given":"Qiang","family":"Liu","affiliation":"Dept. of Computer Science , Sun Yat-sen University , Guangzhou 510006 , China"},{"name":"Yongmei Liu","slug":"yongmei-liu","given":"Yongmei","family":"Liu","affiliation":"Dept. of Computer Science , Sun Yat-sen University , Guangzhou 510006 , China"}],"abstract":"In the past decade, multi-agent epistemic planning has received much attention from both dynamic logic and planning communities. Common knowledge is an essential part of multi-agent modal logics, and plays an important role in coordination and interaction of multiple agents. However, existing implementations of multi-agent epistemic planning provide very limited support for common knowledge, basically static propositional common knowledge. Our work aims to extend an existing multi-agent epistemic planning framework based on higher-order belief change with the capability to deal with common knowledge. We propose a novel normal form for multi-agent KD45 logic with common knowledge. We propose satisfiability solving, revision and update algorithms for this normal form. Based on our algorithms, we implemented a multi-agent epistemic planner with common knowledge called MEPC. Our planner successfully generated solutions for several domains that demonstrate the typical usage of common knowledge.","doi":"10.24963/ijcai.2018/264","url":"https://ijcai.org/proceedings/2018/264","pdf":"https://ijcai.org/proceedings/2018/0264.pdf","markdown":"https://ijcai.org/proceedings/2018/264.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/264","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":264,"pages":{"first":1912,"last":1920},"keywords":["Knowledge Representation and Reasoning: Belief Change","Knowledge Representation and Reasoning: Action, Change and Causality","Knowledge Representation and Reasoning: Reasoning about Knowlege and Belief"],"videos":[],"references":[{"position":1,"raw":"[Bolander and Andersen, 2011] Thomas Bolander and Mikkel Birkegaard Andersen. Epistemic planning for single and multi-agent systems. Journal of Applied Non-Classical Logics, 21(1):9-34, 2011.","title":"Epistemic planning for single and multi-agent systems","authors":"Andersen Bolander, Thomas Bolander, Mikkel Birkegaard Andersen","year":"2011","venue":"Journal of Applied Non-Classical Logics","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[del Cerro et al., 2001] Luis Fariñas del Cerro, David Fau- thoux, Olivier Gasquet, Andreas Herzig, Dominique Lon- gin, and Fabio Massacci. LoTREC : The generic tableau prover for modal and description logics. In Proceedings of the First International Joint Conference on Automated Reasoning, (IJCAR 2001), pages 453-458, 2001.","title":"LoTREC : The generic tableau prover for modal and description logics","authors":"Del Cerro","year":"2001","venue":"Proceedings of the First International Joint Conference on Automated Reasoning","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Fagin et al., 1995] Ronald Fagin, Joseph Y Halpern, Moshe Y Vardi, and Yoram Moses. Reasoning about knowledge. MIT Press, 1995.","title":"Reasoning about knowledge","authors":"Ronald Fagin, Joseph Y Halpern, Moshe Y Vardi, Yoram Moses","year":"1995","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Hales et al., 2012] James Hales, Tim French, and Rowan Davies. Refinement quantified logics of knowledge and belief for multiple agentsc. In Proceedings of the Ninth Conference on Advances in Modal Logic, (AiML 2012), pages 317-338, 2012.","title":"Refinement quantified logics of knowledge and belief for multiple agentsc","authors":"Hales","year":"2012","venue":"Proceedings of the Ninth Conference on Advances in Modal Logic","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Halpern and Moses, 1992] Joseph Y. Halpern and Yoram Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54(2):319-379, 1992.","title":"A guide to completeness and complexity for modal logics of knowledge and belief","authors":"Joseph Y Halpern, Yoram Moses","year":"1992","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Huang et al., 2017] Xiao Huang, Biqing Fang, Hai Wan, and Yongmei Liu. A general multi-agent epistemic plan- ner based on higher-order belief change. In Proceedings of the Twenty-Sixth International Joint Conference on Artifi- cial Intelligence, (IJCAI 2017), pages 1093-1101, 2017.","title":"A general multi-agent epistemic planner based on higher-order belief change","authors":"Xiao Huang, Biqing Fang, Hai Wan, Yongmei Liu","year":"2017","venue":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2017/152"},{"position":7,"raw":"[Kominis and Geffner, 2015] Filippos Kominis and Hector Geffner. Beliefs in multiagent planning: From one agent to many. In Proceedings of the Twenty-Fifth Internation- al Conference on Automated Planning and Scheduling, (I- CAPS 2015), pages 147-155, 2015.","title":"Beliefs in multiagent planning: From one agent to many","authors":"Geffner Kominis, Filippos Kominis, Hector Geffner","year":"2015","venue":"Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Muise et al., 2015] Christian J. Muise, Vaishak Belle, Pao- lo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, and Liz Sonenberg. Planning over multi-agent epistemic s- tates: A classical planning approach. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, (AAAI 2015), pages 3327-3334, 2015.","title":"Planning over multi-agent epistemic states: A classical planning approach","authors":"Christian J Muise, Vaishak Belle, Paolo Felli, Sheila A Mcilraith, Tim Miller, Adrian R Pearce, Liz Sonenberg","year":"2015","venue":"Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Satoh, 1988] Ken Satoh. Nonmonotonic reasoning by mini- mal belief revision. In Proceedings of the Second Interna- tional Conference on Fifth Generation Computer Systems, (FGCS 1988), pages 455-462, 1988.","title":"Nonmonotonic reasoning by minimal belief revision","authors":"Ken Satoh","year":"1988","venue":"Proceedings of the Second International Conference on Fifth Generation Computer Systems","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[van Ditmarsch and Kooi, 2015] Hans van Ditmarsch and Barteld Kooi. One Hundred Prisoners and a Light Bul- b. Springer, 2015.","title":"One Hundred Prisoners and a Light Bulb","authors":"Van Ditmarsch, ; Kooi, Barteld Hans Van Ditmarsch, Kooi","year":"2015","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Van Ditmarsch et al., 2007] Hans Van Ditmarsch, Wiebe van Der Hoek, and Barteld Kooi. Dynamic epistemic logic, volume 337. Springer, 2007.","title":"Dynamic epistemic logic","authors":"Van Ditmarsch","year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Winslett, 1988] Marianne Winslett. Reasoning about ac- tion using a possible models approach. In Proceedings of the Seventh National Conference on Artificial Intelligence, (AAAI 1988), pages 89-93, 1988.","title":"Reasoning about action using a possible models approach","authors":"Marianne Winslett","year":"1988","venue":"Proceedings of the Seventh National Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}