To formulate a problem we create a formal model of the problem, . It includes:
- Initial State,
- Set of Actions,
- State-Transition Function, where ,
- Goal State
- Cost Function
A solution to a problem is an action sequence that leads from the initial state to the goal state. An optional solution is the solution with the lowest cost function.