Revising Beliefs and Intentions in Stochastic Environments

Revising Beliefs and Intentions in Stochastic Environments

Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence
Main Track. Pages 3513-3522. https://doi.org/10.24963/ijcai.2024/389

The development of autonomous agents operating in dynamic and stochastic environments requires theories and models of how beliefs and intentions are revised while taking their interplay into account. In this paper, we initiate the study of belief and intention revision in stochastic environments, where an agent's beliefs and intentions are specified in a decidable probabilistic temporal logic. We then provide general Katsuno & Mendelzon-style representation theorems for both belief and intention revision, giving clear semantic characterizations of revision methods.
Keywords:
Knowledge Representation and Reasoning: KRR: Belief change
Knowledge Representation and Reasoning: KRR: Reasoning about actions
Knowledge Representation and Reasoning: KRR: Reasoning about knowledge and belief