{"type":"ScholarlyArticle","title":"Small Undecidable Problems in Epistemic Planning","authors":[{"name":"Sébastien Lê Cong","slug":"sebastien-le-cong","given":"Sébastien Lê","family":"Cong","affiliation":"Univ Rennes , CNRS , IRISA"},{"name":"Sophie Pinchinat","slug":"sophie-pinchinat","given":"Sophie","family":"Pinchinat","affiliation":"Univ Rennes , CNRS , IRISA"},{"name":"François Schwarzentruber","slug":"francois-schwarzentruber","given":"François","family":"Schwarzentruber","affiliation":"Univ Rennes , CNRS , IRISA"}],"abstract":"Epistemic planning extends classical planning with knowledge and is based on dynamic epistemic logic (DEL). The epistemic planning problem is undecidable in general. We exhibit a small undecidable subclass of epistemic planning over 2-agent S5 models with a fixed repertoire of one action, 6 propositions and a fixed goal. We furthermore consider a variant of the epistemic planning problem where the initial knowledge state is an automatic structure, hence possibly infinite. In that case, we show the epistemic planning problem with 1 public action and 2 propositions to be undecidable, while it is known to be decidable  with public actions over finite models. Our results are obtained by reducing the reachability problem over small universal cellular automata. While our reductions yield a goal formula that displays the common knowledge operator, we show, for each of our considered epistemic problems, a reduction into an epistemic planning problem for a common-knowledge-operator-free goal formula by using 2 additional actions.","doi":"10.24963/ijcai.2018/664","url":"https://ijcai.org/proceedings/2018/664","pdf":"https://ijcai.org/proceedings/2018/0664.pdf","markdown":"https://ijcai.org/proceedings/2018/664.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/664","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":"Planning and Scheduling","track":"Main track","number":664,"pages":{"first":4780,"last":4786},"keywords":["Planning and Scheduling: Theoretical Foundations of Planning","Knowledge Representation and Reasoning: Non-classical Logics for Knowledge Representation","Agent-based and Multi-agent Systems: Multi-agent Planning"],"videos":[],"references":[{"position":1,"raw":"[Aucher and Bolander, 2013] Guillaume Aucher and Thomas Bolander. Undecidability in epistemic planning. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3-9, 2013, pages 27-33, 2013.","title":"Undecidability in epistemic planning","authors":"Bolander Aucher, Guillaume Aucher, Thomas Bolander","year":"2013","venue":"Proceedings of the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013","doi":null,"url":null,"internal_url":"/proceedings/2013/16"},{"position":2,"raw":"[Baltag et al., 1998] Alexandru Baltag, Lawrence S. Moss, and Slawomir Solecki. The logic of public announce- ments and common knowledge and private suspicions. In Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98), Evanston, IL, USA, July 22-24, 1998, pages 43-56, 1998.","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":3,"raw":"[Baral et al., 2017] Chitta Baral, Thomas Bolander, Hans van Ditmarsch, and Sheila McIlraith. Epistemic Planning (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 Mcilraith","year":"2017","venue":"Dagstuhl Reports","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Belardinelli et al., 2017] Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, and Sasha Rubin. Verifica- tion of multi-agent systems with imperfect information and public actions. In Kate Larson, Michael Winikoff, Sanmay Das, and Edmund H. Durfee, editors, Proceedings of the 16th Conference on Autonomous Agents and MultiA- gent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, pages 1268-1276. ACM, 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":"Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Blumensath and Grädel, 2000] Achim Blumensath and Erich Grädel. Automatic structures. In Logic in Com- puter Science, 2000. Proceedings. 15th Annual IEEE Symposium on, pages 51-62. IEEE, 2000.","title":"Achim Blumensath and Erich Grädel. Automatic structures","authors":"Grädel Blumensath","year":"2000","venue":"Proceedings. 15th Annual IEEE Symposium on","doi":null,"url":null,"internal_url":null},{"position":6,"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":7,"raw":"[Bolander, 2017] Thomas Bolander. A gentle introduction to epistemic planning: The DEL approach. In Proceed- ings of the Ninth Workshop on Methods for Modalities, M4M@ICLA 2017, Indian Institute of Technology, Kan- pur, 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":"Proceedings of the Ninth Workshop on Methods for Modalities, M4M@ICLA 2017","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Charrier et al., 2016] Tristan Charrier, Bastien Maubert, and François Schwarzentruber. On the impact of modal depth in epistemic planning. In Proceedings of the Twenty- Fifth International Joint Conference on Artificial Intelli- gence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 1030-1036, 2016.","title":"On the impact of modal depth in epistemic planning","authors":"Tristan Charrier, Bastien Maubert, François Schwarzentruber","year":"2016","venue":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016","doi":null,"url":null,"internal_url":"/proceedings/2016/150"},{"position":9,"raw":"[Chellas, 1980] Brian F Chellas. Modal logic: an introduc- tion. Cambridge university press, 1980.","title":"Modal logic: an introduction","authors":"Brian F Chellas","year":"1980","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Codd, 1968] Edgar F Codd. Cellular automata. Academic Press, 1968.","title":"Cellular automata","authors":"Edgar F Codd","year":"1968","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Cook, 2004] Matthew Cook. Universality in elementary cellular automata. Complex Systems, 15(1), 2004.","title":"Universality in elementary cellular automata","authors":"Matthew Cook","year":"2004","venue":"Complex Systems","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Cook, 2008] Matthew Cook. A concrete view of rule 110 computation. In Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ire- land, 6-7th December 2008., pages 31-55, 2008.","title":"A concrete view of rule 110 computation","authors":"Matthew Cook","year":"2008","venue":"Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008","doi":null,"url":null,"internal_url":null},{"position":13,"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 Interna- tional Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 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, ICAPS 2015","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Larsson, 2013] Urban Larsson. Impartial games emulating one-dimensional cellular automata and undecidability. J. Comb. Theory, Ser. A, 120(5):1116-1130, 2013.","title":"Urban Larsson. Impartial games emulating one-dimensional cellular automata and undecidability","authors":"Larsson","year":"2013","venue":"J. Comb. Theory, Ser. A","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Lindgren and Nordahl, 1990] Kristian Lindgren and Mats G. Nordahl. Universal computation in simple one-dimensional cellular automata. Complex Systems, 4(3), 1990.","title":"Universal computation in simple one-dimensional cellular automata","authors":"Kristian Lindgren, Mats G Nordahl","year":"1990","venue":"Complex Systems","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Minsky, 1967] Marvin L Minsky. Computation: finite and infinite machines. Prentice-Hall, Inc., 1967.","title":"Computation: finite and infinite machines","authors":"L Marvin, Minsky","year":"1967","venue":null,"doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Schwarzentruber, 2018] François Schwarzentruber. Hin- tikka's world: agents with higher-order knowledge (demo). In Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI) and the 23rd European Conference on Artificial Intelligence (ECAI), Stockholm, 13-19 July 2018, 2018.","title":"François Schwarzentruber. Hintikka's world: agents with higher-order knowledge (demo)","authors":"Schwarzentruber","year":"2018","venue":"Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI) and the 23rd European Conference on Artificial Intelligence (ECAI)","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Smith, 1968] Alvy Ray Smith. Simple computation- universal cellular spaces and self-reproduction. In 9th An- nual Symposium on Switching and Automata Theory, Sch- enectady, New York, USA, October 15-18, 1968, pages 269-277, 1968.","title":"Simple computationuniversal cellular spaces and self-reproduction","authors":"; Alvy Ray Smith, Smith","year":"1968","venue":"9th Annual Symposium on Switching and Automata Theory","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Sutner, 2003] Klaus Sutner. Almost periodic configura- tions on linear cellular automata. Fundam. Inform., 58(2003):223-240, 2003.","title":"Almost periodic configurations on linear cellular automata","authors":"Klaus Sutner, Sutner","year":"2003","venue":"Fundam. Inform","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[van Ditmarsch and Kooi, 2015] Hans van Ditmarsch and Barteld Kooi. One Hundred Prisoners and a Light Bulb. 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":21,"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":22,"raw":"[von Neumann, 1951] John von Neumann. The general and logical theory of automata. Cerebral mechanisms in be- havior, 1(41):1-2, 1951.","title":"John von Neumann. The general and logical theory of automata","authors":"Von Neumann","year":"1951","venue":"Cerebral mechanisms in behavior","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Wolfram, 2002] Stephen Wolfram. A new kind of science. Wolfram-Media, 2002.","title":"A new kind of science","authors":"Stephen Wolfram","year":"2002","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}