Knowledge Systems Laboratory, Stanford
University
5
Conceptualization
uSet of objects about which knowledge is being expressed
8Universe of discourse
uSet of relations and functions on the objects
8Relation
>Set of finite lists of objects
E.g., Parent: {(Richard
Earl) (Richard Polly) (Debbie Don) …
}
>Mapping: <list of objects> ®
<truth value>
8Function
>Relation that has exactly one nth element for any given
n-1 elements
E.g, +: {(1 3 4) (17 23 40)
(2 7 10 12 31) (2 7 A ^)
…}
>Referred to as (arg1, arg2, … , argk, value)
>Mapping: <list of objects> ®
<object>
uTruth values
true and false