An action description language for iterated belief change

Hunter, Aaron (Aaron Hunter (Aaron_Hunter)) (author)
Delgrande, James, P. (author)
(editor)
(translator)

Copyright © 2007 Association for the Advancement of Artificial Intelligence

Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007. 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.

http://www.aaai.org/Papers/IJCAI/2007/IJCAI07-402.pdf