{"type":"ScholarlyArticle","title":"Concurrent Games in Dynamic Epistemic Logic","authors":[{"name":"Bastien Maubert","slug":"bastien-maubert","given":"Bastien","family":"Maubert","affiliation":"Università degli Studi di Napoli \"Federico II\" , Italy"},{"name":"Sophie Pinchinat","slug":"sophie-pinchinat","given":"Sophie","family":"Pinchinat","affiliation":"Université de Rennes , IRISA , CNRS , France"},{"name":"Francois Schwarzentruber","slug":"francois-schwarzentruber","given":"François","family":"Schwarzentruber","affiliation":""},{"name":"Silvia Stranieri","slug":"silvia-stranieri","given":"Silvia","family":"Stranieri","affiliation":"Università degli Studi di Napoli \"Federico II\" , Italy"}],"abstract":"Action models of Dynamic Epistemic Logic (DEL) represent precisely how actions are perceived by agents. DEL has recently been used to define infinite multi-player games, and it was shown that they can be solved in some cases. However, the dynamics being defined by the classic DEL update product for individual actions, only turn-based games have been considered so far. In this work we define a concurrent DEL product, propose a mechanism to resolve conflicts between actions, and define concurrent DEL games. As in the turn-based case, the obtained concurrent infinite game arenas can be finitely represented when all actions are public, or all are propositional. Thus we identify cases where the strategic epistemic logic ATL*K can be model checked on such games.","doi":"10.24963/ijcai.2020/260","url":"https://ijcai.org/proceedings/2020/260","pdf":"https://ijcai.org/proceedings/2020/0260.pdf","markdown":"https://ijcai.org/proceedings/2020/260.md","bibtex":"https://ijcai.org/proceedings/2020/bibtex/260","volume":{"slug":"2020","title":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2020","url":"https://ijcai.org/proceedings/2020/","year":2020,"location":"Yokohama","dates":"January 2021 (postponed from 11-17 July 2020)","editors":"Christian Bessiere","isbn":"978-0-9992411-6-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2020"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":260,"pages":{"first":1877,"last":1883},"keywords":["Planning and Scheduling: Theoretical Foundations of Planning","Knowledge Representation and Reasoning: Reasoning about Knowledge and Belief","Agent-based and Multi-agent Systems: Formal Verification, Validation and Synthesis"],"videos":[{"label":"Video","url":"https://videos.ijcai20.org/26824/file_26824.m3u8","length_sec":157,"provider":"hls"}],"references":[{"position":1,"raw":"[Ågotnes and van Ditmarsch, 2011] Thomas Ågotnes and Hans van Ditmarsch. What will they say? -public an- nouncement games. Synthese, 179(Supplement-1):57-85, 2011.","title":"Thomas Ågotnes and Hans van Ditmarsch. What will they say? -public announcement games","authors":null,"year":"2011","venue":"Synthese","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Aucher and Bolander, 2013] G. Aucher and T. Bolander. Undecidability in epistemic planning. In IJCAI'13, 2013.","title":"Undecidability in epistemic planning","authors":"G Aucher, T Bolander","year":"2013","venue":"IJCAI'13","doi":null,"url":null,"internal_url":"/proceedings/2013/16"},{"position":3,"raw":"[Baltag et al., 1998] Alexandru Baltag, Lawrence S. Moss, and Slawomir Solecki. The logic of public announcements and common knowledge and private suspicions. In Itzhak Gilboa, editor, Proceedings of the 7th Conference on The- oretical Aspects of Rationality and Knowledge (TARK-98), Evanston, IL, USA, July 22-24, 1998, pages 43-56.","title":"The logic of public announcements and common knowledge and private suspicions","authors":"Alexandru Baltag, Lawrence S Moss, Slawomir Solecki","year":"1998","venue":"Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98)","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"Mor- gan Kaufmann, 1998.","title":null,"authors":"Morgan Kaufmann","year":"1998","venue":null,"doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Belardinelli et al., 2017] Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, and Sasha Rubin. Verification of multi-agent systems with imperfect information and public actions. In AAMAS'17, pages 1268-1276, 2017.","title":"Verification of multi-agent systems with imperfect information and public actions","authors":"Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin","year":"2017","venue":"AAMAS'17","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Benevides and Lima, 2019] Mario Roberto Folhadela Benevides and Isaque Macalam Saab Lima. Dynamic epistemic logic with communication actions. arXiv preprint arXiv:1902.01164, 2019.","title":"Dynamic epistemic logic with communication actions","authors":"Mario Roberto, Folhadela Benevides, Isaque Macalam, Saab Lima","year":"2019","venue":null,"doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Berthon et al., 2017] Raphaël Berthon, Bastien Maubert, and Aniello Murano. Decidability results for ATL* with imperfect information and perfect recall. In AAMAS'17, pages 1250-1258, 2017.","title":"Decidability results for ATL* with imperfect information and perfect recall","authors":"Raphaël Berthon, Bastien Maubert, Aniello Murano","year":"2017","venue":"AAMAS'17","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Bolander and Andersen, 2011] T. Bolander and M.B. An- dersen. Epistemic planning for single and multi-agent sys- tems. J. Appl. Non-Class. Log., 21(1):9-34, 2011.","title":"Epistemic planning for single and multi-agent systems","authors":"T Bolander, M B","year":"2011","venue":"J. Appl. Non-Class. Log","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Bolander et al., 2015] T. Bolander, M.H. Jensen, and F. Schwarzentruber. Complexity results in epistemic plan- ning. In IJCAI, pages 2791-2797, 2015.","title":"Complexity results in epistemic planning","authors":"T Bolander, M H Jensen, F Schwarzentruber","year":"2015","venue":"IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2015/395"},{"position":10,"raw":"[Bolander, 2017] Thomas Bolander. A gentle introduction to epistemic planning: The DEL approach. In M4M@ICLA 2017, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017., pages 1-22, 2017.","title":"A gentle introduction to epistemic planning: The DEL approach","authors":"Thomas Bolander","year":"2017","venue":"M4M@ICLA 2017","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Bulling and Jamroga, 2014] Nils Bulling and Wojciech Jamroga. Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. Autonomous agents and multi-agent systems, 28(3):474-518, 2014.","title":"Comparing variants of strategic ability: how uncertainty and memory influence general properties of games","authors":"Jamroga Bulling, Nils Bulling, Wojciech Jamroga","year":"2014","venue":"Autonomous agents and multi-agent systems","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Chandra and Stockmeyer, 1976] Ashok K Chandra and Larry J Stockmeyer. Alternation. In 17th Annual Sym- posium on Foundations of Computer Science (sfcs 1976), pages 98-108. IEEE, 1976.","title":"Alternation","authors":"K Ashok, Larry J Chandra, Stockmeyer","year":"1976","venue":"17th Annual Symposium on Foundations of Computer Science","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[de Alfaro and Henzinger, 2000] Luca de Alfaro and Thomas A Henzinger. Concurrent omega-regular games. In LICS'00, pages 141-154. IEEE, 2000.","title":"Luca de Alfaro and Thomas A Henzinger","authors":"De Alfaro, Henzinger","year":"2000","venue":"LICS'00","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Eshuis and Wieringa, 2001] Rik Eshuis and Roel J. Wieringa. A real-time execution semantics for UML activity diagrams. In FASE'01, pages 76-90, 2001.","title":"A real-time execution semantics for UML activity diagrams","authors":"Wieringa ; Eshuis, Rik Eshuis, Roel J Wieringa","year":"2001","venue":"FASE'01","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Fagin et al., 1995] Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about knowledge, volume 4. MIT press Cambridge, 1995.","title":"Reasoning about knowledge","authors":"Ronald Fagin, Joseph Y Halpern, Yoram Moses, Moshe Y Vardi","year":"1995","venue":null,"doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Fox and Long, 2003] Maria Fox and Derek Long. PDDL2.1: an extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Res., 20:61-124, 2003.","title":"Maria Fox and Derek Long. PDDL2.1: an extension to PDDL for expressing temporal planning domains","authors":"Long Fox","year":"2003","venue":"J. Artif. Intell. Res","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"Tiago De Lima. Alternating-time temporal dy- namic epistemic logic. J. Log. Comput., 24(6):1145-1178, 2014.","title":"Alternating-time temporal dynamic epistemic logic","authors":"Tiago De, Lima","year":"2014","venue":"J. Log. Comput","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Maubert et al., 2019] Bastien Maubert, Sophie Pinchinat, and Franc ¸ois Schwarzentruber. Reachability games in dy- namic epistemic logic. In IJCAI'19, pages 499-505, 2019.","title":"Reachability games in dynamic epistemic logic","authors":"Maubert","year":"2019","venue":"IJCAI'19","doi":null,"url":null,"internal_url":"/proceedings/2019/71"},{"position":19,"raw":"[Maubert et al., 2020] Bastien Maubert, Aniello Murano, Sophie Pinchinat, Franc ¸ois Schwarzentruber, and Silvia Stranieri. Dynamic epistemic logic games with epistemic temporal goals. In arXiv preprint arXiv:2001.07141, 2020.","title":"Dynamic epistemic logic games with epistemic temporal goals","authors":"Bastien Maubert, Aniello Murano, Sophie Pinchinat, Franc ¸ois Schwarzentruber, Silvia Stranieri","year":"2020","venue":null,"doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Maubert, 2014] B. Maubert. Logical foundations of games with imperfect information : uniform strategies. PhD the- sis, University of Rennes 1, France, 2014.","title":"Logical foundations of games with imperfect information : uniform strategies","authors":"B Maubert","year":"2014","venue":null,"doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Peterson et al., 2001] Gary Peterson, John Reif, and Salman Azhar. Lower bounds for multiplayer noncooperative games of incomplete information. CAMWA, 41(7):957- 992, 2001.","title":"Lower bounds for multiplayer noncooperative games of incomplete information","authors":"Gary Peterson, John Reif, Salman Azhar","year":"2001","venue":"CAMWA","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Pnueli and Rosner, 1989] Amir Pnueli and Roni Rosner. On the synthesis of a reactive module. In POPL, pages 179- 190, 1989.","title":"On the synthesis of a reactive module","authors":"Rosner Pnueli, Amir Pnueli, Roni Rosner","year":"1989","venue":"POPL","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Puchala, 2010] Bernd Puchala. Asynchronous omega- regular games with partial information. In MFCS'10, pages 592-603, 2010.","title":"Asynchronous omegaregular games with partial information","authors":"Bernd Puchala","year":"2010","venue":"MFCS'10","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[van Benthem et al., 2007] Johan van Benthem, Sujata Ghosh, Fenrong Liu, et al. Modelling simultaneous games with concurrent dynamic logic. Institute for Logic, Language and Computation (ILLC), University of Amsterdam, 2007.","title":"Modelling simultaneous games with concurrent dynamic logic","authors":"Van Benthem","year":"2007","venue":"Institute for Logic, Language and Computation","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Van der Hoek and Wooldridge, 2003] Wiebe Van der Hoek and Michael Wooldridge. Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its ap- plications. Studia logica, 75(1):125-157, 2003.","title":"Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications","authors":"Hoek Van Der, Wooldridge ; Wiebe Van Der Hoek, Michael Wooldridge","year":"2003","venue":"Studia logica","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[van der Meyden, 1998] Ron van der Meyden. Common knowledge and update in finite environments. Inf. Com- put., 140(2):115-157, 1998.","title":"Ron van der Meyden. Common knowledge and update in finite environments","authors":"Van Der Meyden","year":"1998","venue":"Inf. Comput","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[van Ditmarsch and Kooi, 2006] Hans P. van Ditmarsch and Barteld P. Kooi. Semantic results for ontic and epistemic change. CoRR, abs/cs/0610093, 2006.","title":"Semantic results for ontic and epistemic change","authors":"P Hans, Barteld P Van Ditmarsch, Kooi","year":"2006","venue":null,"doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[van Ditmarsch et al., 2003] Hans P. van Ditmarsch, Wiebe van der Hoek, and Barteld P. Kooi. Concurrent dynamic epistemic logic for MAS. In AAMAS'03, pages 201-208, 2003.","title":"Concurrent dynamic epistemic logic for MAS","authors":"P Hans, Van Ditmarsch, Wiebe Van Der, Barteld P Hoek, Kooi","year":"2003","venue":"AAMAS'03","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Van Ditmarsch et al., 2007] Hans Van Ditmarsch, Wiebe van Der Hoek, and Barteld Kooi. Dynamic epistemic logic, volume 337. Springer Science & Business Media, 2007.","title":"Dynamic epistemic logic","authors":"Van Ditmarsch","year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[van Eijck et al., 2011] Jan van Eijck, Floor Sietsma, and Yanjing Wang. Composing models. Journal of Applied Non-Classical Logics, 21(3-4):397-425, 2011.","title":"Composing models","authors":"Van Eijck","year":"2011","venue":"Journal of Applied Non-Classical Logics","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}