Announcements. CS 188: Artificial Intelligence Fall Office hours, Section. Today. DFS and BFS. Recap: Search. Lecture 3: A* Search 9/3/2009

Similar documents
Announcements. CS 188: Artificial Intelligence. Costs on Actions. Recap: Search. Lecture 3: A* Search

CS 188: Artificial Intelligence Fall Announcements

CS 188: Artificial Intelligence Spring Announcements

Announcements. CS 188: Artificial Intelligence Fall Today. Reflex Agents. Goal Based Agents. Search Problems

Announcements. CS 188: Artificial Intelligence Fall Reflex Agents. Today. Goal Based Agents. Search Problems

CS 188: Artificial Intelligence Fall Announcements

CS 188: Artificial Intelligence Fall 2011

Announcements. CS 188: Artificial Intelligence Spring More Announcements. Today. From Last Time: Reflex Agents.

CS 188: Artificial Intelligence Spring Announcements

CS 188: Artificial Intelligence Spring 2009

CS 188: Artificial Intelligence Spring Announcements

Reminder. CS 188: Artificial Intelligence. A reflex agent for pacman. Reflex Agent. A reflex agent for pacman (3) A reflex agent for pacman (2)

Outline. CSE 473: Artificial Intelligence Spring Types of Agents

CS 188: Artificial Intelligence

A search problem. Formalizing a search problem. Our Search Problem. Our Search Problem. Overview

Searching: Deterministic single-agent

Today. CS 232: Ar)ficial Intelligence. Search. Agents that Plan. September 3 rd, 2015 Search Problems. Uninformed Search Methods

CSE 573: Artificial Intelligence Autumn Search thru a. Goal Based Agents 9/28/2012. Agent vs. Environment. Example: N Queens

Integration Continued. Integration by Parts Solving Definite Integrals: Area Under a Curve Improper Integrals

Self-Adjusting Top Trees

C-Curves. An alternative to the use of hyperbolic decline curves S E R A F I M. Prepared by: Serafim Ltd. P. +44 (0)

Floating Point Number System -(1.3)

Floating Point Number System -(1.3)

Last time: introduced our first computational model the DFA.

COMP108 Algorithmic Foundations

How to Use. The Bears Beat the Sharks!

Path (space curve) Osculating plane

Part II, Measures Other Than Conversion I. Apr/ Spring 1

Theory of Spatial Problems

Helping every little saver

Chapter 2 Reciprocal Lattice. An important concept for analyzing periodic structures

Date: Use the code to write each homophone. The first one has been for you. Handwriting and Vocabulary L1

PH427/PH527: Periodic systems Spring Overview of the PH427 website (syllabus, assignments etc.) 2. Coupled oscillations.

(2) If we multiplied a row of B by λ, then the value is also multiplied by λ(here lambda could be 0). namely

The Theory of Small Reflections

Problem solving by search

Winter 2016 COMP-250: Introduction to Computer Science. Lecture 23, April 5, 2016

Course Logistics Textbook: Artificial Intelligence: A Modern Approach, Russell and Norvig (3 rd ed) Topics

Minimum Spanning Trees

Classical Theory of Fourier Series : Demystified and Generalised VIVEK V. RANE. The Institute of Science, 15, Madam Cama Road, Mumbai

Section 3: Antiderivatives of Formulas

Who is this Great Team? Nickname. Strangest Gift/Friend. Hometown. Best Teacher. Hobby. Travel Destination. 8 G People, Places & Possibilities

Ch 1.2: Solutions of Some Differential Equations

1 Introduction to Modulo 7 Arithmetic

ELEC 351 Notes Set #18

22.615, MHD Theory of Fusion Systems Prof. Freidberg Lecture 8: Effect of a Vertical Field on Tokamak Equilibrium

ECE COMBINATIONAL BUILDING BLOCKS - INVEST 13 DECODERS AND ENCODERS

this is called an indeterninateformof-oior.fi?afleleitns derivatives can now differentiable and give 0 on on open interval containing I agree to.

EECE 301 Signals & Systems Prof. Mark Fowler

