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 :

ComponentMeaning
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.

TimeState summaryActionImmediate rewardFuture implication
slow lead car, left lane clearmove leftsmall lane-change costopens a faster lane
centered in left laneacceleratespeed rewardincreases following distance risk
faster speed, vehicle aheadhold speedcomfort rewardavoids 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

References