Reasoning about knowledge and probability
Journal of the ACM (JACM)
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Probabilistic Dynamic Epistemic Logic
Journal of Logic, Language and Information
Conditional Probability Meets Update Logic
Journal of Logic, Language and Information
A combined system for update logic and belief revision
PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Diversity of Agents and Their Interaction
Journal of Logic, Language and Information
Hi-index | 0.00 |
In update logic the interpretation of an action is often assumed to be independent from the agents' beliefs about the situation (see [BMS04] or [Auc05]). In this paper we deal with this type of phenomenon. We also deal with actions that change facts of the situation. We use probability to model the notion of belief and our probabilistic update mechanism satisfies the AGM postulates of belief revision.