{"type":"ScholarlyArticle","title":"Limbo: A Reasoning System for Limited Belief","authors":[{"name":"Christoph Schwering","slug":"christoph-schwering","given":"Christoph","family":"Schwering","affiliation":"School of Computer Science and Engineering The University of New South Wales Sydney NSW 2052 , Australia"}],"abstract":"We introduce Limbo, a reasoning system for limited belief. The system features a highly expressive language with first-order quantification, functions and equality, sorts, and introspective belief modalities. Reasoning is based on clause subsumption, unit propagation, and case splits. Decidability and sometimes even tractability is achieved by limiting the number of case splits. We illustrate the practical utility of limited belief with toy examples as well as with the games of Sudoku and Minesweeper.","doi":"10.24963/ijcai.2017/779","url":"https://ijcai.org/proceedings/2017/779","pdf":"https://ijcai.org/proceedings/2017/0779.pdf","markdown":"https://ijcai.org/proceedings/2017/779.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/779","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Demos","track":"Demos","number":779,"pages":{"first":5246,"last":5248},"keywords":["Knowledge Representation, Reasoning, and Logic: Knowledge Representation Languages","Knowledge Representation, Reasoning, and Logic: Reasoning about Knowlege and Belief","Knowledge Representation, Reasoning, and Logic: Non-classical logics for Knowledge Representation"],"videos":[],"references":[{"position":1,"raw":"[Belle and Lakemeyer, 2015] Vaishak Belle and Gerhard Lakemeyer. Semantical considerations on multiagent only knowing. Artif. Intell., 223:1-26, 2015.","title":"Vaishak Belle and Gerhard Lakemeyer. Semantical considerations on multiagent only knowing","authors":"Belle, Lakemeyer","year":"2015","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Hintikka, 1975] Jaakko Hintikka. Impossible possible worlds vindicated. J. Philos. Logic, 1975.","title":"Impossible possible worlds vindicated","authors":"Jaakko Hintikka","year":"1975","venue":"J. Philos. Logic","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Lakemeyer and Levesque, 2013] Gerhard Lakemeyer and Hector J. Levesque. Decidable reasoning in a logic of limited belief with introspection and unknown individuals. In Proc. IJCAI, 2013.","title":"Decidable reasoning in a logic of limited belief with introspection and unknown individuals","authors":"Levesque Lakemeyer, Gerhard Lakemeyer, Hector J Levesque","year":"2013","venue":"Proc. IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2013/148"},{"position":4,"raw":"[Lakemeyer and Levesque, 2014] Gerhard Lakemeyer and Hector J. Levesque. Decidable reasoning in a fragment of the epistemic situation calculus. In Proc. KR, 2014.","title":"Decidable reasoning in a fragment of the epistemic situation calculus","authors":"Levesque Lakemeyer, Gerhard Lakemeyer, Hector J Levesque","year":"2014","venue":"Proc. KR","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Lakemeyer and Levesque, 2016] Gerhard Lakemeyer and Hector J. Levesque. Decidable reasoning in a logic of limited belief with function symbols. In Proc. KR, 2016.","title":"Decidable reasoning in a logic of limited belief with function symbols","authors":"Levesque Lakemeyer, Gerhard Lakemeyer, Hector J Levesque","year":"2016","venue":"Proc. KR","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Levesque, 1984] Hector J. Levesque. Foundations of a func- tional approach to knowledge representation. Artif. Intell., 1984.","title":"Foundations of a functional approach to knowledge representation","authors":"Hector J Levesque","year":"1984","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Liu et al., 2004] Yongmei Liu, Gerhard Lakemeyer, and Hec- tor J. Levesque. A logic of limited belief for reasoning with disjunctive information. In Proc. KR, 2004.","title":"A logic of limited belief for reasoning with disjunctive information","authors":"Yongmei Liu, Gerhard Lakemeyer, Hector J Levesque","year":"2004","venue":"Proc. KR","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Reiter, 2001] Ray Reiter. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, 2001.","title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","authors":"Ray Reiter, Reiter","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Schwering and Lakemeyer, 2016] Christoph Schwering and Gerhard Lakemeyer. Decidable reasoning in a first-order logic of limited conditional belief. In Proc. ECAI, 2016.","title":"Decidable reasoning in a first-order logic of limited conditional belief","authors":"Lakemeyer Schwering, Christoph Schwering, Gerhard Lakemeyer","year":"2016","venue":"Proc. ECAI","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Schwering et al., 2015] Christoph Schwering, Gerhard Lake- meyer, and Maurice Pagnucco. Belief revision and progres- sion of knowledge bases in the epistemic situation calculus. In Proc. IJCAI, 2015.","title":"Belief revision and progression of knowledge bases in the epistemic situation calculus","authors":"Schwering","year":"2015","venue":"Proc. IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2015/453"},{"position":11,"raw":"[Schwering, 2017] Christoph Schwering. A reasoning system for a first-order logic of limited belief. In Proc. IJCAI, 2017. To appear.","title":"A reasoning system for a first-order logic of limited belief","authors":"Christoph Schwering","year":"2017","venue":"Proc. IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2017/173"}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}