Deducing hidden properties x,y,a,b Adjacent([x,y],[a,b]) [a,b] {[x+1,y], [x-1,y],[x,y+1],[x,y-1]} Properties of squares: s,t At(Agent,s,t) Breeze(t) B
{"Image DocumentName": "Deducing hidden properties", "Image ImageDescription": "\uf022x,y,a,b Adjacent([x,y],[a,b]) \uf0db [a,b] \uf0ce {[x+1,y], [x-1,y],[x,y+1],[x,y-1]} Properties of squares: \uf022s,t At(Agent,s,t) \uf0d9 Breeze(t) \uf0de Breezy(s) Squares are breezy near a pit: Diagnostic rule---infer cause from effect. \uf022s Breezy(s) \uf0de \\Exi{r} Adjacent(r,s) \uf0d9 Pit(r)  Causal rule---infer effect from cause. \uf022r Pit(r) \uf0de [\uf022s Adjacent(r,s) \uf0de Breezy(s)  ]", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}