Exam 2 Solutions. Jonathan Turner 4/2/2012. CS 542 Advanced Data Structures and Algorithms

Weighted Graphs. Weighted graphs may be either directed or undirected.

L...,,...lllM" l)-""" Si_...,...

Lecture 35. Diffraction and Aperture Antennas

MTH 122 Fall 2008 Essex County College Division of Mathematics Handout Version 10 1 October 14, 2008

Elliptical motion, gravity, etc

ENGO 431 Analytical Photogrammetry

Week 8. Topic 2 Properties of Logarithms

PLAYGROUND SALE Take up to 40% off. Plus FREE equipment * with select purchase DETAILS INSIDE

Winnie flies again. Winnie s Song. hat. A big tall hat Ten long toes A black magic wand A long red nose. nose. She s Winnie Winnie the Witch.

Limits Indeterminate Forms and L Hospital s Rule

Chapter 7. Kleene s Theorem. 7.1 Kleene s Theorem. The following theorem is the most important and fundamental result in the theory of FA s:

4.1 Interval Scheduling. Chapter 4. Greedy Algorithms. Interval Scheduling: Greedy Algorithms. Interval Scheduling. Interval scheduling.

Language Processors F29LP2, Lecture 5

2.4 Linear Inequalities and Interval Notation

Search: Cost & Heuristics

sin sin 1 d r d Ae r 2

FSA. CmSc 365 Theory of Computation. Finite State Automata and Regular Expressions (Chapter 2, Section 2.3) ALPHABET operations: U, concatenation, *

P a g e 5 1 of R e p o r t P B 4 / 0 9

Kevin James. MTHSC 206 Section 13.2 Derivatives and Integrals of Vector

12/3/12. Outline. Part 10. Graphs. Circuits. Euler paths/circuits. Euler s bridge problem (Bridges of Konigsberg Problem)

5/9/13. Part 10. Graphs. Outline. Circuits. Introduction Terminology Implementing Graphs

CBSE , ˆj. cos CBSE_2015_SET-1. SECTION A 1. Given that a 2iˆ ˆj. We need to find. 3. Consider the vector equation of the plane.

Paths. Connectivity. Euler and Hamilton Paths. Planar graphs.

STRIPLINES. A stripline is a planar type transmission line which is well suited for microwave integrated circuitry and photolithographic fabrication.

CS September 2018

10.3 The Quadratic Formula

Preview. Graph. Graph. Graph. Graph Representation. Graph Representation 12/3/2018. Graph Graph Representation Graph Search Algorithms

CS 188: Artificial Intelligence Spring 2007

Module graph.py. 1 Introduction. 2 Graph basics. 3 Module graph.py. 3.1 Objects. CS 231 Naomi Nishimura

T h e C S E T I P r o j e c t

Section 35 SHM and Circular Motion

( ) Geometric Operations and Morphing. Geometric Transformation. Forward v.s. Inverse Mapping. I (x,y ) Image Processing - Lesson 4 IDC-CG 1

a b c cat CAT A B C Aa Bb Cc cat cat Lesson 1 (Part 1) Verbal lesson: Capital Letters Make The Same Sound Lesson 1 (Part 1) continued...

