Extending Heuris.c Search
|
|
- Madison York
- 6 years ago
- Views:
Transcription
1 Extending Heuris.c Search Talk at Hebrew University, Cri.cal MAS group Roni Stern Department of Informa.on System Engineering, Ben Gurion University, Israel 1
2 Heuris.c search 2
3 Outline Combining lookahead with op.mal BFS AAAI Searching for bounded cost solu.ons SoCs Merging PAC learning and heuris.c search? 3
4 Roni Stern, Informa.on Systems Engineering, Ben Gurion University Tamar Kulberis, Informa.on Systems Engineering, Ben Gurion University Ariel Felner, Informa.on Systems Engineering, Ben Gurion University and Deutsche Telekom Laboratories Robert C. Holte, Compu.ng Science Department,University of Alberta 4
5 Searching for the op.mal path S G S G 5
6 Searching for the op.mal path S G 6
7 BFS finds the op.mal path Assump.on: unit edge cost, no heuris0c D B 1 E A H I J K L M N F C G O While Queue not empty node pop Queue If goal - halt For each child If not duplicate Add child to Queue Generated Goal 7
8 Breadth- first with lookahead Lookahead depth: k = 2 H D I B J 1 E K A L F M C N G O While Queue not empty node pop Queue If goal - halt For each child If not duplicate Run Add Lookahead(k) child to Queue Add child to Queue Generated Goal Lookahead 8
9 Breadth- first with lookahead Lookahead depth: k = 2 Searched twice H D I J E K A 2 While Queue not empty B C node pop Queue L F M N G O Not inserted to queue Only DFS Time- per- node For each child If not duplicate Run Lookahead(k) If goal - halt Add child to Queue Generated Goal Lookahead 9
10 What have we gained? d = Op.mal goal depth k = Lookahead depth b = Branching factor b e = Effec.ve branching factor BFS BFS+Lookahead Itera.ve D. Memory O(b ed ) O(b d- k e ) O(bd) Visited O(b ed ) O(b d- k e b k ) O(b d ) Time??? 10
11 Empirical evalua.on Memory Expanded LH- Visited Time Lookahead of 0 = Simple BFS Lookahead of 18 = Almost limited DFS 11
12 What if we have a heuris.c? 12
13 A* with lookahead If an admissible heuris0c h exists If a goal is found in lookahead Can t halt Can prune Op.mality not verified Found an upper bound Improve the heuris.c Use minimum value found in the lookahead While Openlist not empty node pop Openlist If goal - halt For each child If not duplicate Add Run child Lookahead(f(node)+k) to Openlist Else If stored f(child)<f (child) Update child in Openlist Run Lookahead(f(node)+k) 13
14 Example Threshold = 10+2, edge cost = 2 UB updated to 12 Update f(b) with min. of children Over UB - Prune B 1 10 C A D 12 Over UB - Prune E 12 F 10 G 12 H I 16 J 10 K 12 L 14 M Generated Goal Lookahead 14
15 Inconsistent heuris.cs Inconsistency: h(a)- h(b) >c(a,b) Bidirec.onal Pathmax (BPMX) [IJCAI 05, Felner et. al.] BPMX Propagate inconsistent values How to propagate? Natural in IDA* Difficult in A* D B A 8 5 C h=10 h= E 6 F 7 5 G 15
16 Example: AL* with BPMX Lookahead = 3 Threshold = 10+3 Final f values f(b)=15 f(c)=13 11 B A C 12 D f(d)= Generated Goal Lookahead BPMX
17 Experimental results 9 0mes faster than A* With 13 0mes less memory Memory Expanded LH- Visited Time 2.5 0mes faster than IDA* 2 0mes faster than A* With 13 0mes less memory TopSpin Memory Expanded LH- Visited Time 4 0mes faster than IDA* 17
18 Conclusion: Op.mal Search Using lookahead is simple and effec0ve Just use it! 18
19 Challenges Choosing the best lookahead depth Dynamic lookahead More domains 19
20 Roni Stern, Rami Puzis, Ariel Felner, Informa.on Systems Engineering, Ben Gurion University Informa.on Systems Engineering, Ben Gurion University and Deutsche Telekom Laboratories Informa.on Systems Engineering, Ben Gurion University and Deutsche Telekom Laboratories
21 Expanding the horizon of Best- First Search Tradi.onal BFS algorithms search for Op.mal solu.ons [A*, IDA*, RBFS] Solu.ons that are almost op.mal (w- admissible) [wa*, wida*, Op.mis.c Search] New goal: Solu0ons with a bounded cost
22 Finding a good enough solu.on Classic search sejng in AI: Start node, goal func.on, operators Heuris.c es.mate of distance to goal Task: Find a path to a goal with cost less than X Mo.va.on Limited budget: Find a solu.on for a given budget Find a befer solu0on than current best Current best = UB, Required cost= UB- ε
23 Can be solved with Op.mal BFS A*, IDA* [AIJ 85, Korf], RBFS [AIJ 93, Korf] Any.me variants of subop.mal BFS Any.me Weighted A* [JAIR 07, Hansen & Zhou],wIDA*[AIJ 85, Korf] How to search toward a goal with cost less than X? Op.mis.c Search [ICAPS 08, Thayer & Ruml] Local Search But Hill climbing, Simulated Annealing, GA, DFBnB All of these approaches ignore X during the search!
24 Who to expand? Desired goal cost (X) = 150 S Goal cost Probability % % A B Goal cost Probability % % G G G G Which subtree has the highest poten0al?
25 Where is the op0mal path to G Where is a goal with cost < X
26 Defini.on: Poten.al of a node Poten.al=probability of finding G with cost < X S Poten.al(n) = Pr(g(n)+h*(n)<X) Distance from S to n Poten(al Search is a BFS that Expands the node with the highest poten1al A B Distance from n to closest goal G
27 27
28 Approach A: Machine Learning Learning h* Solve 1,000 instances op.mally Extract domain specific features from the node Use ML techniques to Learn the h* value given the extracted features Es.mate the generaliza.on error Poten.al(n) = Pr(g(n)+h*(n)<X features of n) Advantages: No need for admissibility Can use any feature - exploit domain knowledge
29 Approach B: Heuris.c error models g(a)=10 A S g(b)=100 h(a)=90 B h(b)=3 X=120 What is Which the rela.on has the between higher h(n) poten0al and h*(n)?? Common intui.on Es.mates are more accurate closer to a goal Long range es.mates may be very misleading Poten.al(n) = Pr(g(n)+h*(n)<X h(n))
30 Addi.ve heuris.c error h errors by a random constant h*(n)=h(n)+α [an i.i.d random variable]. h=3 h=10 h=17 error error error Theorem: A* is PTS for any distribu1on of α
31 Rela.ve linear error H errors by a random factor h*(n)= α h(n) h=3 error h=10 error h=17. Poten.al cost func.on: error Theorem: BFS with cost func1on p lr is PTS Lower bound of h* Upper bound to relevant h*
32 Empirical example Real distance to goal (h*) KPP- COM y = x Real distance to goal (h*) Tile Puzzle y = x Heuris0c func0on (h) Heuris0c func0on (h)
33 General error model Given A heuris.c error func.on h* = e(h,α) The inverse func.on e r (h*,h)=α Let p g (n) =e r (X- g(n),h(n)) Then a BFS with u.l. func.on p g is equal to PTS Error model e(h, α) e r (h, α) p g Addi.ve h*=h+α α=h*- h X- g- h g+h [A*] Rela.ve linear h*=h α α=h*/h (X- g)/h h/(x- g) [p lr ] Exponen.al h*=h α α=log h h* Log h (X- g) General h*=e(h,α) α=e r (h*,h) E r (X- g,h)
34 PTS as a greedy any.me search Key idea: Find a bezer solu.on than current If UB is the current best solu.on Any.me PTS: Run PTS with X to be UB- ε KPP- COM (800 nodes, group size 20) 15 Tile Puzzle
35 Conclusion A new type of search problems Search for a solu(on with bounded cost PTS: Expand nodes with high poten.al Poten.al to lead to a solu.on of the desired cost Explore the error of the heuris(c func.on Use error model to implement PTS Without explicitly calcula.ng the poten.al
36 Future work Challenge: Incorpora.ng distance es.ma.on Desired goal cost (X) = 150 Goal cost Probability % % S A B Goal cost Probability % % Goal cost Pr. d(a,g) % % 140 G G G G Goal cost Pr. d(a,g) % % 110 Which subtree has the highest expected search effort?
37 Ques.ons? 37
38 Roni Stern, Ariel Felner, Informa.on Systems Engineering, Ben Gurion University Informa.on Systems Engineering, Ben Gurion University and Deutsche Telekom Laboratories
39 Quality assurance Find a solu.on with (sub)op0mal cost (ε- admissible) PAC Learning Heuris0c Search PAC Heuris0c Search Learn a hypothesis that has with high probability (1- δ) a low generaliza0on error (ε) Find a solu.on that with high probability (1- δ) is ε- admissible
40 Finding a good enough solu.on Classic search sejng in AI: Start node, goal func.on, operators Heuris.c es.mate of distance to goal In PAC search we search for a path that is with high probability (1- δ) almost op0mal (ε) Mo.va.on Verifying a solu.on is op0mal is hard (A* op.mally effec.ve)
41 PAC heuris.c search Given: ε, the desired subop.mality bound We want a solu1on that is no more than 1+ε 1mes the op1mum δ, the desired confidence level The solu1on must be ε- admissible with probability 1- δ Any any.me search algorithm will do (e.g. AWA*) PAC-Search: 1. do 1. GoalCost Search for a low cost goal 2. Until GoalCost/OptimalCost<ε with probability 1- δ How to iden.fy a PAC solu.on?
42 Finding a PAC solu.on A goal cost is PAC if Need to know Pr(X<h*(n))
43 Es.ma.ng Pr(h*(n)>X) Several ideas 1) Gather sta.s.cs and generate a PDF for - h to h* rela.on - States abstracted to the same pazern 2) Accuracy advisors - Use different features for accuracy
44 Iden.fy PAC condi.ons a- priori Halt when S Ini.al state Advantages Simple No overhead Disadvantages Search space Does not improve throughout the search GC=100
45 Path length and error es.ma.on Ernandes et. al. 04 h inadmissible Given Pr(h ) [Probability that h underes1mates h*] Search with A* Halt if Pr(h ) 5 <δ Straigh~orward extension Assumes ε=0 Search with Weighted A* (w=1+ε) Disadvantages Searching wider does not improve accuracy Pr(h ) is constant to all the states S GC=100 GC=100 Search space
46 Knowledge propaga.on Halt when S Can be done efficiently On expand of n decrease On generate increase GC=100 GC=100 Search space
47 Searching for a PAC goal Expanding a node n has 2 effects A bezer goal may be found, reducing GC Sum of probabili.es is changed Decreases by Increases by Best- first search with value of informa.on
48 Conclusion Finding 100% op.mal solu.on is hard Adop.ng the PAC framework for search allows more realis.c no.on of good enough goals Less effort on verifying op0mality/subop0mality Allows using inadmissible heuris0cs Only requires probabilis.c knowledge of heuris.c Use ML techniques to es.mate distance to goal 48
49 Ques.ons?
Using Lookaheads with Optimal Best-First Search
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10) Using Lookaheads with Optimal Best-First Search Roni Stern Tamar Kulberis Ariel Felner Information Systems Engineering
More informationPuzzle Solving (single-agent search) Robert Holte Compu.ng Science Department University of Alberta
Puzzle Solving (single-agent search) Robert Holte Compu.ng Science Department University of Alberta 1 Puzzle = 1-player game Examples: Rubik s Cube Sliding-.le puzzle In this talk puzzles have determinis.c
More informationNew Settings in Heuristic Search. Roni Stern
New Settings in Heuristic Search Roni Stern September 23, 2011 This work was carried out under the supervision of Dr. Ariel Felner and Dr. Meir Kalech at the Department of Information Systems Engineering,
More informationBounded Suboptimal Heuristic Search in Linear Space
Proceedings of the Sixth International Symposium on Combinatorial Search Bounded Suboptimal Heuristic Search in Linear Space Matthew Hatem Department of Computer Science University of New Hampshire Durham,
More informationInconsistent Heuristics
Uzi Zahavi Computer Science Bar-Ilan University Ramat-Gan, Israel 925 zahaviu@cs.biu.ac.il Inconsistent Heuristics Ariel Felner Jonathan Schaeffer and Nathan Sturtevant Information Systems Engineering
More informationBIL 682 Ar+ficial Intelligence Week #2: Solving problems by searching. Asst. Prof. Aykut Erdem Dept. of Computer Engineering HaceDepe University
BIL 682 Ar+ficial Intelligence Week #2: Solving problems by searching Asst. Prof. Aykut Erdem Dept. of Computer Engineering HaceDepe University Today Search problems Uninformed search Informed (heuris+c)
More informationPotential-Based Bounded-Cost Search and Anytime Non-Parametric A
Potential-Based Bounded-Cost Search and Anytime Non-Parametric A Roni Stern a, Ariel Felner a, Jur van den Berg b, Rami Puzis a, Rajat Shah c, Ken Goldberg c a Information Systems Engineering, Ben Gurion
More informationState- space search algorithm
Graph Search These are slides I usually use for teaching AI, but they offer another perspec;ve on BFS, DFS, and Dijkstra s algorithm. Ignore men;ons of a problem and simply consider that the search starts
More informationHeuristic (Informed) Search
Heuristic (Informed) Search (Where we try to choose smartly) R&N: Chap., Sect..1 3 1 Search Algorithm #2 SEARCH#2 1. INSERT(initial-node,Open-List) 2. Repeat: a. If empty(open-list) then return failure
More informationSet 3: Informed Heuris2c Search. ICS 271 Fall 2012
Set 3: Informed Heuris2c Search ICS 271 Fall 2012 Overview Heuris2cs and Op2mal search strategies heuris2cs hill- climbing algorithms Best- First search A*: op2mal search using heuris2cs Proper2es of A*
More informationCSCI 360 Introduc/on to Ar/ficial Intelligence Week 2: Problem Solving and Op/miza/on. Instructor: Wei-Min Shen
CSCI 360 Introduc/on to Ar/ficial Intelligence Week 2: Problem Solving and Op/miza/on Instructor: Wei-Min Shen Status Check and Review Status check Have you registered in Piazza? Have you run the Project-1?
More informationPosition Paper: The Collapse Macro in Best-first Search Algorithms and an Iterative Variant of RBFS
Position Paper: The Collapse Macro in Best-first Search Algorithms and an Iterative Variant of RBFS Ariel Felner Information Systems Engineering Ben-Gurion University Be er-sheva, Israel 85104 felner@bgu.ac.il
More informationINTRODUCTION TO HEURISTIC SEARCH
INTRODUCTION TO HEURISTIC SEARCH What is heuristic search? Given a problem in which we must make a series of decisions, determine the sequence of decisions which provably optimizes some criterion. What
More informationHeuris'c Search. Reading note: Chapter 4 covers heuristic search.
Heuris'c Search Reading note: Chapter 4 covers heuristic search. Credits: Slides in this deck are drawn from or inspired by a multitude of sources including: Shaul Markovitch Jurgen Strum Sheila McIlraith
More informationDecision making for autonomous naviga2on. Anoop Aroor Advisor: Susan Epstein CUNY Graduate Center, Computer science
Decision making for autonomous naviga2on Anoop Aroor Advisor: Susan Epstein CUNY Graduate Center, Computer science Overview Naviga2on and Mobile robots Decision- making techniques for naviga2on Building
More informationSta$c Single Assignment (SSA) Form
Sta$c Single Assignment (SSA) Form SSA form Sta$c single assignment form Intermediate representa$on of program in which every use of a variable is reached by exactly one defini$on Most programs do not
More informationDFS. Depth-limited Search
DFS Completeness? No, fails in infinite depth spaces or spaces with loops Yes, assuming state space finite. Time complexity? O(b m ), terrible if m is much bigger than d. can do well if lots of goals Space
More informationBounded Suboptimal Search in Linear Space: New Results
Proceedings of the Seventh Annual Symposium on Combinatorial Search (SoCS 2014) Bounded Suboptimal Search in Linear Space: New Results Matthew Hatem and Wheeler Ruml Department of Computer Science University
More informationUninformed search strategies
Uninformed search strategies A search strategy is defined by picking the order of node expansion Uninformed search strategies use only the informa:on available in the problem defini:on Breadth- first search
More informationCompressed Pattern Databases
Journal of Artificial Intelligence Research 30 (2007) 213-247 Submitted 12/06; published 10/07 Compressed Pattern Databases Ariel Felner Department of Information Systems Engineering, Ben-Gurion University
More informationCSE 473. Chapter 4 Informed Search. CSE AI Faculty. Last Time. Blind Search BFS UC-BFS DFS DLS Iterative Deepening Bidirectional Search
CSE 473 Chapter 4 Informed Search CSE AI Faculty Blind Search BFS UC-BFS DFS DLS Iterative Deepening Bidirectional Search Last Time 2 1 Repeated States Failure to detect repeated states can turn a linear
More informationArtificial Intelligence
Artificial Intelligence Informed Search and Exploration Chapter 4 (4.1 4.2) A General Search algorithm: Chapter 3: Search Strategies Task : Find a sequence of actions leading from the initial state to
More informationAr#ficial Intelligence
Ar#ficial Intelligence Advanced Searching Prof Alexiei Dingli Gene#c Algorithms Charles Darwin Genetic Algorithms are good at taking large, potentially huge search spaces and navigating them, looking for
More informationRegister Alloca.on Deconstructed. David Ryan Koes Seth Copen Goldstein
Register Alloca.on Deconstructed David Ryan Koes Seth Copen Goldstein 12th Interna+onal Workshop on So3ware and Compilers for Embedded Systems April 24, 12009 Register Alloca:on Problem unbounded number
More informationPartial-expansion A* with Selective Node Generation
Partial-expansion A* with Selective Node Generation Ariel Felner Nathan Sturtevant Meir Goldenberg CS Department Guni Sharon University of Denver (USA) Roni Stern, Tal Beja Sturtevant@cs.du.edu ISE Department
More informationRecent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of Hanoi Problem
Recent Progress in Heuristic Search: A Case Study of the Four-Peg Towers of Hanoi Problem Richard E. Korf Computer Science Department University of California, Los Angeles Los Angeles, CA 90095 korf@cs.ucla.edu
More informationOutline. Where Do Heuristics Come From? Part 3. Question. Max ing Multiple Heuristics
Outline Where Do Heuristics Come From? Part Robert C. Holte Computing Science Department University of Alberta 00, Robert Holte Heuristics/Holte Part, Slide Part : Introduction Part : Details Part : Pattern
More informationA Survey of Suboptimal Search Algorithms
A Survey of Search Algorithms Jordan T. Thayer and Wheeler Ruml jtd7, ruml at cs.unh.edu slides at: http://www.cs.unh.edu/ jtd7/papers/ Jordan Thayer and Wheeler Ruml (UNH) Search 1 / 28 This is Search
More informationInformed search algorithms. Chapter 3 (Based on Slides by Stuart Russell, Dan Klein, Richard Korf, Subbarao Kambhampati, and UW-AI faculty)
Informed search algorithms Chapter 3 (Based on Slides by Stuart Russell, Dan Klein, Richard Korf, Subbarao Kambhampati, and UW-AI faculty) Intuition, like the rays of the sun, acts only in an inflexibly
More informationInformed search strategies (Section ) Source: Fotolia
Informed search strategies (Section 3.5-3.6) Source: Fotolia Review: Tree search Initialize the frontier using the starting state While the frontier is not empty Choose a frontier node to expand according
More informationEfficient memory-bounded search methods
Efficient memory-bounded search methods Mikhail Simin Arjang Fahim CSCE 580: Artificial Intelligence Fall 2011 Dr. Marco Voltorta Outline of The Presentation Motivations and Objectives Background - BFS
More informationCS 188: Ar)ficial Intelligence
CS 188: Ar)ficial Intelligence Search Instructors: Pieter Abbeel & Anca Dragan University of California, Berkeley [These slides were created by Dan Klein and Pieter Abbeel for CS188 Intro to AI at UC Berkeley
More informationInformed search methods
Informed search methods Tuomas Sandholm Computer Science Department Carnegie Mellon University Read Section 3.5-3.7 of Russell and Norvig Informed Search Methods Heuristic = to find, to discover Heuristic
More informationPartial Pattern Databases
Partial Pattern Databases Kenneth Anderson, Robert Holte, and Jonathan Schaeffer University of Alberta, Computing Science Department, Edmonton, Alberta, T6G 2E8, Canada {anderson, holte, jonathan}@cs.ualberta.ca
More informationCSE 473: Ar+ficial Intelligence
CSE 473: Ar+ficial Intelligence Search Instructor: Luke Ze=lemoyer University of Washington [These slides were adapted from Dan Klein and Pieter Abbeel for CS188 Intro to AI at UC Berkeley. All CS188 materials
More informationEnhanced Partial Expansion A*
Journal of Artificial Intelligence Research 50 (2014) 141-187 Submitted 9/13; published 5/14 Enhanced Partial Expansion A* Meir Goldenberg Ariel Felner Roni Stern Guni Sharon Ben-Gurion University of the
More informationInformed search. Soleymani. CE417: Introduction to Artificial Intelligence Sharif University of Technology Spring 2016
Informed search CE417: Introduction to Artificial Intelligence Sharif University of Technology Spring 2016 Soleymani Artificial Intelligence: A Modern Approach, Chapter 3 Outline Best-first search Greedy
More informationCSCI 599 Class Presenta/on. Zach Levine. Markov Chain Monte Carlo (MCMC) HMM Parameter Es/mates
CSCI 599 Class Presenta/on Zach Levine Markov Chain Monte Carlo (MCMC) HMM Parameter Es/mates April 26 th, 2012 Topics Covered in this Presenta2on A (Brief) Review of HMMs HMM Parameter Learning Expecta2on-
More informationToday s s lecture. Lecture 3: Search - 2. Problem Solving by Search. Agent vs. Conventional AI View. Victor R. Lesser. CMPSCI 683 Fall 2004
Today s s lecture Search and Agents Material at the end of last lecture Lecture 3: Search - 2 Victor R. Lesser CMPSCI 683 Fall 2004 Continuation of Simple Search The use of background knowledge to accelerate
More informationProblem Solving & Heuristic Search
190.08 Artificial 2016-Spring Problem Solving & Heuristic Search Byoung-Tak Zhang School of Computer Science and Engineering Seoul National University 190.08 Artificial (2016-Spring) http://www.cs.duke.edu/courses/fall08/cps270/
More informationLecture 2: Fun with Search. Rachel Greenstadt CS 510, October 5, 2017
Lecture 2: Fun with Search Rachel Greenstadt CS 510, October 5, 2017 Reminder! Project pre-proposals due tonight Overview Uninformed search BFS, DFS, Uniform-Cost, Graph-Search Informed search Heuristics,
More informationDIT411/TIN175, Artificial Intelligence. Peter Ljunglöf. 23 January, 2018
DIT411/TIN175, Artificial Intelligence Chapters 3 4: More search algorithms CHAPTERS 3 4: MORE SEARCH ALGORITHMS DIT411/TIN175, Artificial Intelligence Peter Ljunglöf 23 January, 2018 1 TABLE OF CONTENTS
More informationOptimal-Generation Variants of EPEA*
Optimal-Generation Variants of EPEA* Meir Goldenberg, Ariel Felner ISE Department Ben-Gurion University Israel mgoldenbe@gmail.com, felner@bgu.ac.il Nathan Sturtevant CS Department University of Denver
More informationPredicting the Performance of IDA* using Conditional Distributions
Journal of Artificial Intelligence Research 37 (2010) 41-83 Submitted 07/09; published 02/10 Predicting the Performance of IDA* using Conditional Distributions Uzi Zahavi Computer Science Department Bar-Ilan
More informationRecursive Best-First Search with Bounded Overhead
Recursive Best-First Search with Bounded Overhead Matthew Hatem and Scott Kiesel and Wheeler Ruml Department of Computer Science University of New Hampshire Durham, NH 03824 USA mhatem and skiesel and
More informationInformed Search Methods
Informed Search Methods How can we improve searching strategy by using intelligence? Map example: Heuristic: Expand those nodes closest in as the crow flies distance to goal 8-puzzle: Heuristic: Expand
More informationMachine Learning Crash Course: Part I
Machine Learning Crash Course: Part I Ariel Kleiner August 21, 2012 Machine learning exists at the intersec
More informationMinimum Redundancy and Maximum Relevance Feature Selec4on. Hang Xiao
Minimum Redundancy and Maximum Relevance Feature Selec4on Hang Xiao Background Feature a feature is an individual measurable heuris4c property of a phenomenon being observed In character recogni4on: horizontal
More informationMondrian Mul+dimensional K Anonymity
Mondrian Mul+dimensional K Anonymity Kristen Lefevre, David J. DeWi
More informationLearning from Multiple Heuristics
Mehdi Samadi Computing Science University of Alberta Edmonton, Alberta, Canada T6G E8 msamadi@cs.ualberta.ca Learning from Multiple Heuristics Ariel Felner Information Systems Engineering Dept. Deutsche
More informationBounded Suboptimal Search: A Direct Approach Using Inadmissible Estimates
Bounded Suboptimal Search: A Direct Approach Using Inadmissible Estimates Jordan T. Thayer and Wheeler Ruml jtd7, ruml at cs.unh.edu With Thanks To NSF-IIS0812141 and DARPA CSSG N10AP20029 Jordan T. Thayer
More informationCS 380: Artificial Intelligence Lecture #4
CS 380: Artificial Intelligence Lecture #4 William Regli Material Chapter 4 Section 1-3 1 Outline Best-first search Greedy best-first search A * search Heuristics Local search algorithms Hill-climbing
More informationInformed search algorithms
Informed search algorithms This lecture topic Chapter 3.5-3.7 Next lecture topic Chapter 4.1-4.2 (Please read lecture topic material before and after each lecture on that topic) Outline Review limitations
More informationLecture 4: Search 3. Victor R. Lesser. CMPSCI 683 Fall 2010
Lecture 4: Search 3 Victor R. Lesser CMPSCI 683 Fall 2010 First Homework 1 st Programming Assignment 2 separate parts (homeworks) First part due on (9/27) at 5pm Second part due on 10/13 at 5pm Send homework
More informationOutline. Best-first search
Outline Best-first search Greedy best-first search A* search Heuristics Admissible Heuristics Graph Search Consistent Heuristics Local search algorithms Hill-climbing search Beam search Simulated annealing
More informationState Space Representa,on and Search
State Space Representa,on and Search Solving an AI Problem The problem is firstly represented as a state space. The state space is searched to find a solu,on to problem. Each state space takes the form
More informationHeuristic (Informed) Search
Heuristic (Informed) Search (Where we try to choose smartly) R&N: Chap. 4, Sect. 4.1 3 1 Recall that the ordering of FRINGE defines the search strategy Search Algorithm #2 SEARCH#2 1. INSERT(initial-node,FRINGE)
More informationProblem Solving and Search
Artificial Intelligence Problem Solving and Search Dae-Won Kim School of Computer Science & Engineering Chung-Ang University Outline Problem-solving agents Problem types Problem formulation Example problems
More informationLecture 4: Informed/Heuristic Search
Lecture 4: Informed/Heuristic Search Outline Limitations of uninformed search methods Informed (or heuristic) search uses problem-specific heuristics to improve efficiency Best-first A* RBFS SMA* Techniques
More informationInformed Search and Exploration
Ch. 03b p.1/51 Informed Search and Exploration Sections 3.5 and 3.6 Nilufer Onder Department of Computer Science Michigan Technological University Ch. 03b p.2/51 Outline Best-first search A search Heuristics,
More informationRoute planning / Search Movement Group behavior Decision making
Game AI Where is the AI Route planning / Search Movement Group behavior Decision making General Search Algorithm Design Keep a pair of set of states: One, the set of states to explore, called the open
More informationTopic 1 Uninformed Search
Topic 1 Uninformed Search [George F Luger. 2008. Artificial Intelligence Structures and Strategies for Complex Problem Solving. 6 th Ed. Pearson. ISBN: 0321545893.] 1 Contents 1. Depth-First Search (DFS)
More informationLast time: Problem-Solving
Last time: Problem-Solving Problem solving: Goal formulation Problem formulation (states, operators) Search for solution Problem formulation: Initial state??? 1 Last time: Problem-Solving Problem types:
More informationSearch. CS 3793/5233 Artificial Intelligence Search 1
CS 3793/5233 Artificial Intelligence 1 Basics Basics State-Space Problem Directed Graphs Generic Algorithm Examples Uninformed is finding a sequence of actions that achieve a goal from an initial state.
More informationSearch Engines. Informa1on Retrieval in Prac1ce. Annota1ons by Michael L. Nelson
Search Engines Informa1on Retrieval in Prac1ce Annota1ons by Michael L. Nelson All slides Addison Wesley, 2008 Evalua1on Evalua1on is key to building effec$ve and efficient search engines measurement usually
More informationA Security Punctua.on Framework for Enforcing Access Control on Streaming Data. Rimma V. Nehme, Elke A. Rundensteinerr, Elisa Ber.
A Security Punctua.on Framework for Enforcing Access Control on Streaming Data Rimma V. Nehme, Elke A. Rundensteinerr, Elisa Ber.no Presented by Thao Pham Mo.va.on Mobile devices make available personal
More informationUsing Classical Planners for Tasks with Con5nuous Ac5ons in Robo5cs
Using Classical Planners for Tasks with Con5nuous Ac5ons in Robo5cs Stuart Russell Joint work with Siddharth Srivastava, Lorenzo Riano, Pieter Abbeel Using Classical Planners for Tasks with Con5nuous Ac5ons
More informationSearch Engines. Informa1on Retrieval in Prac1ce. Annotations by Michael L. Nelson
Search Engines Informa1on Retrieval in Prac1ce Annotations by Michael L. Nelson All slides Addison Wesley, 2008 Retrieval Models Provide a mathema1cal framework for defining the search process includes
More informationEstimating Search Tree Size with Duplicate Detection
Estimating Search Tree Size with Duplicate Detection Levi H. S. Lelis Departamento de Informática Universidade Federal de Viçosa Viçosa, Brazil Roni Stern Information Systems Engineering Ben Gurion University
More informationInformed Search A* Algorithm
Informed Search A* Algorithm CE417: Introduction to Artificial Intelligence Sharif University of Technology Spring 2018 Soleymani Artificial Intelligence: A Modern Approach, Chapter 3 Most slides have
More informationWeb- Scale Mul,media: Op,mizing LSH. Malcolm Slaney Yury Li<shits Junfeng He Y! Research
Web- Scale Mul,media: Op,mizing LSH Malcolm Slaney Yury Li
More informationBasic Search Algorithms
Basic Search Algorithms Tsan-sheng Hsu tshsu@iis.sinica.edu.tw http://www.iis.sinica.edu.tw/~tshsu 1 Abstract The complexities of various search algorithms are considered in terms of time, space, and cost
More informationCPS 170: Artificial Intelligence Search
CPS 170: Artificial Intelligence http://www.cs.duke.edu/courses/spring09/cps170/ Search Instructor: Vincent Conitzer Search We have some actions that can change the state of the world Change resulting
More informationArtificial Intelligence
Artificial Intelligence Information Systems and Machine Learning Lab (ISMLL) Tomáš Horváth 10 rd November, 2010 Informed Search and Exploration Example (again) Informed strategy we use a problem-specific
More informationInformed Search and Exploration
Informed Search and Exploration Berlin Chen 2005 Reference: 1. S. Russell and P. Norvig. Artificial Intelligence: A Modern Approach, Chapter 4 2. S. Russell s teaching materials AI - Berlin Chen 1 Introduction
More informationCSE 473: Ar+ficial Intelligence Uncertainty and Expec+max Tree Search
CSE 473: Ar+ficial Intelligence Uncertainty and Expec+max Tree Search Instructors: Luke ZeDlemoyer Univeristy of Washington [These slides were adapted from Dan Klein and Pieter Abbeel for CS188 Intro to
More informationToday. Informed Search. Graph Search. Heuristics Greedy Search A* Search
Informed Search [These slides were created by Dan Klein and Pieter Abbeel for CS188 Intro to AI at UC Berkeley. All CS188 materials are available at http://ai.berkeley.edu.] Today Informed Search Heuristics
More informationmywbut.com Informed Search Strategies-I
Informed Search Strategies-I 1 3.1 Introduction We have outlined the different types of search strategies. In the earlier chapter we have looked at different blind search strategies. Uninformed search
More informationNotes. Video Game AI: Lecture 5 Planning for Pathfinding. Lecture Overview. Knowledge vs Search. Jonathan Schaeffer this Friday
Notes Video Game AI: Lecture 5 Planning for Pathfinding Nathan Sturtevant COMP 3705 Jonathan Schaeffer this Friday Planning vs localization We cover planning today Localization is just mapping a real-valued
More informationH=1. H=0 Goal state H=2 H=2
KBFS: K-Best-First Search Ariel Felner Dept. of Computer Science Bar-Ilan University, Ramat-Gan, 52900 Israel felner@cs.biu.ac.il Sarit Kraus Dept. of Computer Science Bar-Ilan University, Ramat-Gan, 52900
More informationDownloaded from ioenotes.edu.np
Chapter- 3: Searching - Searching the process finding the required states or nodes. - Searching is to be performed through the state space. - Search process is carried out by constructing a search tree.
More informationArtificial Intelligence
Artificial Intelligence Exercises & Solutions Chapters -4: Search methods. Search Tree. Draw the complete search tree (starting from S and ending at G) of the graph below. The numbers beside the nodes
More informationDIT411/TIN175, Artificial Intelligence. Peter Ljunglöf. 19 January, 2018
DIT411/TIN175, Artificial Intelligence Chapter 3: Classical search algorithms CHAPTER 3: CLASSICAL SEARCH ALGORITHMS DIT411/TIN175, Artificial Intelligence Peter Ljunglöf 19 January, 2018 1 DEADLINE FOR
More informationICBS: Improved Conflict-Based Search Algorithm for Multi-Agent Pathfinding
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015) ICBS: Improved Conflict-Based Search Algorithm for Multi-Agent Pathfinding Eli Boyarski CS Department
More informationHeuristic Search: Intro
Heuristic Search: Intro Blind search can be applied to all problems Is inefficient, as does not incorporate knowledge about the problem to guide the search Such knowledge can be used when deciding which
More informationArtificial Intelligence p.1/49. n-queens. Artificial Intelligence p.2/49. Initial state: the empty board or a board with n random
Example: n-queens Put n queens on an n n board with no two queens on the same row, column, or diagonal A search problem! State space: the board with 0 to n queens Initial state: the empty board or a board
More informationAr#ficial)Intelligence!!
Introduc*on! Ar#ficial)Intelligence!! Roman Barták Department of Theoretical Computer Science and Mathematical Logic Uninformed (blind) search algorithms can find an (optimal) solution to the problem,
More informationARTIFICIAL INTELLIGENCE LECTURE 3. Ph. D. Lect. Horia Popa Andreescu rd year, semester 5
ARTIFICIAL INTELLIGENCE LECTURE 3 Ph. D. Lect. Horia Popa Andreescu 2012-2013 3 rd year, semester 5 The slides for this lecture are based (partially) on chapter 4 of the Stuart Russel Lecture Notes [R,
More informationA.I.: Informed Search Algorithms. Chapter III: Part Deux
A.I.: Informed Search Algorithms Chapter III: Part Deux Best-first search Greedy best-first search A * search Heuristics Outline Overview Informed Search: uses problem-specific knowledge. General approach:
More informationHeuristic Search and Advanced Methods
Heuristic Search and Advanced Methods Computer Science cpsc322, Lecture 3 (Textbook Chpt 3.6 3.7) May, 15, 2012 CPSC 322, Lecture 3 Slide 1 Course Announcements Posted on WebCT Assignment1 (due on Thurs!)
More informationOutline. Best-first search
Outline Best-first search Greedy best-first search A* search Heuristics Local search algorithms Hill-climbing search Beam search Simulated annealing search Genetic algorithms Constraint Satisfaction Problems
More informationInformed search algorithms. Chapter 4
Informed search algorithms Chapter 4 Outline Best-first search Greedy best-first search A * search Heuristics Memory Bounded A* Search Best-first search Idea: use an evaluation function f(n) for each node
More informationMove Pruning and Duplicate Detection
Move Pruning and Duplicate Detection Robert C. Holte Computing Science Department University of Alberta Edmonton, AB Canada T6G 2E8 rholte@ualberta.ca Abstract. This paper begins by showing that Burch
More informationAdvanced A* Improvements
Advanced A* Improvements 1 Iterative Deepening A* (IDA*) Idea: Reduce memory requirement of A* by applying cutoff on values of f Consistent heuristic function h Algorithm IDA*: 1. Initialize cutoff to
More informationArtificial Intelligence
Artificial Intelligence Information Systems and Machine Learning Lab (ISMLL) Tomáš Horváth 16 rd November, 2011 Informed Search and Exploration Example (again) Informed strategy we use a problem-specific
More informationInformed Search and Exploration
Ch. 03 p.1/47 Informed Search and Exploration Sections 3.5 and 3.6 Ch. 03 p.2/47 Outline Best-first search A search Heuristics, pattern databases IDA search (Recursive Best-First Search (RBFS), MA and
More information4 Search Problem formulation (23 points)
4 Search Problem formulation (23 points) Consider a Mars rover that has to drive around the surface, collect rock samples, and return to the lander. We want to construct a plan for its exploration. It
More informationHypergraph Sparsifica/on and Its Applica/on to Par//oning
Hypergraph Sparsifica/on and Its Applica/on to Par//oning Mehmet Deveci 1,3, Kamer Kaya 1, Ümit V. Çatalyürek 1,2 1 Dept. of Biomedical Informa/cs, The Ohio State University 2 Dept. of Electrical & Computer
More informationCommon Misconceptions Concerning Heuristic Search
Common Misconceptions Concerning Heuristic Search Robert C. Holte Computing Science Department, University of Alberta Edmonton, Canada T6G 2E8 (holte@cs.ualberta.ca Abstract This paper examines the following
More informationPrinciples of Ar.ficial Intelligence
Principles of Ar.ficial Intelligence Vasant Honavar Ar3ficial Intelligence Research Laboratory College of Informa3on Sciences and Technology Bioinforma3cs and Genomics Graduate Program The Huck Ins3tutes
More information