| Blocks World Example |
|
|
|
|
|
|
|
|
|
|
| • | Terms:
x, A, nextBlock(A) |
||||||||
| • | Atomic
sentences: Above(A,D), On(x,B), Clear(y) |
||||||||
| • | These
sentence are true under an interpretation |
||||||||
| where
constants and relations are as we described |
|||||||||
| and
x, y are interpreted as D, A or D, C. |
|||||||||
| • | These
sentences are also true under an |
||||||||
| interpretation
where A,B,C,D are the numbers 16, |
|||||||||
| 2,
17, 4, On is “the square of”, Above
is “a power |
|||||||||
| of”,
Clear is “greater than 15”. |
|||||||||
