Knowledge Systems Laboratory, Stanford University
11
Semantic Value
uDenote “semantic value” by “SIV”
8I is an interpretation
8V is a variable assignment
uSemantic value of a constant
8SIV(<constant>)  =  I(<constant>)
uSemantic value of a variable
8SIV(<variable>)  =  V(<variable>)
uSemantic value of a function term
8SIV((fn term1 … termn))  =
8 The object O such that áSIV(term1) … SIV (termn) Oń is a member of set I(fn)
8SIV((fn term1 … termn @var))  =
8 The object O such that áSIV(term1) … SIV(termn) | V(@var) Oń is a member of set I(fn)