{"type":"ScholarlyArticle","title":"Hintikka's World: Scalable Higher-order Knowledge","authors":[{"name":"Tristan Charrier","slug":"tristan-charrier","given":"Tristan","family":"Charrier","affiliation":"Univ Rennes , CNRS , IRISA , France"},{"name":"Sébastien Gamblin","slug":"sebastien-gamblin","given":"Sébastien","family":"Gamblin","affiliation":"Université de Caen Normandie , GREYC , Caen , France"},{"name":"Alexandre Niveau","slug":"alexandre-niveau","given":"Alexandre","family":"Niveau","affiliation":"Université de Caen Normandie , GREYC , Caen , France"},{"name":"François Schwarzentruber","slug":"francois-schwarzentruber","given":"François","family":"Schwarzentruber","affiliation":""}],"abstract":"Hintikka's World is a graphical and pedagogical tool that shows how artificial agents can reason about higher-order knowledge. In this demonstration paper, we present the implementation of symbolic models in Hintikka's World. They enable the tool to scale, by helping it to face the state explosion, which makes it possible to provide examples featuring real card games, such as Hanabi.","doi":"10.24963/ijcai.2019/934","url":"https://ijcai.org/proceedings/2019/934","pdf":"https://ijcai.org/proceedings/2019/0934.pdf","markdown":"https://ijcai.org/proceedings/2019/934.md","bibtex":"https://ijcai.org/proceedings/2019/bibtex/934","volume":{"slug":"2019","title":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2019","url":"https://ijcai.org/proceedings/2019/","year":2019,"location":"Macao","dates":"10-16 August 2019","editors":"Sarit Kraus","isbn":"978-0-9992411-4-1","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2019"},"section":"Demos","track":"Demos","number":934,"pages":{"first":6494,"last":6496},"keywords":["AI: Multiagent Systems","AI: Knowledge Representation and Reasoning","Applications: Education and training"],"videos":[],"references":[{"position":1,"raw":"[Bahar et al., 1997] R. Iris Bahar, Erica A. Frohm, Charles M. Gaona, Gary D. Hachtel, Enrico Macii, Abelardo Pardo, and Fabio Somenzi. Algebraic decision diagrams and their applications. Formal Methods in System Design, 10(2/3):171-206, 1997.","title":"Algebraic decision diagrams and their applications","authors":"R, Iris Bahar, Erica A Frohm, Charles M Gaona, Gary D Hachtel, Enrico Macii, Abelardo Pardo, Fabio Somenzi","year":"1997","venue":"Formal Methods in System Design","doi":null,"url":null,"internal_url":null},{"position":2,"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":3,"raw":"[Bard et al., 2019] Nolan Bard, Jakob N. Foerster, Sarath Chandar, Neil Burch, Marc Lanctot, Francis Song, Emilio Parisotto, Vincent Dumoulin, Subhodeep Moitra, Edward Hughes, Iain Dunning, Shibl Mourad, Hugo Larochelle, Marc G. Bellemare, and Michael Bowling. The Han- abi challenge: A new frontier for AI research. CoRR, abs/1902.00506, 2019.","title":"The Hanabi challenge: A new frontier for AI research","authors":"Nolan Bard, Jakob N Foerster, Sarath Chandar, Neil Burch, Marc Lanctot, Francis Song, Emilio Parisotto, Subhodeep Vincent Dumoulin, Edward Moitra, Iain Hughes, Shibl Dunning, Hugo Mourad, Marc G Larochelle, Michael Bellemare, Bowling","year":"2019","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Bryant, 1986] Randal E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput- ers, 35(8):677-691, 1986.","title":"Graph-based algorithms for Boolean function manipulation","authors":"Randal E Bryant","year":"1986","venue":"IEEE Trans. Computers","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Burch et al., 1990] Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, and L. J. Hwang. Symbolic model checking: 10ˆ20 states and beyond. In Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), Philadelphia, Pennsylva- nia, USA, June 4-7, 1990, pages 428-439, 1990.","title":"Symbolic model checking: 10ˆ20 states and beyond","authors":"Jerry R Burch, Edmund M Clarke, Kenneth L Mcmillan, David L Dill, L J Hwang","year":"1990","venue":"Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90)","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Charrier and Schwarzentruber, 2017] Tristan Charrier and Franc ¸ois Schwarzentruber. A succinct language for dy- namic epistemic logic. In Proceedings of the 16th Con- ference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, pages 123-131, 2017.","title":"Tristan Charrier and Franc ¸ois Schwarzentruber. A succinct language for dynamic epistemic logic","authors":"Schwarzentruber Charrier","year":"2017","venue":"Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Charrier and Schwarzentruber, 2018] Tristan Charrier and Franc ¸ois Schwarzentruber. Complexity of dynamic epis- temic logic with common knowledge. In Advances in Modal Logic 12, proceedings of the 12th conference on \"Advances in Modal Logic,\" held in Bern, Switzerland, August 27-31, 2018, pages 103-122, 2018.","title":"Tristan Charrier and Franc ¸ois Schwarzentruber. Complexity of dynamic epistemic logic with common knowledge","authors":"Schwarzentruber Charrier","year":"2018","venue":"Advances in Modal Logic 12, proceedings of the 12th conference on \"Advances in Modal Logic","doi":null,"url":null,"internal_url":null},{"position":8,"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":9,"raw":"[Hu et al., 2018] Yue Hu, Juntao Li, Xi Li, Gang Pan, and Mingliang Xu. Knowledge-guided agent-tactic-aware learning for StarCraft micromanagement. In Proceed- ings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., pages 1471-1477, 2018.","title":"Knowledge-guided agent-tactic-aware learning for StarCraft micromanagement","authors":"Yue Hu, Juntao Li, Xi Li, Gang Pan, Mingliang Xu","year":"2018","venue":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018","doi":null,"url":null,"internal_url":"/proceedings/2018/204"},{"position":10,"raw":"[Meel et al., 2016] Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Se- shia, Dror Fried, Alexander Ivrii, and Sharad Malik. Con- strained sampling and counting: Universal hashing meets SAT solving. In Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016., 2016.","title":"Constrained sampling and counting: Universal hashing meets SAT solving","authors":"S Kuldeep, Moshe Y Meel, Supratik Vardi, Daniel J Chakraborty, Fremont, A Sanjit, Dror Seshia, Alexander Fried, Sharad Ivrii, Malik","year":"2016","venue":"Papers from the 2016 AAAI Workshop","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Schwarzentruber, 2018] Franc ¸ois Schwarzentruber. Hin- tikka's world: Agents with higher-order knowledge. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13- 19, 2018, Stockholm, Sweden., pages 5859-5861, 2018.","title":"Franc ¸ois Schwarzentruber. Hintikka's world: Agents with higher-order knowledge","authors":"Schwarzentruber","year":"2018","venue":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Somenzi, 2001] Fabio Somenzi. Efficient manipulation of decision diagrams. STTT, 3(2):171-181, 2001.","title":"Efficient manipulation of decision diagrams","authors":"Fabio Somenzi","year":"2001","venue":"STTT","doi":null,"url":null,"internal_url":null},{"position":13,"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":14,"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":15,"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."}