lecture8

# lecture8 - Articial Intelligence Encoding Planning Problems...

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

Encoding Planning Problems; page 1 of 11 Artiﬁcial Intelligence Encoding Planning Problems this starts our excursion into “planning” Nilsson - Chapter 22 Russell and Norvig - Chapter 11

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

View Full Document
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
Encoding Planning Problems; page 3 of 11 ﬁrst-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

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

View Full Document
Encoding Planning Problems; page 4 of 11 problems with ﬁrst-order logic - inefﬁcient - does not necessarily generate a GOOD plan
Encoding Planning Problems; page 5 of 11 - the frame problem - the qualiﬁcation problem - the ramiﬁcation problem

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

View Full Document
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
Ask a homework question - tutors are online