, between the vertical lines x a and x b. Given a demand curve, having price as a function of quantity, p f (x) at height k is the curve f ( x,

CSE303 - Introduction to the Theory of Computing Sample Solutions for Exercises on Finite Automata

Lecture 3.2: Cosets. Matthew Macauley. Department of Mathematical Sciences Clemson University


Lecture 10. Solution of Nonlinear Equations - II

ME 522 PRINCIPLES OF ROBOTICS. FIRST MIDTERM EXAMINATION April 19, M. Kemal Özgören

Determinizations and non-determinizations for semantics. Ana Sokolova University of Salzburg

CBSE SAMPLE PAPER SOLUTIONS CLASS-XII MATHS SET-2 CBSE , ˆj. cos. SECTION A 1. Given that a 2iˆ ˆj. We need to find

I1 = I2 I1 = I2 + I3 I1 + I2 = I3 + I4 I 3

Minimum Spanning Trees

CS 373, Spring Solutions to Mock midterm 1 (Based on first midterm in CS 273, Fall 2008.)

CSE 373: More on graphs; DFS and BFS. Michael Lee Wednesday, Feb 14, 2018

dt. However, we might also be curious about dy

Physics 11b Lecture #11

RIM= City-County Building, Suite 104 NE INV= Floor= CP #CP004 TOP SE BOLT LP BASE N= E= ELEV=858.

Daily Skill Practice

COMPSCI 230 Discrete Math Trees March 21, / 22

Transcription:

C 88: Atiicil Intllignc Fll 009 Lctu : A* ch 9//009 Pit Al UC Bkly Mny slids om Dn Klin Announcmnts Assignmnts: Pojct 0 (Python tutoil): du Thusdy /8 Wittn (ch): du Thusdy /8 Pojct (ch): to lsd tody, du Thusdy /4 You don t nd to sumit nsws to P discussion ustions sli dys o ojcts; u to two ddlin Ty i ogmming, not divid-nd-conu tudy mtils lids, ction mtils, Assignmnts Book Oic hous, ction Do-in l tims: Wd /6 4-m in 7 od Oic hous ostd on th cous wsit ctions stting this wk: Woking though xciss ky o you undstnding ction hndout contins svl xciss simil to wittn olutions will ostd Wd m (t lst sction) ction 0: Tu -4m ction 04: Tu 4-m ction 0: Wd -noon ction 0: Wd noon-m Tody Ittiv dning Uniom cost sch A* ch Huistic Dsign Rc: ch ch olm: tts (conigutions o th wold) uccsso unction: unction om stts to lists o (stt, ction, cost) tils; dwn s gh tt stt nd gol tst ch t: Nods: snt lns o ching stts Plns hv costs (sum o ction costs) nd Algoithm Comlt Otiml Tim c m tis w/ Pth Chcking Y N O( m ) O(m) Y N* O( s+ ) O( s+ ) s tis nod nods nods s nods ch Algoithm: ystmticlly uilds sch t Chooss n oding o th ing (unxlod nods) m nods

Ittiv Dning Ittiv dning uss s suoutin:. Do which only schs o ths o lngth o lss.. I ild, do which only schs ths o lngth o lss.. I ild, do which only schs ths o lngth o lss..nd so on. Algoithm Comlt Otiml Tim c ID w/ Pth Chcking Y N O( m ) O(m) Y N* O( s+ ) O( s+ ) Y N* O( s ) O(s) TART Costs on Actions d 8 OAL Notic tht inds th shotst th in tms o num o tnsitions. It dos not ind th lst-cost th. W will uickly cov n lgoithm which dos ind th lst-cost th. c 9 8 h 4 4 Uniom Cost ch Pioity Quu Rsh Exnd chst nod ist: Fing is ioity uu Cost contous d 4 c 6 9 h 7 c 0 8 c 8 d 9 h 8 h 7 0 c 6 A ioity uu is dt stuctu in which you cn inst nd tiv (ky, vlu) is with th ollowing otions:.ush(ky, vlu).o() insts (ky, vlu) into th uu. tuns th ky with th lowst vlu, nd movs it om th uu. You cn dcs ky s ioity y ushing it gin Unlik gul uu, instions n t constnt tim, usully O(log n) W nd ioity uus o cost-snsitiv sch mthods Uniom Cost ch Uniom Cost Issus Algoithm Comlt Otiml Tim c UC w/ Pth Chcking Y N O( m ) O(m) Y N O( s+ ) O( s+ ) Y* Y O( (C*/ε)+ ) O( (C*/ε)+ ) Rmm: xlos incsing cost contous Th good: UC is comlt nd otiml! c c c C*/ε tis * UC cn il i ctions cn gt itily ch Th d: Exlos otions in vy diction No inomtion out gol loction tt ol

ch Huistics Huistics Any stimt o how clos stt is to gol Dsignd o ticul sch olm Exmls: Mnhttn distnc, Euclidn distnc 0. Bst Fist / dy ch Bst Fist / dy ch Exnd th nod tht sms closst Wht cn go wong? A common cs: Bst-ist tks you stight to th (wong) gol Wost-cs: lik dlyguidd in th wost cs Cn xlo vything Cn gt stuck in loos i no cycl chcking Lik in comltnss (init stts w/ cycl chcking) Comining UC nd dy Uniom-cost ods y th cost, o ckwd cost g(n) Bst-ist ods y gol oximity, o owd cost h(n) d h=6 h= h= c h=7 h=6 A* ch ods y th sum: (n) = g(n) + h(n) h= h=0 Whn should A* tmint? hould w sto whn w nuu gol? A h = h = B h = No: only sto whn w duu gol h = 0 Exml: Tg ng

Is A* Otiml? Admissil Huistics A h = 6 A huistic h is dmissil (otimistic) i: h = 7 h = 0 wh is th tu cost to nst gol Wht wnt wong? Actul d gol cost < stimtd good gol cost W nd stimts to lss thn ctul costs! Exml: Coming u with dmissil huistics is most o wht s involvd in using A* in ctic. Otimlity o A*: Blocking Otimlity o A*: Blocking Nottion: g(n) = cost to nod n h(n) = stimtd cost om n to th nst gol (huistic) (n) = g(n) + h(n) = stimtd totl cost vi n *: lowst cost gol nod : noth gol nod Poo: Wht could go wong? W d hv to hv to o suotiml gol o th ing o * This cn t hn: Imgin suotiml gol is on th uu om nod n which is suth o * must lso on th ing (why?) n will od o Potis o A* UC vs A* Contous Uniom-Cost A* Uniom-cost xndd in ll dictions tt ol A* xnds minly towd th gol, ut dos hdg its ts to nsu otimlity tt ol [dmo: countous UC / A*] 4

Cting Admissil Huistics Tivil Huistics, Dominnc Most o th wok in solving hd sch olms otimlly is in coming u with dmissil huistics Dominnc: h h c i Otn, dmissil huistics solutions to lxd olms, wh nw ctions vill Huistics om smi-lttic: Mx o dmissil huistics is dmissil Indmissil huistics otn usul too (why?) Tivil huistics Bottom o lttic is th zo huistic (wht dos this giv us?) To o lttic is th xct huistic Oth A* Alictions Pthing / outing olms Rsouc lnning olms Root motion lnning Lngug nlysis Mchin tnsltion ch cognition T ch: Ext Wok! Filu to dtct td stts cn cus xonntilly mo wok. Why? h ch In, o xml, w shouldn t oth xnding th cicld nods (why?) d c h h ch Id: nv xnd stt twic How to imlmnt: T sch + list o xndd stts (closd list) Exnd th sch t nod-y-nod, ut Bo xnding nod, chck to mk su its stt is nw Python tick: sto th closd list s st, not list h Cn gh sch wck comltnss? Why/why not? c c How out otimlity?

Otimlity o A* h ch Poo: Nw ossil olm: nods on th to * tht would hv n in uu n t, cus som wos n o th sm stt s som n ws duud nd xndd ist (disst!) Tk th highst such n in t Lt th ncsto which ws on th uu whn n ws xndd Assum () < (n) (n) < (n ) cus n is suotiml would hv n xndd o n o n would hv n xndd o n, too Contdiction! Consistncy Wit, how do w know nts hv tt -vlus thn thi succssos? Couldn t w o som nod n, nd ind its child n to hv low vlu? YE: h = 0 h = 8 B g = 0 Wht cn w ui to vnt ths invsions? Consistncy: A h = 0 Rl cost must lwys xcd duction in huistic Otimlity T sch: A* otiml i huistic is dmissil (nd nonngtiv) UC is scil cs (h = 0) h sch: A* otiml i huistic is consistnt UC otiml (h = 0 is consistnt) Consistncy imlis dmissiility ummy: A* A* uss oth ckwd costs nd (stimts o) owd costs A* is otiml with dmissil huistics Huistic dsign is ky: otn us lxd olms In gnl, ntul dmissil huistics tnd to consistnt 6