A Markov Decision Process (MDP) is a mathematical framework used to model decision-making in situations where outcomes are partly random and partly under the control of a decision-maker. It serves as the foundational formalization for Reinforcement Learning problems.

Core Components

An MDP is formally defined by a 5-tuple :

  • States (): The set of all possible environmental configurations or situations.
  • Actions (): The set of all choices or moves available to the agent.
  • Transition Probability (): The probability of moving to state after taking action in state .
  • Reward Function (): The feedback signal received after transitioning from state to via action .
  • Discount Factor (): A value that determines the importance of future rewards relative to immediate ones.

Key Features

  1. The Markov Property: The future state depends solely on the current state and action, not on the history of previous states or actions. Formally:
  2. Sequential Optimization: Decisions are made over time, where each action influences future states and reward possibilities.
  3. Stochastic Nature: Outcomes are probabilistically defined, allowing the framework to model environmental uncertainty.
  4. Bellman Optimality: The goal is to discover an optimal policy that maps states to actions to maximize the cumulative expected discounted reward, satisfying the Bellman Equations.
  • Reinforcement Learning (RL): The study of learning optimal policies in an MDP when transition dynamics are unknown.
  • Dynamic Programming (DP): Algorithms like Value Iteration and Policy Iteration used to solve MDPs when the model dynamics are fully known.
  • Q-Learning: A model-free reinforcement learning algorithm used to find optimal action-selection policies for any given MDP.
  • Partially Observable Markov Decision Process (POMDP): A generalization of MDPs where the agent cannot directly observe the underlying state.