15th European Conference on Artificial Intelligence
|
July 21-26 2002 Lyon France |
[full paper] |
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.