| Object-Relational Worlds |
|
|
| x,y(Smart(x) & Easy(y) & Take(x,y) |
|
|
Grade(A,x,y)) |
|
|
|
|
|
|
|
|
|
|
|
|
| Worlds
are relational interpretations: |
||||||||||
 |
||||||||||
| n | Objects in the
domain |
|||||||||
| n | Properties of
these objects |
|||||||||
| n | Relations (links)
between objects |
|||||||||
| Relational
languages allow universals: |
||||||||||
|
||||||||||
| n | General patterns
that apply to all objects |
|||||||||
| Rules of chess (one move) 100 axioms |