Propositional knowledge base revision and minimal change
Artificial Intelligence
On the logic of iterated belief revision
Artificial Intelligence
Formalizing sensing actions—a transition function based approach
Artificial Intelligence
Dynamic belief revision operators
Artificial Intelligence
Knowledge and the action description language 𝒜
Theory and Practice of Logic Programming
Iterated belief revision, revised
Artificial Intelligence
Belief change in the context of fallible actions and observations
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Admissible and restrained revision
Journal of Artificial Intelligence Research
Iterated belief change: a transition system approach
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Generalized update: belief change in dynamic settings
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Using answer sets to solve belief change problems
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
What is planning in the presence of sensing?
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Considerations on belief revision in an action theory
Correct Reasoning
A general representation and approximate inference algorithm for sensing actions
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Propositional Update Operators Based on Formula/Literal Dependence
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system approach to reason about the evolution of an agent's beliefs as actions are executed. Some actions cause an agent to perform belief revision while others cause an agent to perform belief update, but the interaction between revision and update can be nonelementary. We present a set of rationality properties describing the interaction between revision and update, and we introduce a new class of belief change operators for reasoning about alternating sequences of revisions and updates. Our belief change operators can be characterized in terms of a natural shifting operation on total pre-orderings over interpretations. We compare our approach with related work on iterated belief change due to action, and we conclude with some directions for future research.