Set 6: Knowledge Representation: The Propositional Calculus: Chapter 7 R&N
Set 6: Knowledge Representation: The Propositional Calculus: Chapter 7 R&N
• Then it can Ask itself what to do - answers should follow from the KB
• Agents can be viewed at the knowledge level
i.e., what they know, regardless of how implemented
Computer
Inference
Assertions
(knowledge base)
Conclusions
Semantics
Imply
Facts Facts
Real-World
• Environment
•
– Squares adjacent to wumpus are smelly
–
– Squares adjacent to pit are breezy
–
– Glitter iff gold is in the same square
–
– Shooting kills wumpus if you are facing it
–
– Shooting uses up the only arrow
–
– Grabbing picks up gold if in same square
–
– Releasing drops the gold in same square
–
• Discrete Yes
– x+2 ≥ y is true iff the number x+2 is no less than the number y
KB ╞ α
• Observations
P1,1
B1,1
B2,1
Wumpus world sentences
KB Truth table for KB
Let Pi,j be true if there is a pit in [i, j].
Let Bi,j be true if there is a breeze in [i, j].
P1,1
B1,1
B2,1
– Model checking
– Deductive systems
to prove q by BC,
check if q is known already, or
prove by BC all premises of some rule concluding q
m = number of clauses
n = number of symbols
P1,1
W1,1
Bx,y (Px,y+1 Px,y-1 Px+1,y Px-1,y)
Sx,y (Wx,y+1 Wx,y-1 Wx+1,y Wx-1,y)
W1,1 W1,2 … W4,4
W1,1 W1,2
W1,1 W1,3
…