Uninformed Search ECE457 Applied Artificial Intelligence Spring 2007 Lecture #2.

Slides:



Advertisements
Similar presentations
Solving problems by searching Chapter 3. Outline Problem-solving agents Problem types Problem formulation Example problems Basic search algorithms.
Advertisements

Additional Topics ARTIFICIAL INTELLIGENCE
Announcements Course TA: Danny Kumar
January 26, 2003AI: Chapter 3: Solving Problems by Searching 1 Artificial Intelligence Chapter 3: Solving Problems by Searching Michael Scherger Department.
Artificial Intelligence Problem Solving Eriq Muhammad Adams
Problem Solving and Search Andrea Danyluk September 9, 2013.
Problem Solving Agents A problem solving agent is one which decides what actions and states to consider in completing a goal Examples: Finding the shortest.
Solving Problems by Searching Currently at Chapter 3 in the book Will finish today/Monday, Chapter 4 next.
Blind Search by Prof. Jean-Claude Latombe
CS 480 Lec 3 Sept 11, 09 Goals: Chapter 3 (uninformed search) project # 1 and # 2 Chapter 4 (heuristic search)
Blind Search1 Solving problems by searching Chapter 3.
Search Strategies Reading: Russell’s Chapter 3 1.
May 12, 2013Problem Solving - Search Symbolic AI: Problem Solving E. Trentin, DIISM.
1 Chapter 3 Solving Problems by Searching. 2 Outline Problem-solving agentsProblem-solving agents Problem typesProblem types Problem formulationProblem.
1 Blind (Uninformed) Search (Where we systematically explore alternatives) R&N: Chap. 3, Sect. 3.3–5.
AI Principles, Semester 2, Week 1, Lecture 3, Search Examples of problems which are solved by search Setting the scene: your Romanian holiday search problem.
Solving Problem by Searching Chapter 3. Outline Problem-solving agents Problem formulation Example problems Basic search algorithms – blind search Heuristic.
Touring problems Start from Arad, visit each city at least once. What is the state-space formulation? Start from Arad, visit each city exactly once. What.
Artificial Intelligence for Games Uninformed search Patrick Olivier
14 Jan 2004CS Blind Search1 Solving problems by searching Chapter 3.
Search Strategies CPS4801. Uninformed Search Strategies Uninformed search strategies use only the information available in the problem definition Breadth-first.
Artificial Intelligence Lecture No. 7 Dr. Asad Safi ​ Assistant Professor, Department of Computer Science, COMSATS Institute of Information Technology.
Artificial Intelligence for Games Depth limited search Patrick Olivier
14 Jan 2004CS Blind Search1 Solving problems by searching Chapter 3.
CHAPTER 3 CMPT Blind Search 1 Search and Sequential Action.
An Introduction to Artificial Intelligence Lecture 3: Solving Problems by Sorting Ramin Halavati In which we look at how an agent.
CS 380: Artificial Intelligence Lecture #3 William Regli.
Problem Solving by Searching Copyright, 1996 © Dale Carnegie & Associates, Inc. Chapter 3 Spring 2004.
Artificial Intelligence
Search I Tuomas Sandholm Carnegie Mellon University Computer Science Department [Read Russell & Norvig Chapter 3]
Artificial Intelligence Chapter 3: Solving Problems by Searching
Uninformed Search Reading: Chapter 3 by today, Chapter by Wednesday, 9/12 Homework #2 will be given out on Wednesday DID YOU TURN IN YOUR SURVEY?
Solving problems by searching
Review: Search problem formulation Initial state Actions Transition model Goal state (or goal test) Path cost What is the optimal solution? What is the.
1 Problem Solving and Searching CS 171/271 (Chapter 3) Some text and images in these slides were drawn from Russel & Norvig’s published material.
CS 440 / ECE 448 Introduction to Artificial Intelligence Spring 2010 Lecture #3 Instructor: Eyal Amir Grad TAs: Wen Pu, Yonatan Bisk Undergrad TAs: Sam.
Search Tamara Berg CS 560 Artificial Intelligence Many slides throughout the course adapted from Dan Klein, Stuart Russell, Andrew Moore, Svetlana Lazebnik,
AI in game (II) 권태경 Fall, outline Problem-solving agent Search.
Vilalta&Eick:Uninformed Search Problem Solving By Searching Introduction Solutions and Performance Uninformed Search Strategies Avoiding Repeated States/Looping.
Carla P. Gomes CS4700 CS 4700: Foundations of Artificial Intelligence Prof. Carla P. Gomes Module: Search I (Reading R&N: Chapter.
An Introduction to Artificial Intelligence Lecture 3: Solving Problems by Sorting Ramin Halavati In which we look at how an agent.
Informed Search ECE457 Applied Artificial Intelligence Spring 2007 Lecture #3.
SOLVING PROBLEMS BY SEARCHING Chapter 3 August 2008 Blind Search 1.
A General Introduction to Artificial Intelligence.
Agents and Uninformed Search ECE457 Applied Artificial Intelligence Spring 2007 Lecture #2.5.
1 Solving problems by searching Chapter 3. Depth First Search Expand deepest unexpanded node The root is examined first; then the left child of the root;
Goal-based Problem Solving Goal formation Based upon the current situation and performance measures. Result is moving into a desirable state (goal state).
Solving problems by searching 1. Outline Problem formulation Example problems Basic search algorithms 2.
CPSC 420 – Artificial Intelligence Texas A & M University Lecture 3 Lecturer: Laurie webster II, M.S.S.E., M.S.E.e., M.S.BME, Ph.D., P.E.
Pengantar Kecerdasan Buatan
Uninformed search strategies A search strategy is defined by picking the order of node expansion Uninformed search strategies use only the information.
Problem Solving as Search. Problem Types Deterministic, fully observable  single-state problem Non-observable  conformant problem Nondeterministic and/or.
Informed Search ECE457 Applied Artificial Intelligence Fall 2007 Lecture #3.
Problem Solving by Searching
Implementation: General Tree Search
3.5 Informed (Heuristic) Searches This section show how an informed search strategy can find solution more efficiently than uninformed strategy. Best-first.
Solving problems by searching A I C h a p t e r 3.
Blind Search Russell and Norvig: Chapter 3, Sections 3.4 – 3.6 CS121 – Winter 2003.
Search Part I Introduction Solutions and Performance Uninformed Search Strategies Avoiding Repeated States Partial Information Summary.
WEEK 5 LECTURE -A- 23/02/2012 lec 5a CSC 102 by Asma Tabouk Introduction 1 CSC AI Basic Search Strategies.
Chapter 3 Solving problems by searching. Search We will consider the problem of designing goal-based agents in observable, deterministic, discrete, known.
Uninformed Search ECE457 Applied Artificial Intelligence Spring 2008 Lecture #2.
Artificial Intelligence Solving problems by searching.
Lecture 3: Uninformed Search
EE562 ARTIFICIAL INTELLIGENCE FOR ENGINEERS
Solving problems by searching
Problem Solving and Searching
Searching for Solutions
Problem Solving and Searching
ECE457 Applied Artificial Intelligence Fall 2007 Lecture #2
Presentation transcript:

Uninformed Search ECE457 Applied Artificial Intelligence Spring 2007 Lecture #2

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 2 Outline Problem-solving by searching Uninformed search techniques Russell & Norvig, chapter 3

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 3 Problem-solving by searching An agent needs to perform actions to get from its current state to a goal. This process is called searching. Central in many AI systems Theorem proving, VLSI layout, game playing, navigation, scheduling, etc.

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 4 Requirements for searching Define the problem Represent the search space by states Define the actions the agent can perform and their cost Define a goal What is the agent searching for? Define the solution The goal itself? The path (i.e. sequence of actions) to get to the goal?

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 5 Assumptions Goal-based agent Environment Fully observable Deterministic Sequential Static Discrete Single agent

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 6 Formulating problems A well-defined problem has: An initial state A set of actions A goal test A concept of cost

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 7 Example: 8-puzzle Initial state Action Move blank left, right, up or down, provided it does not get out of the game Goal test Are the tiles in the “goal state” order? Cost Each move costs 1 Path cost is the sum of moves

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 8 Example: 8-puzzle leftdown left right down left up

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 9 Search Tree Parent Child Edge (action) Node (state) Expanding a node Root Leaf Fringe Branching factor (b) Maximum depth (m)

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 10 Properties of Search Algos. Completeness Is the algorithm guaranteed to find a goal node, if one exists? Optimality Is the algorithm guaranteed to find the best goal node, i.e. the one with the cheapest path cost? Time complexity How many nodes are generated? Space complexity What’s the maximum number of nodes stored in memory?

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 11 Types of Search Uninformed Search Only has the information provided by the problem formulation (initial state, set of actions, goal test, cost) Informed Search Has additional information that allows it to judge the promise of an action, i.e. the estimated cost from a state to a goal

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 12 Breath-First Search

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 13 Breath-First Search Complete, if b is finite Optimal, if path cost is equal to depth Guaranteed to return the shallowest goal (depth d) Number of generated nodes: 1+b+b²+b³+…+b d +(b d+1 -b) = O(b d+1 ) Time complexity = O(b d+1 ) Space complexity = O(b d+1 )

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 14 Uniform-Cost Search Expansion of Breath-First Search Explore the cheapest node first (in terms of path cost) Condition: No zero-cost or negative-cost edges. Minimum cost is є

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 15 Uniform-Cost Search Complete given a finite tree Optimal Time complexity = O(b  C*/є  ) ≥ O(b d+1 ) Space complexity = O(b  C*/є  ) ≥ O(b d+1 )

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 16 Depth-First Search

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 17 Depth-First Search Complete, if m is finite Not optimal Time complexity = O(b m ) Space complexity = bm+1 = O(bm) Can be reduced to O(m)

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 18 Depth-Limited Search Depth-First Search with depth limit l Avoids problems of Depth-First Search when trees are unbounded Depth-First Search is Depth-Limited Search with l = 

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 19 Depth-Limited Search Complete, if l > d Not optimal Time complexity = O(b l ) Space complexity = O(bl)

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 20 Iterative Deepening Search Depth-First Search with increasing depth limit l Repeat depth-limited search over and over, with l = l + 1 Avoids problems of Depth-First Search when trees are unbounded

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 21 Iterative Deepening Search Complete, if b is finite Optimal, if path cost is equal to depth Guaranteed to return the shallowest goal Time complexity = O(b d ) Space complexity = O(bd) Nodes on levels above d are generated multiple times

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 22 Repeated States leftdown left right down left up Example: 8-puzzle

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 23 Repeated States Unavoidable in problems where: Actions are reversible Multiple paths to the same state are possible Can greatly increase the number of nodes in a tree Or even make a finite tree infinite! Maintain a closed list of visited states Detect repeated states Increase space complexity

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 24 Summary / Example Going from Arad to Bucharest

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 25 Summary / Example Initial state Being in Arad Action Move to a neighbouring city, if a road exists. Goal test Are we in Bucharest? Cost Move cost = distance between cities Path cost = distance travelled since Arad

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 26 Summary / Example Breath-First Search

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 27 Summary / Example Uniform-Cost Search

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 28 Summary / Example Depth-First Search

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 29 Summary / Example Depth-Limited Search, l = 4

ECE457 Applied Artificial Intelligence R. Khoury (2007)Page 30 Summary / Example Iterative Deepening Search