For Monday
description
Transcript of For Monday
![Page 1: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/1.jpg)
For Monday• Finish chapter 12• Homework:
– Chapter 13, exercises 8 and 15
![Page 2: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/2.jpg)
Program 2
• Any questions?
![Page 3: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/3.jpg)
Dinner Date example• Initial Conditions: (and (garbage) (cleanHands) (quiet))• Goal: (and (dinner) (present) (not (garbage))• Actions:
– Cook :precondition (cleanHands) :effect (dinner)– Wrap :precondition (quiet) :effect (present)– Carry :precondition :effect (and (not (garbage)) (not (cleanHands))– Dolly :precondition :effect (and (not (garbage)) (not (quiet)))
![Page 4: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/4.jpg)
Dinner Date example
![Page 5: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/5.jpg)
Dinner Date example
![Page 6: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/6.jpg)
Observation 1
Propositions monotonically increase(always carried forward by no-ops)
p
¬q
¬r
p
q
¬q
¬r
p
q
¬q
r
¬r
p
q
¬q
r
¬r
A A
B
A
B
![Page 7: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/7.jpg)
Observation 2
Actions monotonically increase
p
¬q
¬r
p
q
¬q
¬r
p
q
¬q
r
¬r
p
q
¬q
r
¬r
A A
B
A
B
![Page 8: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/8.jpg)
Observation 3
Proposition mutex relationships monotonically decrease
p
q
r
…
A
p
q
r
…
p
q
r
…
![Page 9: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/9.jpg)
Observation 4
Action mutex relationships monotonically decrease
p
q
…B
p
q
r
s
…
p
q
r
s
…
A
C
B
C
A
p
q
r
s
…
B
C
A
![Page 10: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/10.jpg)
Observation 5
Planning Graph ‘levels off’. • After some time k all levels are identical• Because it’s a finite space, the set of literals
never decreases and mutexes don’t reappear.
![Page 11: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/11.jpg)
Valid plan
A valid plan is a planning graph where:• Actions at the same level don’t interfere • Each action’s preconditions are made true
by the plan• Goals are satisfied
![Page 12: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/12.jpg)
GraphPlan algorithm
• Grow the planning graph (PG) until all goals are reachable and not mutex. (If PG levels off first, fail)
• Search the PG for a valid plan• If none is found, add a level to the PG and
try again
![Page 13: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/13.jpg)
Searching for a solution plan
• Backward chain on the planning graph• Achieve goals level by level• At level k, pick a subset of non-mutex actions to
achieve current goals. Their preconditions become the goals for k-1 level.
• Build goal subset by picking each goal and choosing an action to add. Use one already selected if possible. Do forward checking on remaining goals (backtrack if can’t pick non-mutex action)
![Page 14: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/14.jpg)
Plan Graph SearchIf goals are present & non-mutex:
Choose action to achieve each goalAdd preconditions to next goal set
![Page 15: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/15.jpg)
Termination for unsolvable problems
• Graphplan records (memoizes) sets of unsolvable goals:– U(i,t) = unsolvable goals at level i after stage t.
• More efficient: early backtracking• Also provides necessary and sufficient conditions
for termination:– Assume plan graph levels off at level n, stage t > n– If U(n, t-1) = U(n, t) then we know we’re in a loop and
can terminate safely.
![Page 16: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/16.jpg)
Dinner Date example• Initial Conditions: (and (garbage) (cleanHands) (quiet))• Goal: (and (dinner) (present) (not (garbage))• Actions:
– Cook :precondition (cleanHands) :effect (dinner)– Wrap :precondition (quiet) :effect (present)– Carry :precondition :effect (and (not (garbage)) (not (cleanHands))– Dolly :precondition :effect (and (not (garbage)) (not (quiet)))
![Page 17: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/17.jpg)
Dinner Date example
![Page 18: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/18.jpg)
Dinner Date example
![Page 19: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/19.jpg)
Dinner Date example
![Page 20: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/20.jpg)
Knowledge Representation
• Issue of what to put in to the knowledge base.
• What does an agent need to know?• How should that content be stored?
![Page 21: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/21.jpg)
Knowledge Representation
• NOT a solved problem• We have partial answers
![Page 22: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/22.jpg)
Question 1
• How do I organize the knowledge I have?
![Page 23: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/23.jpg)
Ontology
• Basically a hierarchical organization of concepts.
• Can be general or domain-specific.
![Page 24: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/24.jpg)
Question 2
• How do I handle categories?
![Page 25: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/25.jpg)
Do I need to?
• What makes categories important?
![Page 26: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/26.jpg)
Defining a category
• Necessary and sufficient conditions
![Page 27: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/27.jpg)
Think-Pair-Share
• What is a chair?
![Page 28: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/28.jpg)
Prototypes
![Page 29: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/29.jpg)
In Logic
• Are categories predicates or objects?
![Page 30: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/30.jpg)
Important Terms
• Inheritance• Taxonomy
![Page 31: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/31.jpg)
What does ISA mean?
![Page 32: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/32.jpg)
Categories
• Membership• Subset or subclass• Disjoint categories• Exhaustive Decomposition• Partitions of categories
![Page 33: For Monday](https://reader036.fdocuments.in/reader036/viewer/2022062520/568161b4550346895dd17e31/html5/thumbnails/33.jpg)
Other Issues
• Physical composition• Measurement• Individuation
– Count nouns vs. mass nouns– Intrinsic properties vs. extrinsic properties