A modal logic for reasoning about belief

The purpose of this paper is to integrate a number of ideas from knowledge representation, with ideas from the semantics of programming language, in a basic logical system for belief. A knowledge-based system can be considered as, in a simplified way, an agent which, based on its current state of information, reasons for purposes such as planning or taking an action that best suits the agent's goal. There are different ways to formalize such a system. The approach we are taking is model checking: we express an agent's current state of knowledge by a semantic model, and the agent's belief or action as some logical formulas. The paradigm of model checking deals with the issue of whether an agent's current state of knowledge supports an action or a belief. Only supported belief or action are considered as appropriate. This paradigm is, in particular, different from the traditional logical one which represents an agent's state of knowledge by a set of first-order formulas, and considers a belief or an action appropriate if it happens to be a logical consequence of the set of given formulas.

[1]  Peter Buneman,et al.  Using Powerdomains to Generalize Relational Databases , 1991, Theor. Comput. Sci..

[2]  Dana S. Scott,et al.  Some Domain Theory and Denotational Semantics in Coq , 2009, TPHOLs.

[3]  Guo-Qiang Zhang,et al.  Domain Theory Meets Default Logic , 1995, J. Log. Comput..

[4]  Guo-Qiang Zhang,et al.  Defaults in Domain Theory , 1997, Theor. Comput. Sci..

[5]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

[6]  Leonid Libkin,et al.  Aspects of partial information in databases , 1995 .

[7]  W. Hoek,et al.  A Modal Logic for Nonmonotonic Reasoning , 1994 .

[8]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[9]  Peter Gärdenfors,et al.  Nonmonotonic Inference Based on Expectations , 1994, Artif. Intell..

[10]  USAandGuo-Qiang ZhangDept.  Attunement to Constraints in Nonmonotonic Reasoning , 1994 .

[11]  Dov M. Gabbay,et al.  Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.

[12]  Guo-Qiang Zhang,et al.  Attunement to constraints in nonmonotonic reasoning , 1994 .

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

[14]  Guo-Qiang Zhang.  Logic of Domains , 1991, Progress in Theoretical Computer Science.

[15]  Vladimir Lifschitz,et al.  On Open Defaults , 1990 .

[16]  Drew McDermott,et al.  Non-Monotonic Logic I , 1987, Artif. Intell..

[17]  Samson Abramsky,et al.  Domain Theory in Logical Form , 1991, LICS.

[18]  K. Jon Barwise,et al.  The situation in logic , 1989, CSLI lecture notes series.