A Markov decision process (MDP) is a mathematical model for sequential decision making when outcomes are uncertain. It is a type of stochastic decision process, and is often solved using the methods of stochastic dynamic programming. Originating from operations research in the 1950s, MDPs have since gained recognition in a variety of fields, including ecology, economics, healthcare, telecommunications and reinforcement learning. Reinforcement learning utilizes the MDP framework to model the interaction between a learning agent and its environment. In this framework, the interaction is characterized by states, actions, and rewards. The MDP framework is designed to provide a simplified representation of key elements of artificial intelligence challenges. This modeling framework incorporates the understanding of cause and effect, the management of uncertainty and nondeterminism, and the pursuit of explicit goals. The name comes from its connection to Markov chains, a concept developed by the Russian mathematician Andrey Markov. The "Markov" in "Markov decision process" refers to the underlying structure of state transitions that still follow the Markov property. The process is called a "decision process" because it involves making decisions that influence these state transitions, extending the concept of a Markov chain into the realm of decision-making under uncertainty.
Definition
A Markov decision process is a 4-tuple ( S , A , P a , R a ) {\displaystyle (S,A,P_{a},R_{a})} , where:
S {\displaystyle S} is a set of states called the state space. The state space may be discrete or continuous, like the set of real numbers.
A {\displaystyle A} is a set of actions called the action space (alternatively, A s {\displaystyle A_{s}} is the set of actions available from state s {\displaystyle s} ). As for state, this set may be discrete or continuous.
P a ( s , s ′ ) {\displaystyle P_{a}(s,s')} is the probability that action a {\displaystyle a} in state s {\displaystyle s} at time t {\displaystyle t} will lead to state s ′ {\displaystyle s'} at time t + 1 {\displaystyle t+1} . In general, this probability transition is defined to satisfy Pr ( s t + 1 ∈ S ′ ∣ s t = s , a t = a ) = ∫ S ′ P a ( s , s ′ ) d s ′ , {\displaystyle \Pr(s_{t+1}\in S'\mid s_{t}=s,a_{t}=a)=\int _{S'}P_{a}(s,s')ds',} for every S ′ ⊆ S {\displaystyle S'\subseteq S} measurable. In case the state space is discrete, the integral is intended with respect to the counting measure, so that the latter simplifies as P a ( s , s ′ ) = Pr ( s t + 1 = s ′ ∣ s t = s , a t = a ) {\displaystyle P_{a}(s,s')=\Pr(s_{t+1}=s'\mid s_{t}=s,a_{t}=a)} ; in case S ⊆ R d {\displaystyle S\subseteq \mathbb {R} ^{d}} , the integral is usually intended with respect to the Lebesgue measure.
R a ( s , s ′ ) {\displaystyle R_{a}(s,s')} is the immediate reward (or expected immediate reward) received after action a {\displaystyle a} is taken to transition from state s {\displaystyle s} to state s ′ {\displaystyle s'} . The reward is in general a random variable. A policy function π {\displaystyle \pi } is a (potentially probabilistic) mapping from state space ( S {\displaystyle S} ) to action space ( A {\displaystyle A} ).
… excerpt ends here. Continue reading the full article.


