Processus de décision markovien partiellement observable

Un POMDP est un tuple ${\displaystyle \{S,A,T,R,\Omega ,O\}\,}$ où :

• ${\displaystyle S}$ est un ensemble fini non vide des états possibles du système à contrôler (il s'agit des états cachés du processus) ;
• ${\displaystyle A}$ est l'ensemble fini non vide des actions que l'on peut effectuer pour contrôler le système ;
• ${\displaystyle T:S\times A\times S\to [0;1]\,}$ est la fonction de transition du système en réaction aux actions de contrôle. Dans le cas général, la fonction T est probabiliste et donne la probabilité ${\displaystyle p(s'|s,a)=T(s,a,s')\,}$ que le système passe de l'état ${\displaystyle s}$ à l'état ${\displaystyle s'}$ lorsque l'on choisit d'effectuer l'action ${\displaystyle a}$ ;
• ${\displaystyle R:S\times A\times S\to \mathbb {R} }$ est la fonction de récompense. Elle indique la valeur réelle obtenue lorsque l'on effectue l'action ${\displaystyle a}$ dans l'état ${\displaystyle s}$ et que l'on arrive dans l'état ${\displaystyle s'}$ ;
• ${\displaystyle \Omega }$ est un ensemble de symboles observables ;
• ${\displaystyle O:S\times \Omega \to [0;1]}$ est une fonction d'observation qui à un état donné associe la probabilité ${\displaystyle p(\omega |s)=O(s,\omega )\,}$ d'observer un symbole donné.

Note : il existe des variantes dans lesquelles les récompenses peuvent dépendre des actions ou des observations. Les observations peuvent également dépendre des actions effectuées.

Il existe deux grands types d'approches pour s'attaquer à un problème POMDP.

• On peut chercher à déterminer de la façon la plus certaine possible quel est l'état dans lequel on se trouve (en maintenant à jour une distribution de probabilité sur les états appelée belief-state).
• On peut travailler directement sur les observations [2] de ${\displaystyle \Omega }$ sans considérer l'état caché. Cela n'est pas sans poser de problèmes car des observations similaires peuvent être obtenues dans des états différents (par exemple, avec l'observation locale des carrefours dans un labyrinthe, on peut très bien tomber sur deux carrefours en forme de T). Une approche possible pour discriminer ces observations consiste à garder une mémoire des observations rencontrées par le passé (dans ce cas, on perd la propriété markovienne).

Il existe des variantes multi-agents des POMDP, appelés les Dec-POMDP (Dec pour décentralisé)[3] - [4].

• Les Processus de Décision Markoviens (MDP), dont dérivent les POMDP pour l'aspect décision,
• Modèle de Markov caché, dont dérivent les POMDP pour l'aspect observabilité partielle,
• Processus stochastique

1. Kaebling L. P., Littman M. L., Cassandra A. R., Planning and Acting in Partially Observable Stochastic Domains, Artificial Intelligence, vol. 101, num. 1–2, pp. 99-134, 1998.
2. McCallum A. K., Reinforcement learning with selective perception and hidden state, PhD thesis, University of Rochester, Computer Science Dept., 1996.

• Tony's POMDP Page est une page de ressources d'Anthony R. Cassandra
• POMDP information page, la page de ressources de Michael L. Littman