| Blocks World Example |
|
|
|
|
|
|
|
|
|
|
| • | Domain
of Discourse: blocks (for |
||||||||
| simplicity,
exclude table) |
|||||||||
| • | Constant
Symbols (A, B, C, D, On, Above, |
||||||||
| …) |
|||||||||
| • | Variables
(x, y, z, …) |
||||||||
| • | An interpretation
maps variables and |
||||||||
| constant
symbols to things in the world. |
|||||||||
| (e.g.
A means this block with an “A”.) |
|||||||||
