An Action Description Language for Iterated Belief Change
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.
Cite
Text
Hunter and Delgrande. "An Action Description Language for Iterated Belief Change." International Joint Conference on Artificial Intelligence, 2007.Markdown
[Hunter and Delgrande. "An Action Description Language for Iterated Belief Change." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/hunter2007ijcai-action/)BibTeX
@inproceedings{hunter2007ijcai-action,
title = {{An Action Description Language for Iterated Belief Change}},
author = {Hunter, Aaron and Delgrande, James P.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2007},
pages = {2498-2503},
url = {https://mlanthology.org/ijcai/2007/hunter2007ijcai-action/}
}