© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
Propositional Block World
•
How would you represent the following:
–
Block A is on Block D
–
Block A is not on Block B
–
If A is on D, A is not on B
–
No block is on A
–
If A is on D and D is on B, A is above B.
