Knowledge Systems Laboratory, Stanford
University
7
Blocks World
uObjects
a,
b, c, d, e, table
uRelations
8Above: {(a b) (a c)
(b c) (d e)}
8Clear: {(a) (d)}
8Table: {(c) (e)}
uFunctions
8On: {(a b) (b c)
(d e)}
a
b
c
d
e