{"type":"ScholarlyArticle","title":"Game Description Language and Dynamic Epistemic Logic Compared","authors":[{"name":"Thorsten Engesser","slug":"thorsten-engesser","given":"Thorsten","family":"Engesser","affiliation":"Faculty of Engineering , University of Freiburg , Germany"},{"name":"Robert Mattmüller","slug":"robert-mattmuller","given":"Robert","family":"Mattmüller","affiliation":"Faculty of Engineering , University of Freiburg , Germany"},{"name":"Bernhard Nebel","slug":"bernhard-nebel","given":"Bernhard","family":"Nebel","affiliation":"Faculty of Engineering , University of Freiburg , Germany"},{"name":"Michael Thielscher","slug":"michael-thielscher","given":"Michael","family":"Thielscher","affiliation":"School of Computer Science and Engineering , University of New South Wales , Australia"}],"abstract":"Several different frameworks have been proposed to model and reason about knowledge in dynamic multi-agent settings, among them the logic-programming-based game description language GDL-III, and dynamic epistemic logic (DEL), based on possible-worlds semantics. GDL-III and DEL have complementary strengths and weaknesses in terms of ease of modeling and simplicity of semantics. In this paper, we formally study the expressiveness of GDL-III vs. DEL. We clarify the commonalities and differences between those languages, demonstrate how to bridge the differences where possible, and identify large fragments of GDL-III and DEL that are equivalent in the sense that they can be used to encode games or planning tasks that admit the same legal action sequences. We prove the latter by providing compilations between those fragments of GDL-III and DEL.","doi":"10.24963/ijcai.2018/248","url":"https://ijcai.org/proceedings/2018/248","pdf":"https://ijcai.org/proceedings/2018/0248.pdf","markdown":"https://ijcai.org/proceedings/2018/248.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/248","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":248,"pages":{"first":1795,"last":1802},"keywords":["Knowledge Representation and Reasoning: Knowledge Representation Languages","Knowledge Representation and Reasoning: Knowledge Representation and Reasoning for Game Playing","Knowledge Representation and Reasoning: Reasoning about Knowlege and Belief"],"videos":[],"references":[{"position":1,"raw":"[Apt et al., 1987] Krzysztof Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In Founda- tions of Deductive Databases and Logic Programming, chapter 2, pages 89-148. 1987.","title":"Towards a theory of declarative knowledge","authors":"H Krzysztof Apt, A Blair, Walker","year":"1987","venue":"Foundations of Deductive Databases and Logic Programming","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baral et al., 2017] Chitta Baral, Thomas Bolander, Hans van Ditmarsch, and Sheila A. McIlraith. Epistemic plan- ning (Dagstuhl seminar 17231). Dagstuhl Reports, 7(6):1- 47, 2017.","title":"Epistemic planning (Dagstuhl seminar 17231)","authors":"Chitta Baral, Thomas Bolander, Hans Van Ditmarsch, Sheila A Mcilraith","year":"2017","venue":"Dagstuhl Reports","doi":null,"url":null,"internal_url":null},{"position":3,"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":4,"raw":"[Bolander et al., 2015] Thomas Bolander, Martin Holm Jensen, and Franc ¸ois Schwarzentruber. Complexity results in epistemic planning. In Proceedings of IJCAI, pages 2791-2797, 2015.","title":"Complexity results in epistemic planning","authors":"Thomas Bolander, Martin Holm Jensen, Franc, Schwarzentruber","year":"2015","venue":"Proceedings of IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2015/395"},{"position":5,"raw":"[Bolander, 2014] Thomas Bolander. Seeing is believing: Formalising false-belief tasks in dynamic epistemic logic. In Proceedings of ECSI, pages 87-107, 2014.","title":"Seeing is believing: Formalising false-belief tasks in dynamic epistemic logic","authors":"Thomas Bolander","year":"2014","venue":"Proceedings of ECSI","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Charrier et al., 2016] Tristan Charrier, Bastien Maubert, and Franc ¸ois Schwarzentruber. On the impact of modal depth in epistemic planning. In Proceedings of IJCAI, pages 1030-1036, 2016.","title":"On the impact of modal depth in epistemic planning","authors":"Tristan Charrier, Bastien Maubert, Franc, Schwarzentruber","year":"2016","venue":"Proceedings of IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2016/150"},{"position":7,"raw":"[Clark, 1978] Keith Clark. Negation as failure. In Logic and Data Bases, pages 293-322. 1978.","title":"Negation as failure","authors":"Keith Clark","year":"1978","venue":"Logic and Data Bases","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Cooper et al., 2016] Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, and Pierre Régnier. A simple account of multi-agent epistemic planning. In Pro- ceedings of ECAI, pages 193-201, 2016.","title":"A simple account of multi-agent epistemic planning","authors":"Martin C Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier","year":"2016","venue":"Proceedings of ECAI","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Engesser et al., 2017] Thorsten Engesser, Thomas Bolan- der, Robert Mattmüller, and Bernhard Nebel. Cooperative epistemic multi-agent planning for implicit coordination. In Proceedings of M4M, pages 75-90, 2017.","title":"Cooperative epistemic multi-agent planning for implicit coordination","authors":"Engesser","year":"2017","venue":"Proceedings of M4M","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Gelfond, 2008] Michael Gelfond. Answer sets. In Hand- book of Knowledge Representation, pages 285-316, 2008.","title":"Answer sets","authors":"Michael Gelfond","year":"2008","venue":"Handbook of Knowledge Representation","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Genesereth and Thielscher, 2014] Michael Genesereth and Michael Thielscher. General Game Playing. Synthesis Lectures on AI and Machine Learning. 2014.","title":"General Game Playing","authors":"Michael Genesereth, Michael Thielscher","year":"2014","venue":"Synthesis Lectures on AI and Machine Learning","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Genesereth et al., 2005] Michael Genesereth, Nathaniel Love, and Barney Pell. General game playing: Overview of the AAAI competition. AI Magazine, 26(2):62-72, 2005.","title":"General game playing: Overview of the AAAI competition","authors":"Genesereth","year":"2005","venue":"AI Magazine","doi":null,"url":null,"internal_url":null},{"position":13,"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 IJCAI, 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 IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2017/152"},{"position":14,"raw":"[Kominis and Geffner, 2015] Filippos Kominis and Hector Geffner. Beliefs in multiagent planning: From one agent to many. In Proceedings of ICAPS, 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 ICAPS","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Kooi and Renne, 2011] Barteld P. Kooi and Bryan Renne. Generalized arrow update logic. In Proceedings of TARK, pages 205-211, 2011.","title":"Generalized arrow update logic","authors":"Renne ; ] Kooi, P Barteld, Bryan Kooi, Renne","year":"2011","venue":"Proceedings of TARK","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Le et al., 2018] Tiep Le, Francesco Fabiano, Tran Cao Son, and Enrico Pontelli. EFP and PG-EFP: Epistemic forward search planners in multi-agent domains. In Proceedings of ICAPS, 2018.","title":"EFP and PG-EFP: Epistemic forward search planners in multi-agent domains","authors":"Tiep Le, Francesco Fabiano, Tran Cao Son, Enrico Pontelli","year":"2018","venue":"Proceedings of ICAPS","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Lloyd, 1987] John Lloyd. Foundations of Logic Program- ming. Series Symbolic Computation. 1987.","title":"Foundations of Logic Programming","authors":"John Lloyd","year":"1987","venue":"Series Symbolic Computation","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Moses, 2015] Yoram Moses. Relating knowledge and coor- dinated action: The knowledge of preconditions principle. In Proceedings of TARK, pages 231-245, 2015.","title":"Relating knowledge and coordinated action: The knowledge of preconditions principle","authors":"Moses ;, Yoram Moses","year":"2015","venue":"Proceedings of TARK","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Muise et al., 2015] Christian Muise, Vaishak Belle, Paolo Felli, Sheila McIlraith, et al. Planning over multi-agent epistemic states: A classical planning approach. In Pro- ceedings of AAAI, pages 3327-3334, 2015.","title":"Planning over multi-agent epistemic states: A classical planning approach","authors":"Muise","year":"2015","venue":"Proceedings of AAAI","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Rasmusen, 2007] Eric Rasmusen. Games and Information: an Introduction to Game Theory. 4th edition edition, 2007.","title":"Eric Rasmusen. Games and Information: an Introduction to Game Theory","authors":"Rasmusen","year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Romero et al., 2014] Javier Romero, Abdallah Saffidine, and Michael Thielscher. Solving the inferential frame problem in the general game description language. In Pro- ceedings of AAAI, pages 515-521, 2014.","title":"Solving the inferential frame problem in the general game description language","authors":"Javier Romero, Abdallah Saffidine, Michael Thielscher","year":"2014","venue":"Proceedings of AAAI","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Ruan and Thielscher, 2011] Ji Ruan and Michael Thielscher. The epistemic logic behind the game description language. In Proceedings of AAAI, pages 840-845, 2011.","title":"The epistemic logic behind the game description language","authors":"Ji Ruan, Michael Thielscher","year":"2011","venue":"Proceedings of AAAI","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Schiffel and Thielscher, 2009] Stephan Schiffel and Michael Thielscher. Automated theorem proving for general game playing. In Proceedings of IJCAI, pages 911-916, 2009.","title":"Automated theorem proving for general game playing","authors":"Stephan Schiffel, Michael Thielscher","year":"2009","venue":"Proceedings of IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2009/155"},{"position":24,"raw":"[Thielscher, 2017] Michael Thielscher. GDL-III: A descrip- tion language for epistemic general game playing. In Pro- ceedings of IJCAI, pages 1276-1282, 2017.","title":"GDL-III: A description language for epistemic general game playing","authors":"Michael Thielscher","year":"2017","venue":"Proceedings of IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2017/177"},{"position":25,"raw":"[van Benthem et al., 2006] Johan van Benthem, Jan van Ei- jck, and Barteld Kooi. Logics of communication and change. Information and Computation, 204(11):1620- 1662, 2006.","title":"Logics of communication and change","authors":"Van Benthem","year":"2006","venue":"Information and Computation","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[van Ditmarsch et al., 2007] Hans van Ditmarsch, Wiebe van der Hoek, and Barteld Kooi. Dynamic Epistemic Logic. 2007.","title":"Dynamic Epistemic Logic","authors":"Van Ditmarsch","year":"2007","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}