{"type":"ScholarlyArticle","title":"A Reasoning System for a First-Order Logic of 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":"Logics of limited belief aim at enabling computationally feasible reasoning in highly expressive representation languages.  These languages are often dialects of first-order logic with a weaker form of logical entailment that keeps reasoning decidable or even tractable.  While a number of such logics have been proposed in the past, they tend to remain for theoretical analysis only and their practical relevance is very limited.  In this paper, we aim to go beyond the theory.  Building on earlier work by Liu, Lakemeyer, and Levesque, we develop a logic of limited belief that is highly expressive but remains decidable in the first-order and tractable in the propositional case and exhibits some characteristics that make it attractive for an implementation.  We introduce a reasoning system that employs this logic as representation language and present experimental results that showcase the benefit of limited belief.","doi":"10.24963/ijcai.2017/173","url":"https://ijcai.org/proceedings/2017/173","pdf":"https://ijcai.org/proceedings/2017/0173.pdf","markdown":"https://ijcai.org/proceedings/2017/173.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/173","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":"Knowledge Representation, Reasoning, and Logic","track":"Main track","number":173,"pages":{"first":1247,"last":1253},"keywords":["Knowledge Representation, Reasoning, and Logic: Reasoning about Knowlege and Belief","Knowledge Representation, Reasoning, and Logic: Non-classical logics for Knowledge Representation","Knowledge Representation, Reasoning, and Logic: Knowledge Representation Languages"],"videos":[],"references":[{"position":1,"raw":"[Baader, 2003] Franz Baader. The Description Logic Hand- book: Theory, Implementation, and Applications. 2003.","title":"The Description Logic Handbook: Theory, Implementation, and Applications","authors":"Franz Baader, Baader","year":"2003","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Börger et al., 1997] Egon Börger, Erich Grädel, and Yuri Gurevich. The Classical Decision Problem. 1997.","title":"The Classical Decision Problem","authors":"Börger","year":"1997","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Buffet et al., 2012] Olivier Buffet, Chang-Shing Lee, Woan- Tyng Lin, and Olivier Teytuad. Optimistic heuristics for minesweeper. In Proc. ICS, 2012.","title":"Optimistic heuristics for minesweeper","authors":"Olivier Buffet, Chang-Shing Lee, Woan-Tyng Lin, Olivier Teytuad","year":"2012","venue":"Proc. ICS","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[D'Agostino, 2015] Marcello D'Agostino. An informational view of classical logic. Theor. Comput. Sci., 2015.","title":"An informational view of classical logic","authors":"D' Marcello, Agostino","year":"2015","venue":"Theor. Comput. Sci","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Delgrande, 1995] James P. Delgrande. A framework for log- ics of explicit belief. Comput. Intell., 1995.","title":"A framework for logics of explicit belief","authors":"James P Delgrande","year":"1995","venue":"Comput. Intell","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Fagin and Halpern, 1987] Ronald Fagin and Joseph Halpern. Belief, awareness, and limited reasoning. Artif. Intell., 1987.","title":"Belief, awareness, and limited reasoning","authors":"Ronald Fagin, Joseph Halpern","year":"1987","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Fagin et al., 1995] Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about knowledge. 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":8,"raw":"[Gomes et al., 2008] Carla P. Gomes, Henry Kautz, Ashish Sabharwal, and Bart Selman. Satisfiability solvers. In Handbook of Knowledge Representation. 2008.","title":"Satisfiability solvers","authors":"Carla P Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman","year":"2008","venue":"Handbook of Knowledge Representation","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Hintikka, 1975] Jaakko Hintikka. Impossible possible worlds vindicated. J. Philos. Logic, 1975.","title":"Impossible possible worlds vindicated","authors":"Jaakko Hintikka, Hintikka","year":"1975","venue":"J. Philos. Logic","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Klassen et al., 2015] Toryn Q. Klassen, Sheila A. McIlraith, and Hector J. Levesque. Towards tractable inference for resource-bounded agents. In Proc. Commonsense, 2015.","title":"Towards tractable inference for resource-bounded agents","authors":"Q Toryn, Sheila A Klassen, Hector J Mcilraith, Levesque","year":"2015","venue":"Proc. Commonsense","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Konolige, 1986] Kurt Konolige. A Deduction Model of Be- lief. 1986.","title":"A Deduction Model of Belief","authors":"Kurt Konolige","year":"1986","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"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":13,"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":14,"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":15,"raw":"[Lakemeyer, 1994] Gerhard Lakemeyer. Limited reasoning in first-order knowledge bases. Artif. Intell., 1994.","title":"Limited reasoning in first-order knowledge bases","authors":"Gerhard Lakemeyer","year":"1994","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Levesque, 1984a] 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, Levesque","year":"1984","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Levesque, 1984b] Hector J. Levesque. A logic of implicit and explicit belief. In Proc. AAAI, 1984.","title":"A logic of implicit and explicit belief","authors":"Hector J Levesque, Levesque","year":"1984","venue":"Proc. AAAI","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Levesque, 1990] Hector J. Levesque. All I know: a study in autoepistemic logic. Artif. Intell., 1990.","title":"All I know: a study in autoepistemic logic","authors":"Hector J Levesque","year":"1990","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":19,"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":20,"raw":"[Patel-Schneider, 1990] Peter F. Patel-Schneider. A decidable first-order logic for knowledge representation. J. Autom. Reason., 1990. [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":"F Peter, Christoph Patel-Schneider ;, Gerhard Schwering, Lakemeyer","year":"1990","venue":"Proc. ECAI","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Schwering, 2017] Christoph Schwering. A reasoning system for a first-order logic of limited belief. arXiv:1705.01817.","title":"A reasoning system for a first-order logic of limited belief","authors":"Christoph Schwering","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Scott et al., 2011] Allan Scott, Ulrike Stege, and Iris Van Rooij. Minesweeper may not be NP-complete but is hard nonetheless. Math. Intell., 2011.","title":"Minesweeper may not be NP-complete but is hard nonetheless","authors":"Allan Scott, Ulrike Stege, Iris Van Rooij","year":"2011","venue":"Math. Intell","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Takayuki and Takahiro, 2003] Yato Takayuki and Seta Takahiro. Complexity and completeness of finding another solution and its application to puzzles. IEICE-Tran. Fund. Elec., Comm. & Comp. Sci., 2003.","title":"Complexity and completeness of finding another solution and its application to puzzles","authors":"Takahiro Takayuki, Yato Takayuki, Seta Takahiro","year":"2003","venue":"IEICE-Tran. Fund. Elec., Comm. & Comp. Sci","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Vardi, 1986] Moshe Y. Vardi. On epistemic logic and logical omniscience. In Proc. TARK, 1986.","title":"On epistemic logic and logical omniscience","authors":"Moshe Y Vardi","year":"1986","venue":"Proc. TARK","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}