The Frontier of Decidability in Partially Observable Recursive Games - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue International Journal of Foundations of Computer Science Année : 2012

The Frontier of Decidability in Partially Observable Recursive Games

Résumé

The classical decision problem associated with a game is whether a given player has a winning strategy, i.e. some strategy that leads almost surely to a victory, regardless of the other players' strategies. While this problem is relevant for deterministic fully observable games, for a partially observable game the requirement of winning with probability 1 is too strong. In fact, as shown in this paper, a game might be decidable for the simple criterion of almost sure victory, whereas optimal play (even in an approximate sense) is not computable. We therefore propose another criterion, the decidability of which is equivalent to the computability of approximately optimal play. Then, we show that (i) this criterion is undecidable in the general case, even with deterministic games (no random part in the game), (ii) that it is in the jump 0', and that, even in the stochastic case, (iii) it becomes decidable if we add the requirement that the game halts almost surely whatever maybe the strategies of the players.
Fichier principal
Vignette du fichier
sparta2.pdf (331.97 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00710073 , version 1 (09-07-2014)

Identifiants

  • HAL Id : hal-00710073 , version 1

Citer

David Auger, Olivier Teytaud. The Frontier of Decidability in Partially Observable Recursive Games. International Journal of Foundations of Computer Science, 2012, Special Issue on "Frontier between Decidability and Undecidability", 23 (7), pp.1439-1450. ⟨hal-00710073⟩
419 Consultations
421 Téléchargements

Partager

More