15th European Conference on Artificial Intelligence
  July 21-26 2002     Lyon     France  
   

ECAI-2002 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

Sensing and revision in a modal logic of belief and action

Andreas Herzig, Dominique Longin

We propose a modal logic of belief and nondeterministic actions, where the agent might ignore action laws. Sensing is in terms of test actions. The result of tests might be inconsistent with the agent's beliefs (contrarily to knowledge), and therefore such a logic must allow belief revision. 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.

Keywords: Cognitive Robotics, Belief Revision, Reasoning about Actions and Change

Citation: Andreas Herzig, Dominique Longin: Sensing and revision in a modal logic of belief and action. In F. van Harmelen (ed.): ECAI2002, Proceedings of the 15th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2002, pp.307-311.


[prev] [tofc] [next]


ECAI-2002 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the UniversitÚ Claude Bernard and INSA, Lyon, on behalf of Association Franšaise pour l'Intelligence Artificielle.