Computationally Feasible Strategies - Université Paris-Est-Créteil-Val-de-Marne
Communication Dans Un Congrès Année : 2023

Computationally Feasible Strategies

Résumé

Real-life agents seldom have unlimited reasoning power. In this paper, we propose and study a new formal notion of computationally bounded strategic ability in multi-agent systems. The notion characterizes the ability of a set of agents to synthesize an executable strategy in the form of a Turing machine within a given complexity class, that ensures the satisfaction of a temporal objective in a parameterized game arena. We show that the new concept induces a proper hierarchy of strategic abilities – in particular, polynomialtime abilities are strictly weaker than the exponential-time ones. We also propose an “adaptive” variant of computational ability which allows for different strategies for each parameter value, and show that the two notions do not coincide. Finally, we define and study the model-checking problem for computational strategies. We show that the problem is undecidable even for severely restricted inputs, and present our first steps towards decidable fragments.
Fichier principal
Vignette du fichier
p784.pdf (1.11 Mo) Télécharger le fichier
Origine Accord explicite pour ce dépôt

Dates et versions

hal-04572113 , version 1 (30-09-2024)

Licence

Identifiants

  • HAL Id : hal-04572113 , version 1

Citer

Catalin Dima, Wojciech Jamroga. Computationally Feasible Strategies. Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), May 2023, Londres, United Kingdom. ⟨hal-04572113⟩

Collections

LACL UPEC
20 Consultations
1 Téléchargements

Partager

More