Ergodic Unobservable MDPs: Decidability of Approximation - Université Toulouse 1 Capitole
Pré-Publication, Document De Travail Année : 2024

Ergodic Unobservable MDPs: Decidability of Approximation

Résumé

Unobservable Markov decision processes (UMDPs) serve as a prominent mathematical framework for modeling sequential decision-making problems. A key aspect in computational analysis is the consideration of decidability, which concerns the existence of algorithms. In general, the computation of the exact and approximated values is undecidable for UMDPs with the long-run average objective. Building on matrix product theory and ergodic properties, we introduce a novel subclass of UMDPs, termed ergodic UMDPs. Our main result demonstrates that approximating the value within this subclass is decidable. However, we show that the exact problem remains undecidable. Finally, we discuss the primary challenges of extending these results to partially observable Markov decision processes.
Fichier principal
Vignette du fichier
2405.12583v1.pdf (259.61 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04786391 , version 1 (15-11-2024)

Identifiants

Citer

Krishnendu Chatterjee, David Lurie, Raimundo Saona, Bruno Ziliotto. Ergodic Unobservable MDPs: Decidability of Approximation. 2024. ⟨hal-04786391⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

More