Markov Decision Processes
A Markov decision process models sequential choice under uncertainty. At time , an agent observes state , chooses action , receives reward , and moves to a new state .
Defining Mechanism
An MDP is usually written as :
| Component | Meaning |
|---|---|
| possible states | |
| possible actions | |
| transition probability from state to next state after action | |
| expected immediate reward for that transition | |
| discount factor for future rewards |
The Markov assumption says the next transition depends on the current state and action, not on the full history:
This does not mean the world has no memory. It means the state representation should contain the information needed for prediction and control.
Return
The discounted return from time is
If , a reward one step away keeps full weight, a reward two steps away has weight , and a reward three steps away has weight . Lower makes the agent more short-sighted; higher makes delayed consequences matter more.
Worked Scenario
In a lane-change decision, the state might include ego speed, adjacent-lane occupancy, distance to the lead vehicle, and road geometry. The actions are not labels; they change the future. Choosing “change left” affects the next state, which changes whether future acceleration is safe and whether the final route objective can be met.
| Time | State summary | Action | Immediate reward | Future implication |
|---|---|---|---|---|
| slow lead car, left lane clear | move left | small lane-change cost | opens a faster lane | |
| centered in left lane | accelerate | speed reward | increases following distance risk | |
| faster speed, vehicle ahead | hold speed | comfort reward | avoids hard braking |
The decision is sequential because the best action at depends on expected future rewards, not just the immediate reward.
Caveats
The hardest modeling choice is the state. If important information is hidden, the process becomes partially observable and the policy may need memory, belief-state tracking, recurrent models, or history windows. If the reward omits safety or long-term cost, the optimal policy for the MDP can still be wrong for the real task.
Connections
- Value Functions and Bellman Equations define expected return under an MDP.
- Q-Learning and DQN learn action values from transitions.
- Autonomous Driving often decomposes the full driving problem into perception, prediction, planning, and control rather than treating the whole stack as one unconstrained MDP.
References
Nav