AGM Revision of Beliefs about Action and Time
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Special Track on Knowledge Representation and Reasoning. Pages 3250-3255.
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.
@inproceedings{ijcai2015p458,
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 = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI-15}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Qiang Yang and Michael Wooldridge},
pages = {3250--3255},
year = {2015},
month = {7},
note = {Special Track on Knowledge Representation and Reasoning},
url = {https://ijcai.org/proceedings/2015/458},
}
TY - CPAPER TI - AGM Revision of Beliefs about Action and Time AU - van Zee, Marc AU - Doder, Dragan AU - Dastani, Mehdi AU - van der Torre, Leendert W. N. T2 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15 PB - International Joint Conferences on Artificial Intelligence PY - 2015 SP - 3250 EP - 3255 UR - https://ijcai.org/proceedings/2015/458 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
