3 Mar 2004
CS 3243 - Chapter 8
20
Deducing hidden properties
n"x,y,a,b Adjacent([x,y],[a,b]) Û
n [a,b] Î {[x+1,y], [x-1,y],[x,y+1],[x,y-1]}
n
nProperties of squares:
n"s,t At(Agent,s,t) Ù Breeze(t) Þ Breezy(s)
n
nSquares are breezy near a pit:
¡Diagnostic rule - infer cause from effect
n"s Breezy(s) Þ $r Adjacent(r,s) Ù Pit(r)
¡Causal rule - infer effect from cause
n"r Pit(r) Þ ["s Adjacent(r,s) Þ Breezy(s) ]