Sensing and revision in a modal logic of belief and action

We propose a modal logic of belief and actions, where action might be nondeterministic, and there might be misperception. The agent must be able to revise his beliefs, because (contrarily to knowledge) observations might be inconsistent with his beliefs. We propose a new solution in terms of successor state axioms, which does not resort to orderings of plausibility. Our solution allows for regression in the case of deterministic actions.

[1]  Hector J. Levesque,et al.  What Is Planning in the Presence of Sensing? , 1996, AAAI/IAAI, Vol. 2.

[2]  Michael Thielscher,et al.  Representing the Knowledge of a Robot , 2000, KR.

[3]  Hector J. Levesque,et al.  Reasoning about Noisy Sensors in the Situation Calculus , 1995, IJCAI.

[4]  Dominique Longin,et al.  A Logic for Planning under Partial Observability , 2000, AAAI/IAAI.

[5]  Andreas Herzig,et al.  A modal logic for epistemic tests , 2000, ECAI.

[6]  Erik Sandewall,et al.  The Range of Applicability of Some Non-monotonic Logics for Strict Inertia , 1994, J. Log. Comput..

[7]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[8]  Silvia Coradeschi.  Reasoning with Misperception in the Features and Fluents Framework , 1996, ECAI.

[9]  Jerzy Tiuryn,et al.  Dynamic logic , 2001, SIGA.

[10]  Enrico Giunchiglia,et al.  Representing Action: Indeterminacy and Ramifications , 1997, Artif. Intell..

[11]  Andreas Herzig,et al.  Formalizing Action and Change in Modal Logic I: the frame problem , 1999, J. Log. Comput..

[12]  Hector J. Levesque,et al.  Specifying communicative multi-agent systems , 1998 .

[13]  Hector J. Levesque,et al.  Specifying Communicative Multi-Agent Systems (Invited Paper) , 1997, Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications.

[14]  Robert Demolombe,et al.  Formalisation de l’évolution des croyances dans le Calcul des Situations , 2002 .

[15]  J. Gerbrandy.  Bisimulations on Planet Kripke , 1999 .

[16]  Michael Thielscher.  Computing Ramifications by Postprocessing , 1995, IJCAI.

[17]  Henrik Sahlqvist.  Completeness and Correspondence in the First and Second Order Semantics for Modal Logic , 1975 .

[18]  Hector J. Levesque,et al.  A Situation Calculus Approach to Modeling and Programming Agents , 1999 .

[19]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[20]  Krister Segerberg,et al.  Belief Revision From the Point of View of Doxastic Logic , 1995, Log. J. IGPL.

[21]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[22]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[23]  Krister Segerberg,et al.  Two Traditions in the Logic of Belief: Bringing them Together , 1999 .