Knowledge Systems Laboratory, Stanford
University
17
Declarative Semantics
uInterpretation of a constant –
8<object constant> Þ <object>
8<logical constant> Þ <truth value>
8<relation constant> Þ <relation>
8<function constant> Þ <function>
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
V’ is a
version of a variable assignment V with respect to variables v1,…,vn if and only if V’
agrees with V on all variables except v1,…,vn.