LILaC - paper abstract

Sensing and revision in a modal logic of belief and action

Herzig, Andreas and Longin, Dominique

Abstract:

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.

PostScript

PDF

Bibtex-entry: 


@InProceedings{HeLo-Ecai02,
author =      {Herzig, Andreas and Longin, Dominique},
title =       {Sensing and revision in a modal logic of belief and action},
booktitle =   {Proc. ECAI2002},
year =        {2002},
pages =       {5 pages}
}
https://www.irit.fr/~Andreas.Herzig