|
|
|
| Building Atomic Sentences: |
||
| Symbols |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| | Domain
of Discourse (DOD) - relevant things in |
||||||||||||||
| the
world that were reasoning about |
|||||||||||||||
| | Symbols: |
||||||||||||||
| | variables
- assigned things in the domain of discourse |
||||||||||||||
| (DOD) |
|||||||||||||||
| | constants
- things and relations relations between |
||||||||||||||
| things
in the DOD |
|||||||||||||||
| | An interpretation
I maps |
||||||||||||||
| | variables
to things in the DOD. |
||||||||||||||
| | constants
to things and relationships between things in |
||||||||||||||
| the
DOD. |
|||||||||||||||