{"type":"ScholarlyArticle","title":"Hintikka's World: Agents with Higher-order Knowledge","authors":[{"name":"François Schwarzentruber","slug":"francois-schwarzentruber","given":"François","family":"Schwarzentruber","affiliation":"Univ Rennes , CNRS , IRISA"}],"abstract":"In this demonstration paper, we present a pedagogical tool called Hintikka's world for showing how artificial agents can reason about higher-order knowledge (an agent knows that another agent knows that...). The system provides famous AI examples such as Muddy children and Russian cards. The system also allows to implement user's own examples via the description of a Kripke model or via its generation by the generic tableau method prover MetTeL2.","doi":"10.24963/ijcai.2018/862","url":"https://ijcai.org/proceedings/2018/862","pdf":"https://ijcai.org/proceedings/2018/0862.pdf","markdown":"https://ijcai.org/proceedings/2018/862.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/862","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":"Demos","track":"Demos","number":862,"pages":{"first":5859,"last":5861},"keywords":["Knowledge Representation, Reasoning, and Logic: Non-classical logics for Knowledge Representation","Knowledge Representation, Reasoning, and Logic: Automated Reasoning and Theorem Proving"],"videos":[],"references":[{"position":1,"raw":"[Arslan et al., 2015] Burcu Arslan, Rineke Verbrugge, Niels Taatgen, and Bart Hollebrandse. Teaching children to at- tribute second-order false beliefs: A training study with feedback. In Proceedings of the 37th Annual Meeting of the Cognitive Science Society, CogSci 2015, Pasadena, California, USA, July 22-25, 2015, 2015.","title":"Teaching children to attribute second-order false beliefs: A training study with feedback","authors":"Rineke Burcu Arslan, Niels Verbrugge, Bart Taatgen, Hollebrandse","year":"2015","venue":"Proceedings of the 37th Annual Meeting of the Cognitive Science Society, CogSci 2015","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Aucher and Bolander, 2013] Guillaume Aucher and Thomas Bolander. Undecidability in epistemic planning. In IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, 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":"IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2013/16"},{"position":3,"raw":"[Aumann, 1999] Robert J. Aumann. Interactive epistemol- ogy I: knowledge. Int. J. Game Theory, 28(3):263-300, 1999.","title":"Interactive epistemology I: knowledge","authors":"Robert J Aumann","year":"1999","venue":"Int. J. Game Theory","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Baltag et al., 1998] Alexandru Baltag, Lawrence S Moss, and Slawomir Solecki. The logic of public announce- ments, common knowledge, and private suspicions. In Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge, pages 43-56.","title":"The logic of public announcements, common knowledge, and private suspicions","authors":"Alexandru Baltag, Lawrence S Moss, Slawomir Solecki","year":null,"venue":"Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge","doi":null,"url":null,"internal_url":null},{"position":5,"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":6,"raw":"[Charrier and Schwarzentruber, 2015] Tristan Charrier and Franc ¸ois Schwarzentruber. Arbitrary public announce- ment logic with mental programs. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015, pages 1471-1479, 2015.","title":"Tristan Charrier and Franc ¸ois Schwarzentruber. Arbitrary public announcement logic with mental programs","authors":"Schwarzentruber Charrier","year":"2015","venue":"Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Devin and Alami, 2016] Sandra Devin and Rachid Alami. An implemented theory of mind to improve human-robot shared plans execution. In The Eleventh ACM/IEEE In- ternational Conference on Human Robot Interation, HRI 2016, Christchurch, New Zealand, March 7-10, 2016, pages 319-326, 2016.","title":"An implemented theory of mind to improve human-robot shared plans execution","authors":"Devin, Alami, Sandra Devin, Rachid Alami","year":"2016","venue":"The Eleventh ACM/IEEE International Conference on Human Robot Interation, HRI 2016","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Halpern and Fagin, 1989] Joseph Y. Halpern and Ronald Fagin. Modelling knowledge and action in distributed sys- tems. Distributed Computing, 3(4):159-177, 1989.","title":"Modelling knowledge and action in distributed systems","authors":"Joseph Y Halpern, Ronald Fagin","year":"1989","venue":"Distributed Computing","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Halpern and Moses, 1992] Joseph Y. Halpern and Yoram Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artif. Intell., 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":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Halpern and Vardi, 1991] Joseph Y. Halpern and Moshe Y. Vardi. Model checking vs. theorem proving: A mani- festo. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reason- ing (KR'91). Cambridge, MA, USA, April 22-25, 1991., 1991.","title":"Model checking vs. theorem proving: A manifesto","authors":"Joseph Y Halpern, Moshe Y Vardi","year":"1991","venue":"Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91)","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Horrocks et al., 2007] Ian Horrocks, Ullrich Hustadt, Ul- rike Sattler, and Renate Schmidt. 4 computational modal logic. In Patrick Blackburn, Johan Van Benthem, and Frank Wolter, editors, Handbook of Modal Logic, vol- ume 3 of Studies in Logic and Practical Reasoning, pages 181 -245. Elsevier, 2007.","title":"4 computational modal logic","authors":"Ian Horrocks, Ullrich Hustadt, Ulrike Sattler, Renate Schmidt","year":"2007","venue":"Handbook of Modal Logic, volume 3 of Studies in Logic and Practical Reasoning","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Knight et al., 2017] Sophia Knight, Bastien Maubert, and Franc ¸ois Schwarzentruber. Reasoning about knowledge and messages in asynchronous multi-agent systems. Math- ematical Structures in Computer Science, page 1-42, 2017.","title":"Reasoning about knowledge and messages in asynchronous multi-agent systems","authors":"Knight","year":"2017","venue":"Mathematical Structures in Computer Science","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Saffidine et al., 2018] Abdallah Saffidine, Franc ¸ois Schwarzentruber, and Bruno Zanuttini. Knowledge- based policies for qualitative decentralized pomdps. In In Sheila McIlraith and Kilian Weinberger, editors, Proc. 32nd AAAI Conference on Artificial Intelligence (AAAI 2018), 2018.","title":"Knowledgebased policies for qualitative decentralized pomdps","authors":"Abdallah Saffidine, Bruno Franc ¸ois Schwarzentruber, Zanuttini","year":"2018","venue":"Proc. 32nd AAAI Conference on Artificial Intelligence (AAAI 2018)","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Scassellati, 2002] Brian Scassellati. Theory of mind for a humanoid robot. Auton. Robots, 12(1):13-24, 2002.","title":"Theory of mind for a humanoid robot","authors":"Brian Scassellati","year":"2002","venue":"Auton. Robots","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Sébastien Lê Cong, 2018] Franc ¸ois Schwarzentruber Sébastien Lê Cong, Sophie Pinchinat. Small undecidable problems in epistemic planning. 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":"Franc ¸ois Schwarzentruber Sébastien Lê Cong, Sophie Pinchinat. Small undecidable problems in epistemic planning","authors":"Sébastien Lê, Cong","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":16,"raw":"[Tishkovsky et al., 2012] Dmitry Tishkovsky, Renate A. Schmidt, and Mohammad Khodadadi. The tableau prover generator mettel2. In Logics in Artificial Intelligence -13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pages 492- 495, 2012.","title":"The tableau prover generator mettel2","authors":"Dmitry Tishkovsky, Renate A Schmidt, Mohammad Khodadadi","year":"2012","venue":"Logics in Artificial Intelligence -13th European Conference, JELIA 2012","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[van Benthem et al., 2015] Johan van Benthem, Jan van Ei- jck, Malvin Gattinger, and Kaile Su. Symbolic model checking for dynamic epistemic logic. In Logic, Ratio- nality, and Interaction -5th International Workshop, LORI 2015 Taipei, Taiwan, pages 366-378, 2015.","title":"Symbolic model checking for dynamic epistemic logic","authors":"Van Benthem","year":"2015","venue":"Logic, Rationality, and Interaction -5th International Workshop, LORI 2015","doi":null,"url":null,"internal_url":null},{"position":18,"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":19,"raw":"[van Ditmarsch et al., 2008] Hans van Ditmarsch, Wiebe van der Hoek, and Barteld Kooi. Dynamic Epistemic Logic. Springer, Dordecht, 2008.","title":"Dynamic Epistemic Logic","authors":"Van Ditmarsch","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[van Ditmarsch et al., 2012] Hans van Ditmarsch, Jan van Eijck, Ignacio Hernández-Antón, Floor Sietsma, Sunil Si- mon, and Fernando Soler-Toscano. Modelling crypto- graphic keys in dynamic epistemic logic with DEMO. In Highlights on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2012 Special Sessions, Sala- manca, Spain, 28-30 March, 2012, pages 155-162, 2012.","title":"Modelling cryptographic keys in dynamic epistemic logic with DEMO","authors":"Van Ditmarsch","year":"2012","venue":"Highlights on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2012 Special Sessions","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[van Ditmarsch, 2003] Hans P. van Ditmarsch. The russian cards problem. Studia Logica, 75(1):31-62, 2003.","title":"The russian cards problem","authors":"P Hans, Van Ditmarsch","year":"2003","venue":"Studia Logica","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[van Eijck, 2007] Jan van Eijck. Demo-a demo of epis- temic modelling. In Interactive Logic. Selected Papers from the 7th Augustus de Morgan Workshop, London, vol- ume 1, pages 303-362, 2007.","title":"Demo-a demo of epistemic modelling","authors":"; Van Eijck, Jan Van Eijck","year":"2007","venue":"Interactive Logic. Selected Papers from the 7th Augustus de Morgan Workshop","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Wimmer and Perner, 1983] Heinz Wimmer and Josef Perner. Beliefs about beliefs: Representation and con- straining function of wrong beliefs in young children's understanding of deception. Cognition, 13(1):103-128, 1983.","title":"Beliefs about beliefs: Representation and constraining function of wrong beliefs in young children's understanding of deception","authors":"Perner Wimmer, Heinz Wimmer, Josef Perner","year":"1983","venue":"Cognition","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}