Sensing and revision in a modal logic of belief and action

Andreas Herzig (1, 2) , Dominique Longin (1, 2, 3)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique
3 CLLE-LTC - Cognition, Langues, Langage, Ergonomie

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.

Mots clés: action; revision; belief; interaction

Domaines: Intelligence artificielle [cs.AI]; Logique en informatique [cs.LO]

Andreas Herzig, Dominique Longin. Sensing and revision in a modal logic of belief and action. European Conference on Artificial Intelligence (ECAI'02), Jul 2002, Lyon, France. pp.307-311. ⟨hal-03534105⟩