| 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. |
|||||||||
