© 2000 Todd Neller.
A.I.M.A. t
ext
figures
© 1995 Prentice Hall.
Used by
permission.
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”.)
