Formalizing sensing actions—a transition function based approach
Artificial Intelligence
Knowledge and the action description language 𝒜
Theory and Practice of Logic Programming
Iterated belief change: a transition system approach
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Belief change and cryptographic protocol verification
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Using answer sets to solve belief change problems
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Actions, preferences, and logic programs
Canadian AI'12 Proceedings of the 25th Canadian conference on Advances in Artificial Intelligence
| Hi-index | 0.00 |
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.