| Title: |
Revising Beliefs and Intentions in Stochastic Environments |
| Authors: |
Motamed, Nima; Alechina, Natasha; Dastani, Mehdi; Doder, Dragan; Sub Intelligent Systems; Intelligent Systems; Larson, Kate |
| Publication Year: |
2024 |
| Subject Terms: |
Taverne; Artificial Intelligence |
| Description: |
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. |
| Document Type: |
book part |
| File Description: |
application/pdf |
| Language: |
English |
| ISSN: |
1045-0823 |
| Relation: |
https://dspace.library.uu.nl/handle/1874/482339 |
| Availability: |
https://dspace.library.uu.nl/handle/1874/482339 |
| Rights: |
info:eu-repo/semantics/OpenAccess |
| Accession Number: |
edsbas.F387BA16 |
| Database: |
BASE |