CPSC 322, Lecture 10Slide 1 Finish Search Computer Science cpsc322, Lecture 10 (Textbook Chpt 3.6) January, 28, 2008.

Slides:



Advertisements
Similar presentations
CPSC 322, Lecture 14Slide 1 Local Search Computer Science cpsc322, Lecture 14 (Textbook Chpt 4.8) Oct, 5, 2012.
Advertisements

CPSC 322, Lecture 3Slide 1 AI Applications Computer Science cpsc322, Lecture 3 January, 8, 2010.
CPSC 322, Lecture 4Slide 1 Search: Intro Computer Science cpsc322, Lecture 4 (Textbook Chpt ) Sept, 11, 2013.
CPSC 322, Lecture 5Slide 1 Uninformed Search Computer Science cpsc322, Lecture 5 (Textbook Chpt 3.4) January, 14, 2009.
Uninformed Search Jim Little UBC CS 322 – Search 2 September 12, 2014
Slide 1 Planning: Representation and Forward Search Jim Little UBC CS 322 October 10, 2014 Textbook §8.1 (Skip )- 8.2)
CPSC 322, Lecture 2Slide 1 Representational Dimensions Computer Science cpsc322, Lecture 2 (Textbook Chpt1) Sept, 6, 2013.
Slide 1 Finish Search Jim Little UBC CS 322 – Search 7 September 24, 2014 Textbook §3.6.
Slide 1 Heuristic Search: BestFS and A * Jim Little UBC CS 322 – Search 5 September 19, 2014 Textbook § 3.6.
CPSC 322, Lecture 16Slide 1 Stochastic Local Search Variants Computer Science cpsc322, Lecture 16 (Textbook Chpt 4.8) February, 9, 2009.
CPSC 322, Lecture 9Slide 1 Search: Advanced Topics Computer Science cpsc322, Lecture 9 (Textbook Chpt 3.6) January, 23, 2009.
CPSC 322, Lecture 23Slide 1 Logic: TD as search, Datalog (variables) Computer Science cpsc322, Lecture 23 (Textbook Chpt 5.2 & some basic concepts from.
CPSC 322, Lecture 4Slide 1 Search: Intro Computer Science cpsc322, Lecture 4 (Textbook Chpt ) January, 12, 2009.
CPSC 322, Lecture 14Slide 1 Local Search Computer Science cpsc322, Lecture 14 (Textbook Chpt 4.8) February, 3, 2010.
CPSC 322, Lecture 18Slide 1 Planning: Heuristics and CSP Planning Computer Science cpsc322, Lecture 18 (Textbook Chpt 8) February, 12, 2010.
CPSC 322, Lecture 10Slide 1 Finish Search Computer Science cpsc322, Lecture 10 (Textbook Chpt 3.6) January, 25, 2010.
Search: Representation and General Search Procedure CPSC 322 – Search 1 January 12, 2011 Textbook § 3.0 –
CPSC 322, Lecture 9Slide 1 Search: Advanced Topics Computer Science cpsc322, Lecture 9 (Textbook Chpt 3.6) January, 22, 2010.
CPSC 322, Lecture 30Slide 1 Reasoning Under Uncertainty: Variable elimination Computer Science cpsc322, Lecture 30 (Textbook Chpt 6.4) March, 23, 2009.
CPSC 322, Lecture 3Slide 1 AI Applications Computer Science cpsc322, Lecture 3 January, 9, 2009.
CPSC 322, Lecture 11Slide 1 Constraint Satisfaction Problems (CSPs) Introduction Computer Science cpsc322, Lecture 11 (Textbook Chpt 4.0 – 4.2) January,
CPSC 322, Lecture 23Slide 1 Logic: TD as search, Datalog (variables) Computer Science cpsc322, Lecture 23 (Textbook Chpt 5.2 & some basic concepts from.
CPSC 322, Lecture 12Slide 1 CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12 (Textbook Chpt ) January, 29, 2010.
CPSC 322, Lecture 14Slide 1 Local Search Computer Science cpsc322, Lecture 14 (Textbook Chpt 4.8) February, 4, 2009.
CPSC 322, Lecture 17Slide 1 Planning: Representation and Forward Search Computer Science cpsc322, Lecture 17 (Textbook Chpt 8.1 (Skip )- 8.2) February,
CPSC 322, Lecture 17Slide 1 Planning: Representation and Forward Search Computer Science cpsc322, Lecture 17 (Textbook Chpt 8.1 (Skip )- 8.2) February,
CPSC 322, Lecture 8Slide 1 Heuristic Search: BestFS and A * Computer Science cpsc322, Lecture 8 (Textbook Chpt 3.5) January, 21, 2009.
CPSC 322, Lecture 22Slide 1 Logic: Domain Modeling /Proofs + Top-Down Proofs Computer Science cpsc322, Lecture 22 (Textbook Chpt 5.2) March, 8, 2010.
Uninformed Search (cont.)
CPSC 322, Lecture 35Slide 1 Value of Information and Control Computer Science cpsc322, Lecture 35 (Textbook Chpt 9.4) April, 14, 2010.
Multiple Path Pruning, Iterative Deepening CPSC 322 – Search 7 Textbook § January 26, 2011.
CPSC 322, Lecture 8Slide 1 Heuristic Search: BestFS and A * Computer Science cpsc322, Lecture 8 (Textbook Chpt 3.6) Sept, 23, 2013.
Computer Science CPSC 322 Lecture 3 AI Applications 1.
Slide 1 Constraint Satisfaction Problems (CSPs) Introduction Jim Little UBC CS 322 – CSP 1 September 27, 2014 Textbook §
Computer Science CPSC 322 Lecture 4 Search: Intro (textbook Ch: ) 1.
CPSC 322, Lecture 22Slide 1 Logic: Domain Modeling /Proofs + Top-Down Proofs Computer Science cpsc322, Lecture 22 (Textbook Chpt 5.2) Oct, 26, 2010.
Computer Science CPSC 322 Lecture Heuristic Search (Ch: 3.6, 3.6.1) Slide 1.
Computer Science CPSC 322 Lecture A* and Search Refinements (Ch 3.6.1, 3.7.1, 3.7.2) Slide 1.
Lecture 2 Search (textbook Ch: 3)
Branch & Bound, CSP: Intro CPSC 322 – CSP 1 Textbook § & January 28, 2011.
Computer Science CPSC 322 Lecture 9 (Ch , 3.7.6) Slide 1.
Lecture 3: Uninformed Search
Computer Science CPSC 322 Lecture 6 Iterative Deepening and Search with Costs (Ch: 3.7.3, 3.5.3)
CPSC 322, Lecture 8Slide 1 Heuristic Search: BestFS and A * Computer Science cpsc322, Lecture 8 (Textbook Chpt 3.6) Sept, 21, 2010.
Arc Consistency CPSC 322 – CSP 3 Textbook § 4.5 February 2, 2011.
CPSC 322, Lecture 6Slide 1 Uniformed Search (cont.) Computer Science cpsc322, Lecture 6 (Textbook finish 3.5) Sept, 17, 2012.
CPSC 322, Lecture 4Slide 1 Search: Intro Computer Science cpsc322, Lecture 4 (Textbook Chpt ) Sept, 12, 2012.
CPSC 322, Lecture 2Slide 1 Representational Dimensions Computer Science cpsc322, Lecture 2 (Textbook Chpt1) Sept, 7, 2012.
CPSC 322, Lecture 16Slide 1 Stochastic Local Search Variants Computer Science cpsc322, Lecture 16 (Textbook Chpt 4.8) Oct, 11, 2013.
Domain Splitting, Local Search CPSC 322 – CSP 4 Textbook §4.6, §4.8 February 4, 2011.
CPSC 322, Lecture 5Slide 1 Uninformed Search Computer Science cpsc322, Lecture 5 (Textbook Chpt 3.5) Sept, 13, 2013.
CPSC 322, Lecture 10Slide 1 Finish Search Computer Science cpsc322, Lecture 10 (Textbook Chpt 3.6) Sep, 26, 2010.
CPSC 322, Lecture 7Slide 1 Heuristic Search Computer Science cpsc322, Lecture 7 (Textbook Chpt 3.6) Sept, 20, 2013.
Computer Science CPSC 322 Lecture 7 Search Wrap Up, Intro to Constraint Satisfaction Problems 1.
Constraint Satisfaction Problems (CSPs) Introduction
Uniformed Search (cont.) Computer Science cpsc322, Lecture 6
Computer Science cpsc322, Lecture 4
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
Planning: Representation and Forward Search
Search: Advanced Topics Computer Science cpsc322, Lecture 9
Uniformed Search (cont.) Computer Science cpsc322, Lecture 6
Planning: Heuristics and CSP Planning
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
Planning: Representation and Forward Search
Computer Science cpsc322, Lecture 10
Search: Advanced Topics Computer Science cpsc322, Lecture 9
Iterative Deepening CPSC 322 – Search 6 Textbook § 3.7.3
Domain Splitting CPSC 322 – CSP 4 Textbook §4.6 February 4, 2011.
Planning: Representation and Forward Search
Presentation transcript:

CPSC 322, Lecture 10Slide 1 Finish Search Computer Science cpsc322, Lecture 10 (Textbook Chpt 3.6) January, 28, 2008

Announcements Another practice exercise has been posted. These exercises can really help you with the assignment. Please do check them out! New textbook pdf should be online. With parts you need to read clearly marked Branch and Bound on Aispace is buggy  CPSC 322, Lecture 10Slide 2

CPSC 322, Lecture 10Slide 3 Lecture Overview Optimal Efficiency Example Pruning Cycles and Repeated states Examples Dynamic Programming 8-puzzle Applet Search Recap

Optimal Efficiency Example CPSC 322, Lecture 10Slide 4

CPSC 322, Lecture 10Slide 5 Lecture Overview Optimal Efficiency Example Pruning Cycles and Repeated states Examples Dynamic Programming 8-puzzle Applet Search Recap

Pruning Cycles CPSC 322, Lecture 10Slide 6 Repeated States

CPSC 322, Lecture 10Slide 7 Lecture Overview Optimal Efficiency Example Pruning Cycles and Repeated states Examples Dynamic Programming 8-puzzle Applet Search Recap

CPSC 322, Lecture 9Slide 8 Idea: for statically stored graphs, build a table of dist(n) the actual distance of the shortest path from node n to a goal. This is the perfect…….. This can be built backwards from the goal: Dynamic Programming a b c g gbcagbca 2 d 1 2

CPSC 322, Lecture 9Slide 9 But there are at least two main problems: You need enough space to store the graph. The dist function needs to be recomputed for each goal Dynamic Programming This can be used locally to determine what to do. From each node n go to its neighbor which minimizes a b c g d

CPSC 322, Lecture 10Slide 10 Lecture Overview Optimal Efficiency Example Pruning Cycles and Repeated states Examples Dynamic Programming 8-puzzle Applet Search Recap

CPSC 322, Lecture 8Slide 11 The AI-Search animation system To examine Search strategies when they are applied to the 8puzzle Compare only DFS, BFS and A* (with only the two heuristics we saw in class ) DFS, BFS, A * Animation Example With default start state and goal DFS will find Solution at depth 32 BFS will find Optimal solution depth 6 A* will also find opt. sol. expanding much less nodes

CPSC 322, Lecture 9Slide 12 nPuzzles are not always solvable Half of the starting positions for the n-puzzle are impossible to resolve (for more info on 8puzzle) So experiment with the AI-Search animation system with the default configurations. If you want to try new ones keep in mind that you may pick unsolvable problems

CPSC 322, Lecture 10Slide 13 Lecture Overview Optimal Efficiency Example Pruning Cycles and Repeated states Examples Dynamic Programming 8-puzzle Applet Search Recap

CPSC 322, Lecture 10Slide 14 Recap Search SelectionCompleteOptimalTimeSpace DFS LIFO NNO(b m )O(mb) BFS FIFO YYO(b m ) IDS(C) LIFO YYO(b m )O(mb) LCFS min cost YYO(b m ) BFS min h NNO(b m ) A* min f YYO(b m ) B&B LIFO + pruning NYO(b m )O(mb) IDA* LIFO YYO(b m )O(mb) MBA* min f NNO(b m )

CPSC 322, Lecture 10Slide 15 Recap Search (some qualifications) CompleteOptimalTimeSpace DFSNNO(b m )O(mb) BFSYYO(b m ) IDS(C)YYO(b m )O(mb) LCFSYY ?O(b m ) BFSNNO(b m ) A*YY ?O(b m ) B&BNY ?O(b m )O(mb) IDA*YYO(b m )O(mb) MBA*NNO(b m )

CPSC 322, Lecture 10Slide 16 Search in Practice CompleteOptimalTimeSpace DFSNNO(b m )O(mb) BFSYYO(b m ) IDS(C)YYO(b m )O(mb) LCFSYYO(b m ) BFSNNO(b m ) A*YYO(b m ) B&BNYO(b m )O(mb) IDA*YYO(b m )O(mb) MBA*NNO(b m ) BDSYYO(b m/2 )

CPSC 322, Lecture 10Slide 17 Search in Practice (cont’) Many paths to solution, no ∞ paths? Informed? Large branching factor?

CPSC 322, Lecture 10Slide 18 (Adversarial) Search: Chess Deep Blue’s Results in the second tournament: second tournament: won 3 games, lost 2, tied 1 30 CPUs chess processors Searched nodes per sec Generated 30 billion positions per move reaching depth 14 routinely Iterative Deepening with evaluation function (similar to a heuristic) based on 8000 features (e.g., sum of worth of pieces: pawn 1, rook 5, queen 10)

CPSC 322, Lecture 2Slide 19 Modules we'll cover in this course: R&Rsys Environment Problem Inference Planning Deterministic Stochastic Search Arc Consistency Search Value Iteration Var. Elimination Constraint Satisfaction Logics STRIPS Belief Nets Vars + Constraints Decision Nets Markov Processes Var. Elimination Static Sequential Representation Reasoning Technique

CPSC 322, Lecture 3Slide 20 CSPs: Crossword Puzzles Source: Michael Littman

CPSC 322, Lecture 3Slide 21 CSPs: Radio link frequency assignment Source: INRIA Assigning frequencies to a set of radio links defined between pairs of sites in order to avoid interferences. Constraints on frequency depend on position of the links and on physical environment. Sample Constraint network

CPSC 322, Lecture 10Slide 22 Planning & Scheduling: Logistics Dynamic Analysis and Replanning Tool (Cross & Walker) logistics planning and scheduling for military transport used in the 1991 Gulf War by the US problems had 50,000 entities (e.g., vehicles); different starting points and destinations Source: DARPA Same techniques can be use for non-military applications: e.g., Emergency Evacuation

CPSC 322, Lecture 10Slide 23 Next class Start Constraint Satisfaction Problems (CSPs) Textbook