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.