IJCAI 2024poster0 citations
Revising Beliefs and Intentions in Stochastic Environments
Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder
Abstract
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.
Knowledge Representation and Reasoning: KRR: Belief changeKnowledge Representation and Reasoning: KRR: Reasoning about actionsKnowledge Representation and Reasoning: KRR: Reasoning about knowledge and belief
BibTeX
@inproceedings{ijcai2024p389,
title = {Revising Beliefs and Intentions in Stochastic Environments},
author = {Motamed, Nima and Alechina, Natasha and Dastani, Mehdi and Doder, Dragan},
booktitle = {Proceedings of the Thirty-Third International Joint Conference on
Artificial Intelligence, {IJCAI-24}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Kate Larson},
pages = {3513--3522},
year = {2024},
month = {8},
note = {Main Track},
doi = {10.24963/ijcai.2024/389},
url = {https://doi.org/10.24963/ijcai.2024/389},
}