An Action Description Language for Iterated Belief Change
Proceedings of the Twentieth International Joint Conference on Artificial Intelligence. Pages 2498-2502.
Abstract
We are interested in the belief change that occurs due to a sequence of ontic actions and epistemic actions. In order to represent such problems, we extend an existing epistemic action language to allow erroneous initial beliefs. We define a non-Markovian semantics for our action language that explicitly respects the interaction between ontic actions and epistemic actions. Further, we illustrate how to solve epistemic projection problems in our new language by translating action descriptions into extended logic programs. We conclude with some remarks about a prototype implementation of our work.
@inproceedings{ijcai2007p402,
title = {An Action Description Language for Iterated Belief Change},
author = {Hunter, Aaron and Delgrande, James P.},
booktitle = {Proceedings of the Twentieth International Joint Conference on
Artificial Intelligence, {IJCAI-07}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ramon López de Mántaras},
pages = {2498--2502},
year = {2007},
url = {https://ijcai.org/proceedings/2007/402},
}
TY - CPAPER TI - An Action Description Language for Iterated Belief Change AU - Hunter, Aaron AU - Delgrande, James P. T2 - Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07 PB - International Joint Conferences on Artificial Intelligence PY - 2007 SP - 2498 EP - 2502 UR - https://ijcai.org/proceedings/2007/402 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
