Neal, J. G., and Shapiro, S. C. 1994. Knowledge-based multimedia systems . In Buford, J. F. K., ed., Multimedia Systems. That transducer, however, is not the subject of this chapter. There are four types of expressions in SNePS logic, denoting propositions, rules, acts, and individuals.
Propositions are the sorts of entities that agents can believe or disbelieve.
Knowledge-based multimedia systems .