Repository logo
  • Log In
    Log in via Symplectic to deposit your publication(s).
Repository logo
  • Communities & Collections
  • Research Outputs
  • Statistics
  • Log In
    Log in via Symplectic to deposit your publication(s).
  1. Home
  2. Faculty of Engineering
  3. Computing
  4. Computing
  5. Strategic abilities of forgetful agents in stochastic environments
 
  • Details
Strategic abilities of forgetful agents in stochastic environments
File(s)
_KR_2023__Strategic_Abilities_of_Forgetful_Agents_in_Stochastic_Environments.pdf (294.13 KB)
Accepted version
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
URI
http://hdl.handle.net/10044/1/110554
URL
https://dl.acm.org/doi/10.24963/kr.2023/71
DOI
https://www.dx.doi.org/10.24963/kr.2023/71
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
About
Spiral Depositing with Spiral Publishing with Spiral Symplectic
Contact us
Open access team Report an issue
Other Services
Scholarly Communications Library Services
logo

Imperial College London

South Kensington Campus

London SW7 2AZ, UK

tel: +44 (0)20 7589 5111

Accessibility Modern slavery statement Cookie Policy

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback