A Reasoning System for a First-Order Logic of Limited Belief

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 while remaining 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.

[1]  Gerhard Lakemeyer,et al.  Limited Reasoning in First-Order Knowledge Bases , 1994, Artif. Intell..

[2]  Diego Calvanese,et al.  The description logic handbook: theory , 2003 .

[3]  Marcello D'Agostino.  An informational view of classical logic , 2015, Theor. Comput. Sci..

[4]  Bart Selman,et al.  Satisfiability Solvers , 2008, Handbook of Knowledge Representation.

[5]  Hector J. Levesque,et al.  All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..

[6]  Gerhard Lakemeyer,et al.  A Logic of Limited Belief for Reasoning with Disjunctive Information , 2004, KR.

[7]  Moshe Y. Vardi.  On Epistemic Logic and Logical Omniscience , 1986, TARK.

[8]  Hector J. Levesque,et al.  Towards Tractable Inference for Resource-Bounded Agents , 2015, AAAI Spring Symposia.

[9]  William J. Rapaport.  Review: Moshe Y. Vardi, On Epistemic Logic and Logical Omniscience , 1988 .

[10]  B. M. Fulk.  MATH , 1992 .

[11]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[12]  James P. Delgrande,et al.  A FRAMEWORK FOR LOGICS OF EXPLICIT BELIEF , 1995, Comput. Intell..

[13]  Blai Bonet,et al.  Belief Tracking for Planning with Sensing: Width, Complexity and Approximations , 2014, J. Artif. Intell. Res..

[14]  T. Yato,et al.  Complexity and Completeness of Finding Another Solution and Its Application to Puzzles , 2003, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[15]  Olivier Buffet,et al.  Optimistic Heuristics for MineSweeper , 2013 .

[16]  留美 種村.  Awareness , 1995, Encyclopedia of Personality and Individual Differences.

[17]  Hector J. Levesque,et al.  Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..

[18]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[19]  Jaakko Hintikka,et al.  Impossible possible worlds vindicated , 1975, J. Philos. Log..