lecture8

lecture8 - Articial Intelligence Encoding Planning Problems...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
Encoding Planning Problems; page 1 of 11 Artificial Intelligence Encoding Planning Problems this starts our excursion into “planning” Nilsson - Chapter 22 Russell and Norvig - Chapter 11
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Encoding Planning Problems; page 2 of 11 initial state you are at home and don’t have milk, bananas, and a drill goal state you are at home and have milk, bananas, and a drill
Background image of page 2
Encoding Planning Problems; page 3 of 11 first-order logic (= situation calculus) initial state At(Home, s0) goal state (= query) EXISTS s AND Have(Drill, s) operators FORALL a, s a = Buy(Milk) AND At(Supermarket, s) Have(Milk, s) AND NOT a = Drop(Milk) AND NOT Have(Drill, s0) AND NOT Have(Milk, s0) AND NOT Have(Bananas, s0) At(Home, s) AND Have(Milk, s) AND Have(Bananas, s) Have(Milk, Result(a,s)) EQUIV OR
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Encoding Planning Problems; page 4 of 11 problems with first-order logic - inefficient - does not necessarily generate a GOOD plan
Background image of page 4
Encoding Planning Problems; page 5 of 11 - the frame problem - the qualification problem - the ramification problem
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 02/14/2010 for the course CSCI 561 at USC.

Page1 / 11

lecture8 - Articial Intelligence Encoding Planning Problems...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online