Deductive approach Ex.
•
Reward :
–
If
b [Bin(b, Paris)]
10
–
Else 0
•
Do regression via unload
–
If
b[Bin(b, Paris)]
10
–
Else if
b
t [On(b,t)
Λ
Tin(t,Paris) ]
8
–
Else 0