AGM Revision of Beliefs About Action and Time
Abstract
The AGM theory of belief revision is based on propositional belief sets. In this paper we develop a logic for revision of temporal belief bases, containing expressions about temporal propositions (tomorrow it will rain), possibility (it may rain tomorrow), actions (the robot enters the room) and pre- and post-conditions of these actions. We prove the Katsuno-Mendelzon and the Darwiche-Pearl representation theorems by restricting the logic to formulas representing beliefs up to certain time. We illustrate our belief change model through several examples.
Cite
Text
van Zee et al. "AGM Revision of Beliefs About Action and Time." International Joint Conference on Artificial Intelligence, 2015.Markdown
[van Zee et al. "AGM Revision of Beliefs About Action and Time." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/vanzee2015ijcai-agm/)BibTeX
@inproceedings{vanzee2015ijcai-agm,
title = {{AGM Revision of Beliefs About Action and Time}},
author = {van Zee, Marc and Doder, Dragan and Dastani, Mehdi and van der Torre, Leendert W. N.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2015},
pages = {3250-3256},
url = {https://mlanthology.org/ijcai/2015/vanzee2015ijcai-agm/}
}