Revising Beliefs and Intentions in Stochastic Environments

Nima Motamed; Natasha Alechina; Mehdi Dastani; Dragan Doder

doi:10.24963/ijcai.2024/389

Revising Beliefs and Intentions in Stochastic Environments

Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

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.

Original language	English
Title of host publication	Proceedings of the 33rd International Joint Conference on Artificial Intelligence
Subtitle of host publication	Main Track
Editors	Kate Larson
Pages	3513-3522
Number of pages	10
ISBN (Electronic)	9781956792041
DOIs	https://doi.org/10.24963/ijcai.2024/389
Publication status	Published - 9 Aug 2024
Event	33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 - Jeju, Korea, Republic of Duration: 3 Aug 2024 → 9 Aug 2024 https://ijcai24.org/

Conference

Conference	33rd International Joint Conference on Artificial Intelligence, IJCAI 2024
Abbreviated title	IJCAI 202
Country/Territory	Korea, Republic of
City	Jeju
Period	3/08/24 → 9/08/24
Internet address	https://ijcai24.org/

Access to Document

10.24963/ijcai.2024/389

Cite this

@inproceedings{ec385b34d0654d0b8f0820c999e35ecc,

title = "Revising Beliefs and Intentions in Stochastic Environments",

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.",

author = "Nima Motamed and Natasha Alechina and Mehdi Dastani and Dragan Doder",

year = "2024",

month = aug,

day = "9",

doi = "10.24963/ijcai.2024/389",

language = "English",

isbn = "9781956792041",

pages = "3513--3522",

editor = "Kate Larson",

booktitle = "Proceedings of the 33rd International Joint Conference on Artificial Intelligence",

note = "33rd International Joint Conference on Artificial Intelligence, IJCAI 2024, IJCAI 202 ; Conference date: 03-08-2024 Through 09-08-2024",

url = "https://ijcai24.org/",

}

Motamed, N, Alechina, N, Dastani, M & Doder, D 2024, Revising Beliefs and Intentions in Stochastic Environments. in K Larson (ed.), Proceedings of the 33rd International Joint Conference on Artificial Intelligence: Main Track. pp. 3513-3522, 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, Korea, Republic of, 3/08/24. https://doi.org/10.24963/ijcai.2024/389

Revising Beliefs and Intentions in Stochastic Environments. / Motamed, Nima; Alechina, Natasha; Dastani, Mehdi et al.
Proceedings of the 33rd International Joint Conference on Artificial Intelligence: Main Track. ed. / Kate Larson. 2024. p. 3513-3522.

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

T1 - Revising Beliefs and Intentions in Stochastic Environments

AU - Motamed, Nima

AU - Alechina, Natasha

AU - Dastani, Mehdi

AU - Doder, Dragan

PY - 2024/8/9

Y1 - 2024/8/9

N2 - 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.

AB - 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.

U2 - 10.24963/ijcai.2024/389

DO - 10.24963/ijcai.2024/389

M3 - Conference Article in proceeding

SN - 9781956792041

SP - 3513

EP - 3522

BT - Proceedings of the 33rd International Joint Conference on Artificial Intelligence

A2 - Larson, Kate

T2 - 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024

Y2 - 3 August 2024 through 9 August 2024

ER -

Revising Beliefs and Intentions in Stochastic Environments

Abstract

Conference

Access to Document

Fingerprint

Cite this