| In-Class Exercise |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| • | Express
the following in FOL using |
||||||||||||
| relations
On, Above, Clear, OnTable, and |
|||||||||||||
| objects
A, B, C, D: |
|||||||||||||
| – | If
block A is on block B, then A is above B, B |
||||||||||||
| is
not clear, and A is not on the table. |
|||||||||||||
| – | If
one block is on another block, it is also above |
||||||||||||
| that
block. |
|||||||||||||
| – | A or
D or C is on the table. |
||||||||||||
| – | If A
is on the table, then D and C are not. |
||||||||||||
