© 2000 Todd Neller.  A.I.M.A. text figures © 1995 Prentice Hall.  Used by permission.
Building Atomic Sentences: Symbols
•Domain of Discourse (DOD) - relevant things in the world that we’re 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.