Artificial Intelligence Methods. Problem solving by searching
|
|
- Alexander Bradley
- 5 years ago
- Views:
Transcription
1 rtificial Intelligence Methods Problem solving by searching In which we see how an agent can find a sequence of actions that achieves its goals, when no single action will do. Dr. Igor Trajkovski Dr. Igor Trajkovski 1
2 Outline Problem-solving agents Problem formulation Example problems asic search algorithms Dr. Igor Trajkovski 2
3 estricted form of general agent: Problem-solving agents function imple-problem-olving-gent( percept) returns an action static: seq, an action sequence, initially empty state, some description of the current world state goal, a goal, initially null problem, a problem formulation state Update-tate(state, percept) if seq is empty then goal Formulate-Goal(state) problem Formulate-Problem(state, goal) seq earch( problem) action ecommendation(seq, state) seq emainder(seq, state) return action Note: this is offline problem solving; solution executed eyes closed. Online problem solving involves acting without complete knowledge. Dr. Igor Trajkovski 3
4 71 Oradea Example: omania Neamt Zerind 75 rad Timisoara Dobreta 151 ibiu 99 Fagaras 80 imnicu Vilcea ugoj Mehadia 120 Pitesti ucharest raiova 90 Giurgiu 87 Iasi Urziceni Vaslui Hirsova 86 Eforie Dr. Igor Trajkovski 4
5 Example: omania On holiday in omania; currently in rad. Flight leaves tomorrow from ucharest Formulate goal: be in ucharest Formulate problem: states: various cities actions: drive between cities Find solution: sequence of cities, e.g., rad, ibiu, Fagaras, ucharest Dr. Igor Trajkovski 5
6 Example: vacuum world ingle-state, start in #5. olution?? Dr. Igor Trajkovski 6
7 Example: vacuum world ingle-state, start in #5. olution?? [ight, uck] onformant, start in {1, 2, 3, 4, 5, 6, 7, 8} e.g., ight goes to {2, 4, 6, 8}. olution?? Dr. Igor Trajkovski 7
8 Example: vacuum world ingle-state, start in #5. olution?? [ight, uck] onformant, start in {1, 2, 3, 4, 5, 6, 7, 8} e.g., ight goes to {2, 4, 6, 8}. olution?? [ight, uck, ef t, uck] ontingency, start in #5 Murphy s aw: uck can dirty a clean carpet ocal sensing: dirt, location only. olution?? Dr. Igor Trajkovski 8
9 Example: vacuum world ingle-state, start in #5. olution?? [ight, uck] onformant, start in {1, 2, 3, 4, 5, 6, 7, 8} e.g., ight goes to {2, 4, 6, 8}. olution?? [ight, uck, ef t, uck] ontingency, start in #5 Murphy s aw: uck can dirty a clean carpet ocal sensing: dirt, location only. olution?? [ight, if dirt then uck] Dr. Igor Trajkovski 9
10 ingle-state problem formulation problem is defined by four items: initial state e.g., at rad successor function (x) = set of action state pairs e.g., (rad) = { rad Zerind,Zerind,...} goal test, can be explicit, e.g., x = at ucharest implicit, e.g., NoDirt(x) path cost (additive) e.g., sum of distances, number of actions executed, etc. c(x,a,y) is the step cost, assumed to be 0 solution is a sequence of actions leading from the initial state to a goal state Dr. Igor Trajkovski 10
11 electing a state space eal world is absurdly complex state space must be abstracted for problem solving (bstract) state = set of real states (bstract) action = complex combination of real actions e.g., rad Zerind represents a complex set of possible routes, detours, rest stops, etc. For guaranteed realizability, any real state in rad must get to some real state in Zerind (bstract) solution = set of real paths that are solutions in the real world Each abstract action should be easier than the original problem! Dr. Igor Trajkovski 11
12 Example: vacuum world state space graph states?? actions?? goal test?? path cost?? Dr. Igor Trajkovski 12
13 Example: vacuum world state space graph states??: integer dirt and robot locations (ignore dirt amounts etc.) actions?? goal test?? path cost?? Dr. Igor Trajkovski 13
14 Example: vacuum world state space graph states??: integer dirt and robot locations (ignore dirt amounts etc.) actions??: eft, ight, uck, NoOp goal test?? path cost?? Dr. Igor Trajkovski 14
15 Example: vacuum world state space graph states??: integer dirt and robot locations (ignore dirt amounts etc.) actions??: eft, ight, uck, NoOp goal test??: no dirt path cost?? Dr. Igor Trajkovski 15
16 Example: vacuum world state space graph states??: integer dirt and robot locations (ignore dirt amounts etc.) actions??: eft, ight, uck, NoOp goal test??: no dirt path cost??: 1 per action (0 for NoOp) Dr. Igor Trajkovski 16
17 Example: The 8-puzzle tart tate Goal tate states?? actions?? goal test?? path cost?? Dr. Igor Trajkovski 17
18 Example: The 8-puzzle tart tate Goal tate states??: integer locations of tiles (ignore intermediate positions) actions?? goal test?? path cost?? Dr. Igor Trajkovski 18
19 Example: The 8-puzzle tart tate Goal tate states??: integer locations of tiles (ignore intermediate positions) actions??: move blank left, right, up, down (ignore unjamming etc.) goal test?? path cost?? Dr. Igor Trajkovski 19
20 Example: The 8-puzzle tart tate Goal tate states??: integer locations of tiles (ignore intermediate positions) actions??: move blank left, right, up, down (ignore unjamming etc.) goal test??: = goal state (given) path cost?? Dr. Igor Trajkovski 20
21 Example: The 8-puzzle tart tate Goal tate states??: integer locations of tiles (ignore intermediate positions) actions??: move blank left, right, up, down (ignore unjamming etc.) goal test??: = goal state (given) path cost??: 1 per move [Note: optimal solution of n-puzzle family is NP-hard] Dr. Igor Trajkovski 21
22 Example: robotic assembly P states??: real-valued coordinates of robot joint angles parts of the object to be assembled actions??: continuous motions of robot joints goal test??: complete assembly with no robot included! path cost??: time to execute Dr. Igor Trajkovski 22
23 Tree search algorithms asic idea: offline, simulated exploration of state space by generating successors of already-explored states (a.k.a. expanding states) function Tree-earch( problem, strategy) returns a solution, or failure initialize the search tree using the initial state of problem loop do if there are no candidates for expansion then return failure choose a leaf node for expansion according to strategy if the node contains a goal state then return the corresponding solution else expand the node and add the resulting nodes to the search tree end Dr. Igor Trajkovski 23
24 Tree search example rad ibiu Timisoara Zerind rad Fagaras Oradea imnicu Vilcea rad ugoj rad Oradea Dr. Igor Trajkovski 24
25 Tree search example rad ibiu Timisoara Zerind rad Fagaras Oradea imnicu Vilcea rad ugoj rad Oradea Dr. Igor Trajkovski 25
26 Tree search example rad ibiu Timisoara Zerind rad Fagaras Oradea imnicu Vilcea rad ugoj rad Oradea Dr. Igor Trajkovski 26
27 Implementation: states vs. nodes state is a (representation of) a physical configuration node is a data structure constituting part of a search tree includes parent, children, depth, path cost g(x) tates do not have parents, children, depth, or path cost! parent, action tate Node depth = 6 g = state The Expand function creates new nodes, filling in the various fields and using the uccessorfn of the problem to create the corresponding states. Dr. Igor Trajkovski 27
28 function Tree-earch( problem, fringe) returns a solution, or failure fringe Insert(Make-Node(Initial-tate[problem]), fringe) loop do if fringe is empty then return failure node emove-front(fringe) if Goal-Test(problem, tate(node)) then return node fringe Insertll(Expand(node, problem), fringe) function Expand( node, problem) returns a set of nodes successors the empty set for each action, result in uccessor-fn(problem, tate[node]) do s a new Node Parent-Node[s] node; ction[s] action; tate[s] result Path-ost[s] Path-ost[node] + tep-ost(tate[node], action, result) Depth[s] Depth[node] + 1 add s to successors return successors Dr. Igor Trajkovski 28
29 earch strategies strategy is defined by picking the order of node expansion trategies are evaluated along the following dimensions: completeness does it always find a solution if one exists? time complexity number of nodes generated/expanded space complexity maximum number of nodes in memory optimality does it always find a least-cost solution? Time and space complexity are measured in terms of b maximum branching factor of the search tree d depth of the least-cost solution m maximum depth of the state space (may be ) Dr. Igor Trajkovski 29
30 Uninformed search strategies Uninformed strategies use only the information available in the problem definition readth-first search Uniform-cost search Depth-first search Depth-limited search Iterative deepening search Dr. Igor Trajkovski 30
31 Expand shallowest unexpanded node readth-first search Implementation: fringe is a FIFO queue, i.e., new successors go at end D E F G Dr. Igor Trajkovski 31
32 Expand shallowest unexpanded node readth-first search Implementation: fringe is a FIFO queue, i.e., new successors go at end D E F G Dr. Igor Trajkovski 32
33 Expand shallowest unexpanded node readth-first search Implementation: fringe is a FIFO queue, i.e., new successors go at end D E F G Dr. Igor Trajkovski 33
34 Expand shallowest unexpanded node readth-first search Implementation: fringe is a FIFO queue, i.e., new successors go at end D E F G Dr. Igor Trajkovski 34
35 Properties of breadth-first search omplete?? Dr. Igor Trajkovski 35
36 Properties of breadth-first search omplete?? Yes (if b is finite) Time?? Dr. Igor Trajkovski 36
37 Properties of breadth-first search omplete?? Yes (if b is finite) Time?? 1 + b + b 2 + b b d + b(b d 1) = O(b d+1 ), i.e., exp. in d pace?? Dr. Igor Trajkovski 37
38 Properties of breadth-first search omplete?? Yes (if b is finite) Time?? 1 + b + b 2 + b b d + b(b d 1) = O(b d+1 ), i.e., exp. in d pace?? O(b d+1 ) (keeps every node in memory) Optimal?? Dr. Igor Trajkovski 38
39 Properties of breadth-first search omplete?? Yes (if b is finite) Time?? 1 + b + b 2 + b b d + b(b d 1) = O(b d+1 ), i.e., exp. in d pace?? O(b d+1 ) (keeps every node in memory) Optimal?? Yes (if cost = 1 per step); not optimal in general pace is the big problem; can easily generate nodes at 100M/sec so 24hrs = 8640G. Dr. Igor Trajkovski 39
40 Expand least-cost unexpanded node Uniform-cost search Implementation: fringe = queue ordered by path cost, lowest first Equivalent to breadth-first if step costs all equal omplete?? Yes, if step cost ǫ Time?? # of nodes with g cost of optimal solution, O(b /ǫ ) where is the cost of the optimal solution pace?? # of nodes with g cost of optimal solution, O(b /ǫ ) Optimal?? Yes nodes expanded in increasing order of g(n) Dr. Igor Trajkovski 40
41 Expand deepest unexpanded node Depth-first search Implementation: fringe = IFO queue, i.e., put successors at front D E F G H I J K M N O Dr. Igor Trajkovski 41
42 Expand deepest unexpanded node Depth-first search Implementation: fringe = IFO queue, i.e., put successors at front D E F G H I J K M N O Dr. Igor Trajkovski 42
43 Expand deepest unexpanded node Depth-first search Implementation: fringe = IFO queue, i.e., put successors at front D E F G H I J K M N O Dr. Igor Trajkovski 43
44 Expand deepest unexpanded node Depth-first search Implementation: fringe = IFO queue, i.e., put successors at front D E F G H I J K M N O Dr. Igor Trajkovski 44
45 Expand deepest unexpanded node Depth-first search Implementation: fringe = IFO queue, i.e., put successors at front D E F G H I J K M N O Dr. Igor Trajkovski 45
46 Expand deepest unexpanded node Depth-first search Implementation: fringe = IFO queue, i.e., put successors at front D E F G H I J K M N O Dr. Igor Trajkovski 46
47 Expand deepest unexpanded node Depth-first search Implementation: fringe = IFO queue, i.e., put successors at front D E F G H I J K M N O Dr. Igor Trajkovski 47
48 Expand deepest unexpanded node Depth-first search Implementation: fringe = IFO queue, i.e., put successors at front D E F G H I J K M N O Dr. Igor Trajkovski 48
49 Expand deepest unexpanded node Depth-first search Implementation: fringe = IFO queue, i.e., put successors at front D E F G H I J K M N O Dr. Igor Trajkovski 49
50 Expand deepest unexpanded node Depth-first search Implementation: fringe = IFO queue, i.e., put successors at front D E F G H I J K M N O Dr. Igor Trajkovski 50
51 Expand deepest unexpanded node Depth-first search Implementation: fringe = IFO queue, i.e., put successors at front D E F G H I J K M N O Dr. Igor Trajkovski 51
52 Expand deepest unexpanded node Depth-first search Implementation: fringe = IFO queue, i.e., put successors at front D E F G H I J K M N O Dr. Igor Trajkovski 52
53 Properties of depth-first search omplete?? Dr. Igor Trajkovski 53
54 Properties of depth-first search omplete?? No: fails in infinite-depth spaces, spaces with loops Modify to avoid repeated states along path complete in finite spaces Time?? Dr. Igor Trajkovski 54
55 Properties of depth-first search omplete?? No: fails in infinite-depth spaces, spaces with loops Modify to avoid repeated states along path complete in finite spaces Time?? O(b m ): terrible if m is much larger than d but if solutions are dense, may be much faster than breadth-first pace?? Dr. Igor Trajkovski 55
56 Properties of depth-first search omplete?? No: fails in infinite-depth spaces, spaces with loops Modify to avoid repeated states along path complete in finite spaces Time?? O(b m ): terrible if m is much larger than d but if solutions are dense, may be much faster than breadth-first pace?? O(bm), i.e., linear space! Optimal?? Dr. Igor Trajkovski 56
57 Properties of depth-first search omplete?? No: fails in infinite-depth spaces, spaces with loops Modify to avoid repeated states along path complete in finite spaces Time?? O(b m ): terrible if m is much larger than d but if solutions are dense, may be much faster than breadth-first pace?? O(bm), i.e., linear space! Optimal?? No Dr. Igor Trajkovski 57
58 Depth-limited search = depth-first search with depth limit l, i.e., nodes at depth l have no successors ecursive implementation: function Depth-imited-earch( problem, limit) returns soln/fail/cutoff ecursive-d(make-node(initial-tate[problem]), problem, limit) function ecursive-d(node, problem, limit) returns soln/fail/cutoff cutoff-occurred? false if Goal-Test(problem, tate[node]) then return node else if Depth[node] = limit then return cutoff else for each successor in Expand(node, problem) do result ecursive-d(successor, problem, limit) if result = cutoff then cutoff-occurred? true else if result failure then return result if cutoff-occurred? then return cutoff else return failure Dr. Igor Trajkovski 58
59 Iterative deepening search function Iterative-Deepening-earch( problem) returns a solution inputs: problem, a problem for depth 0 to do result Depth-imited-earch( problem, depth) if result cutoff then return result end Dr. Igor Trajkovski 59
60 Iterative deepening search l = 0 imit = 0 Dr. Igor Trajkovski 60
61 Iterative deepening search l = 1 imit = 1 Dr. Igor Trajkovski 61
62 Iterative deepening search l = 2 imit = 2 D E F G D E F G D E F G D E F G D E F G D E F G D E F G D E F G Dr. Igor Trajkovski 62
63 Iterative deepening search l = 3 imit = 3 D E F G D E F G D E F G D E F G H I J K M N O H I J K M N O H I J K M N O H I J K M N O D E F G D E F G D E F G D E F G H I J K M N O H I J K M N O H I J K M N O H I J K M N O D E F G D E F G D E F G D E F G H I J K M N O H I J K M N O H I J K M N O H I J K M N O Dr. Igor Trajkovski 63
64 omplete?? Properties of iterative deepening search Dr. Igor Trajkovski 64
65 Properties of iterative deepening search omplete?? Yes Time?? Dr. Igor Trajkovski 65
66 Properties of iterative deepening search omplete?? Yes Time?? (d + 1)b 0 + db 1 + (d 1)b b d = O(b d ) pace?? Dr. Igor Trajkovski 66
67 Properties of iterative deepening search omplete?? Yes Time?? (d + 1)b 0 + db 1 + (d 1)b b d = O(b d ) pace?? O(bd) Optimal?? Dr. Igor Trajkovski 67
68 Properties of iterative deepening search omplete?? Yes Time?? (d + 1)b 0 + db 1 + (d 1)b b d = O(b d ) pace?? O(bd) Optimal?? Yes, if step cost = 1 an be modified to explore uniform-cost tree Numerical comparison for b = 10 and d = 5, solution at far right leaf: N(ID) = , , , 000 = 123, 450 N(F) = , , , , 990 = 1, 111, 100 ID does better because other nodes at depth d are not expanded F can be modified to apply goal test when a node is generated Dr. Igor Trajkovski 68
69 ummary of algorithms riterion readth- Uniform- Depth- Depth- Iterative First ost First imited Deepening omplete? Yes Yes No Yes, if l d Yes Time b d+1 b /ǫ b m b l b d pace b d+1 b /ǫ bm bl bd Optimal? Yes Yes No No Yes Dr. Igor Trajkovski 69
70 epeated states Failure to detect repeated states can turn a linear problem into an exponential one! D Dr. Igor Trajkovski 70
71 Graph search function Graph-earch(problem,fringe) returns a solution, or failure closed an empty set fringe Insert(Make-Node(Initial-tate[problem]), fringe) loop do if fringe is empty then return failure node emove-front(fringe) if Goal-Test(problem, tate[node]) then return node if tate[node] is not in closed then add tate[node] to closed fringe Insertll(Expand(node, problem), fringe) end Dr. Igor Trajkovski 71
72 ummary Problem formulation usually requires abstracting away real-world details to define a state space that can feasibly be explored Variety of uninformed search strategies Iterative deepening search uses only linear space and not much more time than other uninformed algorithms Graph search can be exponentially more efficient than tree search Dr. Igor Trajkovski 72
Problem solving and search. Chapter 3. Chapter 3 1
Problem solving and search Chapter 3 Chapter 3 1 eminders ssignment 0 due 5pm today ssignment 1 posted, due 2/9 Section 105 will move to 9-10am starting next week Chapter 3 2 Problem-solving agents Problem
More informationCS:4420 Artificial Intelligence
CS:4420 Artificial Intelligence Spring 2017 Problem Solving by Search Cesare Tinelli The University of Iowa Copyright 2004 17, Cesare Tinelli and Stuart ussell a a These notes were originally developed
More information22c:145 Artificial Intelligence
22c:145 Artificial Intelligence Fall 2005 Problem Solving by Search Cesare Tinelli The University of Iowa Copyright 2001-05 Cesare Tinelli and Hantao Zhang. a a These notes are copyrighted material and
More informationArtificial Intelligence
Artificial Intelligence Chapter 1 Chapter 1 1 Outline Course overview What is AI? A brief history The state of the art Chapter 1 2 intelligent agents search and game-playing logical systems planning systems
More informationDeterministic Planning and State-space Search. Erez Karpas
Planning and Search IE&M Technion to our Problem-solving agents Restricted form of general agent def Simple-Problem-Solving-Agent (problem): state, some description of the current world state seq, an action
More informationTree/Graph Search. q IDDFS-? B C. Search CSL452 - ARTIFICIAL INTELLIGENCE 2
Informed Search Tree/Graph Search q IDDFS-? A B C D E F G Search CSL452 - ARTIFICIAL INTELLIGENCE 2 Informed (Heuristic) Search q Heuristic problem specific knowledge o finds solutions more efficiently
More informationAI Programming CS S-06 Heuristic Search
AI Programming CS662-2013S-06 Heuristic Search David Galles Department of Computer Science University of San Francisco 06-0: Overview Heuristic Search - exploiting knowledge about the problem Heuristic
More informationState Space Representa,ons and Search Algorithms
State Space Representa,ons and Search Algorithms CS171, Fall 2016 Introduc,on to Ar,ficial Intelligence Prof. Alexander Ihler Reading: R&N 3.1-3.4 Architectures for Intelligence Search? Determine how to
More informationAnalysis of Uninformed Search Methods
nalysis of Uninformed earch Methods rian. Williams 16.410-13 ep 21 st, 2004 lides adapted from: 6.034 Tomas Lozano Perez, Russell and Norvig IM rian Williams, Fall 04 1 ssignments Remember: Problem et
More informationSolving Problems By Searching
Solving Problems By Searching Instructor: Dr. Wei Ding Fall 2010 1 Problem-Solving Agent Goal-based agents: considering future actions and the desirability of their outcomes. Decide what to do by finding
More informationLast time: Summary. Last time: Summary
1 Last time: Summary Definition of AI? Turing Test? Intelligent Agents: Anything that can be viewed as perceiving its environment through sensors and acting upon that environment through its effectors
More informationGame Engineering CS F-12 Artificial Intelligence
Game Engineering CS420-2011F-12 Artificial Intelligence David Galles Department of Computer Science University of San Francisco 12-0: Artifical Intelligence AI in games is a huge field Creating a believable
More informationProblem Solving as State Space Search
Problem olving as tate pace earch rian. Williams 6.070 pril 5 th, 00 lides adapted from: 6.0 Tomas Lozano Perez, Russell and Norvig IM rian Williams, pring 0 elf-iagnosing Explorers courtesy of JPL rian
More informationIterative improvement algorithms. Beyond Classical Search. Outline. Example: Traveling Salesperson Problem
Iterative improvement algorithms In many optimization problems, path is irrelevant; the goal state itself is the solution Beyond Classical earch Chapter 4, ections 4.1-4.2 Then state space = set of complete
More informationLocal search algorithms. Chapter 4, Sections 3 4 1
Local search algorithms Chapter 4, Sections 3 4 Chapter 4, Sections 3 4 1 Outline Hill-climbing Simulated annealing Genetic algorithms (briefly) Local search in continuous spaces (very briefly) Chapter
More informationArtificial Intelligence (Künstliche Intelligenz 1) Part II: Problem Solving
Kohlhase: Künstliche Intelligenz 1 76 July 12, 2018 Artificial Intelligence (Künstliche Intelligenz 1) Part II: Problem Solving Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung Informatik,
More informationProblem-Solving via Search Lecture 3
Lecture 3 What is a search problem? How do search algorithms work and how do we evaluate their performance? 1 Agenda An example task Problem formulation Infrastructure for search algorithms Complexity
More informationSearching in non-deterministic, partially observable and unknown environments
Searching in non-deterministic, partially observable and unknown environments CE417: Introduction to Artificial Intelligence Sharif University of Technology Spring 2014 Soleymani Artificial Intelligence:
More informationSearching in non-deterministic, partially observable and unknown environments
Searching in non-deterministic, partially observable and unknown environments CE417: Introduction to Artificial Intelligence Sharif University of Technology Spring 2017 Soleymani Artificial Intelligence:
More informationCMU Lecture 4: Informed Search. Teacher: Gianni A. Di Caro
CMU 15-781 Lecture 4: Informed Search Teacher: Gianni A. Di Caro UNINFORMED VS. INFORMED Uninformed Can only generate successors and distinguish goals from non-goals Informed Strategies that can distinguish
More informationCSE 473: Artificial Intelligence Spring 2014
CSE 473: Artificial Intelligence Spring 2014 Hanna Hajishirzi Problem Spaces and Search slides from Dan Klein, Stuart Russell, Andrew Moore, Dan Weld, Pieter Abbeel, Luke Zettelmoyer Outline Agents that
More informationPlanning and search. Lecture 6: Search with non-determinism and partial observability
Planning and search Lecture 6: Search with non-determinism and partial observability Lecture 6: Search with non-determinism and partial observability 1 Today s lecture Non-deterministic actions. AND-OR
More informationInformed Search. Day 3 of Search. Chap. 4, Russel & Norvig. Material in part from
Informed Search Day 3 of Search Chap. 4, Russel & Norvig Material in part from http://www.cs.cmu.edu/~awm/tutorials Uninformed Search Complexity N = Total number of states B = Average number of successors
More informationInformed Search. Chap. 4. Breadth First. O(Min(N,B L )) BFS. Search. have same cost BIBFS. Bi- Direction. O(Min(N,2B L/2 )) BFS. have same cost UCS
Informed Search Chap. 4 Material in part from http://www.cs.cmu.edu/~awm/tutorials Uninformed Search Complexity N = Total number of states B = Average number of successors (branching factor) L = Length
More informationDATA Search I 魏忠钰. 复旦大学大数据学院 School of Data Science, Fudan University. March 7 th, 2018
DATA620006 魏忠钰 Serch I Mrch 7 th, 2018 Outline Serch Problems Uninformed Serch Depth-First Serch Bredth-First Serch Uniform-Cost Serch Rel world tsk - Pc-mn Serch problems A serch problem consists of:
More informationArtificial Intelligence Prof. Dr. Jürgen Dix
Artificial Intelligence Prof. Dr. Jürgen Dix Computational Intelligence Group TU Clausthal Clausthal, SS 2012 Time and place: Tuesday and Wednesday 10 12 in Multimediahörsaal (Tannenhöhe) Exercises: See
More informationArtificial Intelligence
Artificial Intelligence Prof. Dr. Jürgen Dix Computational Intelligence Group TU Clausthal Clausthal, SS 2014 Prof. Dr. Jürgen Dix Clausthal, SS 2014 1 Time and place: Tuesday and Wednesday 10 12 in Multimediahörsaal
More informationGraph Search Howie Choset
Graph Search Howie Choset 16-11 Outline Overview of Search Techniques A* Search Graphs Collection of Edges and Nodes (Vertices) A tree Grids Stacks and Queues Stack: First in, Last out (FILO) Queue: First
More informationSolutions. Dynamic Programming & Optimal Control ( ) Number of Problems: 4. Use only the provided sheets for your solutions.
Final Exam January 26th, 2012 Dynamic Programming & Optimal Control (151-0563-01) Prof. R. D Andrea Solutions Exam Duration: 150 minutes Number of Problems: 4 Permitted aids: One A4 sheet of paper. Use
More informationPengju
Introduction to AI Chapter04 Beyond Classical Search Pengju Ren@IAIR Outline Steepest Descent (Hill-climbing) Simulated Annealing Evolutionary Computation Non-deterministic Actions And-OR search Partial
More informationNew rubric: AI in the news
New rubric: AI in the news 3 minutes Headlines this week: Silicon Valley Business Journal: Apple on hiring spreee for AI experts Forbes: Toyota Invests $50 Million In Artificial Intelligence Research For
More informationLocal and Online search algorithms
Local and Online search algorithms Chapter 4 Chapter 4 1 Outline Local search algorithms Hill-climbing Simulated annealing Genetic algorithms Searching with non-deterministic actions Searching with partially/no
More informationCS 4100 // artificial intelligence. Recap/midterm review!
CS 4100 // artificial intelligence instructor: byron wallace Recap/midterm review! Attribution: many of these slides are modified versions of those distributed with the UC Berkeley CS188 materials Thanks
More informationCS 188: Artificial Intelligence Spring 2007
CS 188: Artificil Intelligence Spring 2007 Lecture 3: Queue-Bsed Serch 1/23/2007 Srini Nrynn UC Berkeley Mny slides over the course dpted from Dn Klein, Sturt Russell or Andrew Moore Announcements Assignment
More informationIntroduction to Artificial Intelligence
Introduction to Artificial Intelligence Marc Toussaint February 6, 2017 The majority of slides on search, CSP and logic are adapted from Stuart Russell. This is a direct concatenation and reformatting
More informationUninformed Search Lecture 4
Lecture 4 Wht re common serch strtegies tht operte given only serch problem? How do they compre? 1 Agend A quick refresher DFS, BFS, ID-DFS, UCS Unifiction! 2 Serch Problem Formlism Defined vi the following
More informationIS-ZC444: ARTIFICIAL INTELLIGENCE
IS-ZC444: ARTIFICIAL INTELLIGENCE Lecture-07: Beyond Classical Search Dr. Kamlesh Tiwari Assistant Professor Department of Computer Science and Information Systems, BITS Pilani, Pilani, Jhunjhunu-333031,
More informationIntroduction. An Introduction to Algorithms and Data Structures
Introduction An Introduction to Algorithms and Data Structures Overview Aims This course is an introduction to the design, analysis and wide variety of algorithms (a topic often called Algorithmics ).
More informationCSE 4502/5717 Big Data Analytics Spring 2018; Homework 1 Solutions
CSE 502/5717 Big Data Analytics Spring 2018; Homework 1 Solutions 1. Consider the following algorithm: for i := 1 to α n log e n do Pick a random j [1, n]; If a[j] = a[j + 1] or a[j] = a[j 1] then output:
More informationCSC242: Intro to AI. Lecture 5. Tuesday, February 26, 13
CSC242: Intro to AI Lecture 5 CSUG Tutoring: bit.ly/csug-tutoring League of Legends LAN Party: Sat 2/2 @ 2PM in CSB 209 $2 to benefit Big Brothers Big Sisters bit.ly/urlol ULW Topics due to me by tomorrow
More informationLocal search and agents
Artificial Intelligence Local search and agents Instructor: Fabrice Popineau [These slides adapted from Stuart Russell, Dan Klein and Pieter Abbeel @ai.berkeley.edu] Local search algorithms In many optimization
More information2 GRAPH AND NETWORK OPTIMIZATION. E. Amaldi Introduction to Operations Research Politecnico Milano 1
2 GRAPH AND NETWORK OPTIMIZATION E. Amaldi Introduction to Operations Research Politecnico Milano 1 A variety of decision-making problems can be formulated in terms of graphs and networks Examples: - transportation
More informationAlgorithms. NP -Complete Problems. Dong Kyue Kim Hanyang University
Algorithms NP -Complete Problems Dong Kyue Kim Hanyang University dqkim@hanyang.ac.kr The Class P Definition 13.2 Polynomially bounded An algorithm is said to be polynomially bounded if its worst-case
More informationLearning in State-Space Reinforcement Learning CIS 32
Learning in State-Space Reinforcement Learning CIS 32 Functionalia Syllabus Updated: MIDTERM and REVIEW moved up one day. MIDTERM: Everything through Evolutionary Agents. HW 2 Out - DUE Sunday before the
More informationCS 662 Sample Midterm
Name: 1 True/False, plus corrections CS 662 Sample Midterm 35 pts, 5 pts each Each of the following statements is either true or false. If it is true, mark it true. If it is false, correct the statement
More informationArtificial Intelligence
Artificial Intelligence Time and place: Tuesday and Wednesday 10 12 in Multimediahörsaal (Tannenhöhe) Exercises: Approximately every other Tuesday. Prof. Dr. Jürgen Dix Department of Informatics TU Clausthal
More informationIntelligent Agents. Formal Characteristics of Planning. Ute Schmid. Cognitive Systems, Applied Computer Science, Bamberg University
Intelligent Agents Formal Characteristics of Planning Ute Schmid Cognitive Systems, Applied Computer Science, Bamberg University Extensions to the slides for chapter 3 of Dana Nau with contributions by
More informationProblem. Problem Given a dictionary and a word. Which page (if any) contains the given word? 3 / 26
Binary Search Introduction Problem Problem Given a dictionary and a word. Which page (if any) contains the given word? 3 / 26 Strategy 1: Random Search Randomly select a page until the page containing
More informationCS360 Homework 12 Solution
CS360 Homework 12 Solution Constraint Satisfaction 1) Consider the following constraint satisfaction problem with variables x, y and z, each with domain {1, 2, 3}, and constraints C 1 and C 2, defined
More informationTime Complexity (1) CSCI Spring Original Slides were written by Dr. Frederick W Maier. CSCI 2670 Time Complexity (1)
Time Complexity (1) CSCI 2670 Original Slides were written by Dr. Frederick W Maier Spring 2014 Time Complexity So far we ve dealt with determining whether or not a problem is decidable. But even if it
More informationWhat is SSA? each assignment to a variable is given a unique name all of the uses reached by that assignment are renamed
Another Form of Data-Flow Analysis Propagation of values for a variable reference, where is the value produced? for a variable definition, where is the value consumed? Possible answers reaching definitions,
More informationArtificial Intelligence Prof. Dr. Jürgen Dix
Artificial Intelligence Prof. Dr. Jürgen Dix Department of Informatics TU Clausthal Summer 2007 Time and place: Mondays and Tuesdays 10 12 in Multimediahörsaal (Tannenhöhe) Exercises: Approximately every
More informationCSC242: Artificial Intelligence. Lecture 4 Local Search
CSC242: Artificial Intelligence Lecture 4 Local Search Upper Level Writing Topics due to me by next class! First draft due Mar 4 Goal: final paper 15 pages +/- 2 pages 12 pt font, 1.5 line spacing Get
More informationAlpha-Beta Pruning: Algorithm and Analysis
Alpha-Beta Pruning: Algorithm and Analysis Tsan-sheng Hsu tshsu@iis.sinica.edu.tw http://www.iis.sinica.edu.tw/~tshsu 1 Introduction Alpha-beta pruning is the standard searching procedure used for 2-person
More informationICS 252 Introduction to Computer Design
ICS 252 fall 2006 Eli Bozorgzadeh Computer Science Department-UCI References and Copyright Textbooks referred [Mic94] G. De Micheli Synthesis and Optimization of Digital Circuits McGraw-Hill, 1994. [CLR90]
More informationCTL satisfability via tableau A C++ implementation
CTL satisfability via tableau A C++ implementation Nicola Prezza April 30, 2015 Outline 1 Introduction 2 Parsing 3 Data structures 4 Initial sets of labels and edges 5 Cull 6 Examples and benchmarks The
More informationLocal Search & Optimization
Local Search & Optimization CE417: Introduction to Artificial Intelligence Sharif University of Technology Spring 2018 Soleymani Artificial Intelligence: A Modern Approach, 3 rd Edition, Chapter 4 Some
More informationExtended breadth-first search algorithm in practice
Proceedings of the 9 th International Conference on Applied Informatics Eger, Hungary, January 29 February 1, 2014. Vol. 1. pp. 59 66 doi: 10.14794/ICAI.9.2014.1.59 Extended breadth-first search algorithm
More informationSearch' How"do"we"plan"our"holiday?" How"do"we"plan"our"holiday?" Many"problems"can"be"solved"by"search:"
CSC384"Introduc0on"to"Ar0ficial"Intelligence" Search OneofthemostbasictechniquesinAI UnderlyingsubBmoduleinmostAIsystems Cansolvemanyproblemsthathumansarenot goodat(achievingsuperbhumanperformance) Veryusefulasageneralalgorithmictechniquefor
More informationLocal Search & Optimization
Local Search & Optimization CE417: Introduction to Artificial Intelligence Sharif University of Technology Spring 2017 Soleymani Artificial Intelligence: A Modern Approach, 3 rd Edition, Chapter 4 Outline
More informationCS188: Artificial Intelligence, Fall 2009 Written 2: MDPs, RL, and Probability
CS188: Artificial Intelligence, Fall 2009 Written 2: MDPs, RL, and Probability Due: Thursday 10/15 in 283 Soda Drop Box by 11:59pm (no slip days) Policy: Can be solved in groups (acknowledge collaborators)
More informationA.I.: Beyond Classical Search
A.I.: Beyond Classical Search Random Sampling Trivial Algorithms Generate a state randomly Random Walk Randomly pick a neighbor of the current state Both algorithms asymptotically complete. Overview Previously
More information6.01: Introduction to EECS I. Optimizing a Search
6.0: Introduction to CS I Optimizing a Search May 3, 0 Nano-Quiz Makeups Wednesday, May 4, 6-pm, 34-50. everyone can makeup/retake NQ everyone can makeup/retake two additional NQs you can makeup/retake
More informationCITS4211 Mid-semester test 2011
CITS4211 Mid-semester test 2011 Fifty minutes, answer all four questions, total marks 60 Question 1. (12 marks) Briefly describe the principles, operation, and performance issues of iterative deepening.
More informationAlpha-Beta Pruning: Algorithm and Analysis
Alpha-Beta Pruning: Algorithm and Analysis Tsan-sheng Hsu tshsu@iis.sinica.edu.tw http://www.iis.sinica.edu.tw/~tshsu 1 Introduction Alpha-beta pruning is the standard searching procedure used for solving
More informationPrinciples of Computing, Carnegie Mellon University. The Limits of Computing
The Limits of Computing Intractability Limits of Computing Announcement Final Exam is on Friday 9:00am 10:20am Part 1 4:30pm 6:10pm Part 2 If you did not fill in the course evaluations please do it today.
More informationRepetition Prepar Pr a epar t a ion for fo Ex am Ex
Repetition Preparation for Exam Written Exam Date: 2008 10 20 Time: 9:30 14:30 No book or other aids Maximal 40 points Grades: 0 19 U (did not pass) 20 27 3 (pass) 28 32 4 (verygood) 33 40 5 (excellent)
More informationAlgorithms 2/6/2018. Algorithms. Enough Mathematical Appetizers! Algorithm Examples. Algorithms. Algorithm Examples. Algorithm Examples
Enough Mathematical Appetizers! Algorithms What is an algorithm? Let us look at something more interesting: Algorithms An algorithm is a finite set of precise instructions for performing a computation
More informationComplexity Theory Part I
Complexity Theory Part I Problem Problem Set Set 77 due due right right now now using using a late late period period The Limits of Computability EQ TM EQ TM co-re R RE L D ADD L D HALT A TM HALT A TM
More informationAdvanced topic: Space complexity
Advanced topic: Space complexity CSCI 3130 Formal Languages and Automata Theory Siu On CHAN Chinese University of Hong Kong Fall 2016 1/28 Review: time complexity We have looked at how long it takes to
More informationMath Models of OR: Branch-and-Bound
Math Models of OR: Branch-and-Bound John E. Mitchell Department of Mathematical Sciences RPI, Troy, NY 12180 USA November 2018 Mitchell Branch-and-Bound 1 / 15 Branch-and-Bound Outline 1 Branch-and-Bound
More informationAlpha-Beta Pruning: Algorithm and Analysis
Alpha-Beta Pruning: Algorithm and Analysis Tsan-sheng Hsu tshsu@iis.sinica.edu.tw http://www.iis.sinica.edu.tw/~tshsu 1 Introduction Alpha-beta pruning is the standard searching procedure used for 2-person
More informationSOLUTION: SOLUTION: SOLUTION:
Convert R and S into nondeterministic finite automata N1 and N2. Given a string s, if we know the states N1 and N2 may reach when s[1...i] has been read, we are able to derive the states N1 and N2 may
More informationFault-Tolerant Consensus
Fault-Tolerant Consensus CS556 - Panagiota Fatourou 1 Assumptions Consensus Denote by f the maximum number of processes that may fail. We call the system f-resilient Description of the Problem Each process
More informationA Decentralized Approach to Multi-agent Planning in the Presence of Constraints and Uncertainty
2011 IEEE International Conference on Robotics and Automation Shanghai International Conference Center May 9-13, 2011, Shanghai, China A Decentralized Approach to Multi-agent Planning in the Presence of
More informationIntroduction to Arti Intelligence
Introduction to Arti Intelligence cial Lecture 4: Constraint satisfaction problems 1 / 48 Constraint satisfaction problems: Today Exploiting the representation of a state to accelerate search. Backtracking.
More informationA brief introduction to Conditional Random Fields
A brief introduction to Conditional Random Fields Mark Johnson Macquarie University April, 2005, updated October 2010 1 Talk outline Graphical models Maximum likelihood and maximum conditional likelihood
More informationLecture 1 : Data Compression and Entropy
CPS290: Algorithmic Foundations of Data Science January 8, 207 Lecture : Data Compression and Entropy Lecturer: Kamesh Munagala Scribe: Kamesh Munagala In this lecture, we will study a simple model for
More informationCS 4700: Foundations of Artificial Intelligence Homework 2 Solutions. Graph. You can get to the same single state through multiple paths.
CS 4700: Foundations of Artificial Intelligence Homework Solutions 1. (30 points) Imagine you have a state space where a state is represented by a tuple of three positive integers (i,j,k), and you have
More informationBayes Net Representation. CS 188: Artificial Intelligence. Approximate Inference: Sampling. Variable Elimination. Sampling.
188: Artificial Intelligence Bayes Nets: ampling Bayes Net epresentation A directed, acyclic graph, one node per random variable A conditional probability table (PT) for each node A collection of distributions
More informationwhere X is the feasible region, i.e., the set of the feasible solutions.
3.5 Branch and Bound Consider a generic Discrete Optimization problem (P) z = max{c(x) : x X }, where X is the feasible region, i.e., the set of the feasible solutions. Branch and Bound is a general semi-enumerative
More informationSums of Products. Pasi Rastas November 15, 2005
Sums of Products Pasi Rastas November 15, 2005 1 Introduction This presentation is mainly based on 1. Bacchus, Dalmao and Pitassi : Algorithms and Complexity results for #SAT and Bayesian inference 2.
More informationSection #2: Linear and Integer Programming
Section #2: Linear and Integer Programming Prof. Dr. Sven Seuken 8.3.2012 (with most slides borrowed from David Parkes) Housekeeping Game Theory homework submitted? HW-00 and HW-01 returned Feedback on
More informationName: UW CSE 473 Final Exam, Fall 2014
P1 P6 Instructions Please answer clearly and succinctly. If an explanation is requested, think carefully before writing. Points may be removed for rambling answers. If a question is unclear or ambiguous,
More informationScout and NegaScout. Tsan-sheng Hsu.
Scout and NegaScout Tsan-sheng Hsu tshsu@iis.sinica.edu.tw http://www.iis.sinica.edu.tw/~tshsu 1 Abstract It looks like alpha-beta pruning is the best we can do for an exact generic searching procedure.
More informationSimplex method(s) for solving LPs in standard form
Simplex method: outline I The Simplex Method is a family of algorithms for solving LPs in standard form (and their duals) I Goal: identify an optimal basis, as in Definition 3.3 I Versions we will consider:
More informationIE418 Integer Programming
IE418: Integer Programming Department of Industrial and Systems Engineering Lehigh University 2nd February 2005 Boring Stuff Extra Linux Class: 8AM 11AM, Wednesday February 9. Room??? Accounts and Passwords
More informationNotes for Lecture Notes 2
Stanford University CS254: Computational Complexity Notes 2 Luca Trevisan January 11, 2012 Notes for Lecture Notes 2 In this lecture we define NP, we state the P versus NP problem, we prove that its formulation
More information(tree searching technique) (Boolean formulas) satisfying assignment: (X 1, X 2 )
Algorithms Chapter 5: The Tree Searching Strategy - Examples 1 / 11 Chapter 5: The Tree Searching Strategy 1. Ex 5.1Determine the satisfiability of the following Boolean formulas by depth-first search
More informationPart V. Matchings. Matching. 19 Augmenting Paths for Matchings. 18 Bipartite Matching via Flows
Matching Input: undirected graph G = (V, E). M E is a matching if each node appears in at most one Part V edge in M. Maximum Matching: find a matching of maximum cardinality Matchings Ernst Mayr, Harald
More informationCP405 Theory of Computation
CP405 Theory of Computation BB(3) q 0 q 1 q 2 0 q 1 1R q 2 0R q 2 1L 1 H1R q 1 1R q 0 1L Growing Fast BB(3) = 6 BB(4) = 13 BB(5) = 4098 BB(6) = 3.515 x 10 18267 (known) (known) (possible) (possible) Language:
More informationSingle Source Shortest Paths
CMPS 00 Fall 017 Single Source Shortest Paths Carola Wenk Slides courtesy of Charles Leiserson with changes and additions by Carola Wenk Paths in graphs Consider a digraph G = (V, E) with an edge-weight
More informationChapter 6 Constraint Satisfaction Problems
Chapter 6 Constraint Satisfaction Problems CS5811 - Artificial Intelligence Nilufer Onder Department of Computer Science Michigan Technological University Outline CSP problem definition Backtracking search
More informationBeyond Classical Search
Beyond Classical Search Chapter 4 (Adapted from Stuart Russel, Dan Klein, and others. Thanks guys!) 1 Outline Hill-climbing Simulated annealing Genetic algorithms (briefly) Local search in continuous spaces
More informationIntroduction to Intelligent Systems: Homework 2
Introduction to Intelligent Systems: Homework 2 lvin Lin - Section 1 ugust 2017 - December 2017 Problem 1 For each of the following, gives a PES description of the task and given solver of the tasks. There
More informationIn-Class Soln 1. CS 361, Lecture 4. Today s Outline. In-Class Soln 2
In-Class Soln 1 Let f(n) be an always positive function and let g(n) = f(n) log n. Show that f(n) = o(g(n)) CS 361, Lecture 4 Jared Saia University of New Mexico For any positive constant c, we want to
More informationBreadth First Search, Dijkstra s Algorithm for Shortest Paths
CS 374: Algorithms & Models of Computation, Spring 2017 Breadth First Search, Dijkstra s Algorithm for Shortest Paths Lecture 17 March 1, 2017 Chandra Chekuri (UIUC) CS374 1 Spring 2017 1 / 42 Part I Breadth
More informationNP-Complete and Non-Computable Problems. COMP385 Dr. Ken Williams
NP-Complete and Non-Computable Problems COMP385 Dr. Ken Williams Start by doing what s necessary; then do what s possible; and suddenly you are doing the impossible. Francis of Assisi Our Goal Define classes
More informationAnnouncements. CS 188: Artificial Intelligence Fall Causality? Example: Traffic. Topology Limits Distributions. Example: Reverse Traffic
CS 188: Artificial Intelligence Fall 2008 Lecture 16: Bayes Nets III 10/23/2008 Announcements Midterms graded, up on glookup, back Tuesday W4 also graded, back in sections / box Past homeworks in return
More informationBranch-and-Bound. Leo Liberti. LIX, École Polytechnique, France. INF , Lecture p. 1
Branch-and-Bound Leo Liberti LIX, École Polytechnique, France INF431 2011, Lecture p. 1 Reminders INF431 2011, Lecture p. 2 Problems Decision problem: a question admitting a YES/NO answer Example HAMILTONIAN
More information