A Probabilistic Finite Temporal Logic for Policies and Intentions

Nima Motamed; Natasha Alechina; Mehdi Dastani; Dragan Doder

A Probabilistic Finite Temporal Logic for Policies and Intentions

Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder

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

Abstract

We propose a new probabilistic temporal logic for Markov decision
processes allowing us to reason about finite histories and policies.
We comment on how the logic can express statements important
for a theory of intention revision, show that it possesses the finite
model property, and show that the model checking and satisfiability
problems for the logic are both decidable.

Original language	English
Title of host publication	International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning 2022 (LAMAS & SR 2022), 25/08/22
Publication status	Published - 1 Aug 2022
Externally published	Yes

Cite this

@inproceedings{dca7894af9f14508bc32434408e560fa,

title = "A Probabilistic Finite Temporal Logic for Policies and Intentions",

abstract = "We propose a new probabilistic temporal logic for Markov decisionprocesses allowing us to reason about finite histories and policies.We comment on how the logic can express statements importantfor a theory of intention revision, show that it possesses the finitemodel property, and show that the model checking and satisfiabilityproblems for the logic are both decidable.",

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

year = "2022",

month = aug,

day = "1",

language = "English",

booktitle = "International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning 2022 (LAMAS & SR 2022), 25/08/22",

}

A Probabilistic Finite Temporal Logic for Policies and Intentions. / Motamed, Nima; Alechina, Natasha; Dastani, Mehdi et al.
International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning 2022 (LAMAS & SR 2022), 25/08/22. 2022.

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

TY - GEN

T1 - A Probabilistic Finite Temporal Logic for Policies and Intentions

AU - Motamed, Nima

AU - Alechina, Natasha

AU - Dastani, Mehdi

AU - Doder, Dragan

PY - 2022/8/1

Y1 - 2022/8/1

N2 - We propose a new probabilistic temporal logic for Markov decisionprocesses allowing us to reason about finite histories and policies.We comment on how the logic can express statements importantfor a theory of intention revision, show that it possesses the finitemodel property, and show that the model checking and satisfiabilityproblems for the logic are both decidable.

AB - We propose a new probabilistic temporal logic for Markov decisionprocesses allowing us to reason about finite histories and policies.We comment on how the logic can express statements importantfor a theory of intention revision, show that it possesses the finitemodel property, and show that the model checking and satisfiabilityproblems for the logic are both decidable.

M3 - Conference Article in proceeding

BT - International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning 2022 (LAMAS & SR 2022), 25/08/22

ER -

A Probabilistic Finite Temporal Logic for Policies and Intentions

Abstract

Fingerprint

Cite this