Knowledge Systems Laboratory, Stanford University
10
Declarative Semantics
uInterpretation of a constant –
8^ Þ Bottom
8<object constant other than ^> Þ <object other than Bottom>
8<logical constant> Þ <truth value>
8<relation constant> Þ <relation>
8<function constant> Þ <function>
u
uVariable assignment –
8<individual variable> Þ <object>
8<sequence variable> Þ <finite sequence of objects>
uSemantic value of a term  –       <term> Þ <object>
8Defined in terms of an interpretation and variable assignment
uTruth value of a sentence  –       <sentence> Þ {true, false}
8Defined in terms of an interpretation and variable assignment
uVersion of a variable assignment