Problem Solving Mod 3
Problem Solving Mod 3
Problem Solving Mod 3
Informed search strategy is the one that uses problem-specific knowledge beyond
the definition of the problem itself, can find solutions more efficiently than can an
uninformed strategy.
Best-first search
Best-first search is an instance of the general TREE-SEARCH or GRAPH-SEARCH algorithm in
which a node is selected for expansion based on an evaluation function, f(n).
The evaluation function is construed as a cost estimate, so the node with the lowest evaluation
is expanded first
The implementation of best-first graph search is identical to that for uniform-cost search except
for the use the priority queue.
Best-first algorithms include as a component of a heuristic function,
h(n) = estimated cost of the cheapest path from the state at node n to a goal state.
For example, in Romania, one might estimate the cost of the cheapest path from Arad to
Bucharest via the straight-line distance from Arad to Bucharest.
Greedy best-first search
Greedy best-first search tries to expand the node that is closest to the goal, on the
grounds that this is likely to lead to a solution quickly.
It evaluates nodes by using just the heuristic function; that is, f(n) = h(n).
Greedy best-first search
A* search: Minimizing the total estimated solution
cost
Since g(n) gives the path cost from the start node to node n, and h(n)is the estimated
cost of the cheapest path from n to the goal, then f(n)
Thus, if we are trying to find the cheapest solution, a reasonable thing to try first is
the node with the lowest value of g(n)+h(n).
It turns out that this strategy is more than just reasonable: provided that the heuristic
function h(n)satisfies certain conditions, A∗ search is both complete and
optimal. The algorithm is identical to UNIFORM-COST-SEARCH except that A∗
uses g+h instead of g.
Conditions for optimality: Admissibility and
consistency
Admissible heuristic
• An admissible heuristic is one that never overestimates the cost to reach the goal.
Because g(n) is the actual cost to reach n along the current path, and f(n)=g(n) + h(n).
• Admissible heuristics are by nature optimistic because they think the cost of solving the
problem is less than it actually is.
• Example of an admissible heuristic is the straight-line distance hSLD that we used in
getting to Bucharest. Straight-line distance is admissible because the shortest path
between any two points is a straight line, so the straight line cannot be an over
estimate.
Consistency