In Praise of Belief Bases: Doing Epistemic Logic Without Possible Worlds

We introduce a new semantics for a logic of explicit and implicit beliefs based on the concept of multi-agent belief base. Differently from existing Kripke-style semantics for epistemic logic in which the notions of possible world and doxastic/epistemic alternative are primitive, in our semantics they are non-primitive but are defined from the concept of belief base. We provide a complete axiomatization and a decidability result for our logic.

[1]  Leandro Chaves Rêgo,et al.  Reasoning about knowledge of unawareness , 2006, Games Econ. Behav..

[2]  Gary G. Hendrix,et al.  Computational Models of Belief and the Semantics of Belief Sentences , 1982 .

[3]  S. Modica,et al.  Awareness and partitional information structures , 1994 .

[4]  Natasha Alechina,et al.  A Logic for Reasoning About Knowledge of Unawareness , 2014, J. Log. Lang. Inf..

[5]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[6]  Jan A. Plaza,et al.  Logics of public communications , 2007, Synthese.

[7]  Didier Dubois,et al.  A simple logic for reasoning about incomplete knowledge , 2014, Int. J. Approx. Reason..

[8]  D. Dennett.  The Intentional Stance. , 1987 .

[9]  Sarit Kraus,et al.  A Logic for Characterizing Multiple Bounded Agents , 2000, Autonomous Agents and Multi-Agent Systems.

[10]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[11]  Tim French,et al.  Semantics for Knowledge and Change of Awareness , 2014, J. Log. Lang. Inf..

[12]  Bernhard Nebel,et al.  Belief Revision: Syntax based approaches to belief revision , 1992 .

[13]  Samuel R. Buss,et al.  “Just Because”: Taking Belief Bases Seriously , 2016 .

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

[15]  D. Dennett.  Précis of The Intentional Stance , 1988, Behavioral and Brain Sciences.

[16]  Philippe Mongin,et al.  On the logic of common belief and common knowledge , 1994 .

[17]  Alessio Lomuscio,et al.  MCMAS: an open-source model checker for the verification of multi-agent systems , 2017, International Journal on Software Tools for Technology Transfer.

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

[19]  K. Konolige.  A deduction model of belief , 1986 .

[20]  Sven Ove Hansson.  Theory Contraction and Base Contraction Unified , 1993, J. Symb. Log..

[21]  Rolf A. Eberle.  A logic of believing, knowing, and inferring , 1974, Synthese.

[22]  Sébastien Konieczny,et al.  Merging Information Under Constraints: A Logical Framework , 2002, J. Log. Comput..

[23]  J. Armstrong.  Knowledge and Belief , 1953 .

[24]  Brian Logan,et al.  A complete and decidable logic for resource-bounded agents , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[25]  Burkhard C. Schipper,et al.  Interactive Unawareness , 2005, J. Econ. Theory.

[26]  David Makinson.  How to give it up: A survey of some formal aspects of the logic of theory change , 2004, Synthese.

[27]  Jan van Eijck,et al.  Symbolic Model Checking for Dynamic Epistemic Logic , 2015, LORI.

[28]  Robert Stalnaker.  On the evaluation of solution concepts , 1994 .