Strategic abilities of forgetful agents in stochastic environments
File(s)
Author(s)
Belardinelli, F
Jamroga, W
Mittelmann, M
Murano, A
Type
Conference Paper
Abstract
In this paper, we investigate the probabilistic variants of the strategy logics ATL and ATL* under imperfect information. Specifically, we present novel decidability and complexity results when the model transitions are stochastic and agents play uniform strategies. That is, the semantics of the logics are based on multi-agent, stochastic transition systems with imperfect information, which combine two sources of uncertainty, namely, the partial observability agents have on the environment, and the likelihood of transitions to occur from a system state. Since the model checking problem is undecidable in general in this setting, we restrict our attention to agents with memoryless (positional) strategies. The resulting setting captures the situation in which agents have qualitative uncertainty of the local state and quantitative uncertainty about the occurrence of future events. We illustrate the usefulness of this setting with meaningful examples.
Date Issued
2023-09-02
Date Acceptance
2023-09-02
Citation
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023, pp.726-731
ISBN
9781956792027
ISSN
2334-1025
Publisher
IJCAI Organization
Start Page
726
End Page
731
Journal / Book Title
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning
Copyright Statement
© 2023 International Joint Conferences on Artificial Intelligence Organization.
Identifier
https://dl.acm.org/doi/10.24963/kr.2023/71
Source
20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023
Publication Status
Published
Start Date
2023-09-02
Finish Date
2023-09-08
Coverage Spatial
Rhodes, Greece
Date Publish Online
2023-09-02