Artificial Intelligence for Games Informed Search (2) Patrick Olivier

Heuristic functions sample heuristics for 8-puzzle: –h 1 (n) = number of misplaced tiles –h 2 (n) = total Manhattan distance h 1 (S) = ? h 2 (S) = ?

Heuristic functions sample heuristics for 8-puzzle: –h 1 (n) = number of misplaced tiles –h 2 (n) = total Manhattan distance h 1 (S) = 8 h 2 (S) = = 18 dominance: –h 2 (n) ≥ h 1 (n) for all n (both admissible) –h 2 is better for search (closer to perfect) –less nodes need to be expanded

Example of dominance randomly generate 8-puzzle problems 100 examples for each solution depth contrast behaviour of heuristics & strategies d IDS ………………… A*(h1) A*(h2)

A* enhancements & local search Memory enhancements –IDA*: Iterative-Deepening A* –SMA*: Simplified Memory-Bounded A* Other enhancements (next lecture) –Dynamic weighting –LRTA*: Learning Real-time A* –MTS: Moving target search Local search (next lecture) –Hill climbing & beam search –Simulated annealing & genetic algorithms

Improving A* performance Improving the heuristic function –not always easy for path planning tasks Implementation of A* –key aspect for large search spaces Relaxing the admissibility condition –trading optimality for speed

IDA*: iterative deepening A* reduces the memory constraints of A* without sacrificing optimality cost-bound iterative depth-first search with linear memory requirements expands all nodes within a cost contour store f-cost (cost-limit) for next iteration repeat for next highest f-cost

Order of expansion: –Move space up –Move space down –Move space left –Move space right Evaluation function: –g(n) = number of moves –h(n) = misplaced tiles Expand the state space to a depth of 3 and calculate the evaluation function IDA*: exercise Start state X Goal state X

Next f-cost = = = =6 1+3= X = X IDA*: f-cost = 3 Next f-cost = 3 Next f-cost = 4

IDA*: f-cost = = = = =4 0+3= X Next f-cost = 4 Next f-cost = = = =4

Simplified memory-bounded A* SMA* –When we run out of memory drop costly nodes –Back their cost up to parent (may need them later) Properties –Utilises whatever memory is available –Avoids repeated states (as memory allows) –Complete (if enough memory to store path) –Optimal (or optimal in memory limit) –Optimally efficient (with memory caveats)

Simple memory-bounded A*

Class exercise Use the state space given in the example Execute the SMA* algorithm over this state space Be sure that you understand the algorithm!

Simple memory-bounded A*

Trading optimality for speed… The admissibility condition guarantees that an optimal path is found In path planning a near-optimal path can be satisfactory Try to minimise search instead of minimising cost: –i.e. find a near-optimal path (quickly)

Weighting… f w (n) = (1 - w).g(n) + w.h(n) –w = 0.0 (breadth-first) –w = 0.5 (A*) –w = 1.0 (best-first, with f = h) trading optimality for speed weight towards h when confident in the estimate of h