Interpreting Descriptions in a Prolog-Based Knowledge Representation System

Abstract

by using some appropriately defined description operator "K. " Similarly, descriptions of sets were seen to be useful. For example, the expression "at least 12 CS courses " might suggest the use of an expression like that in fig. 1. where the components grouped bv the left brace must be written once for each set of twelve CS courser. This is clearly a tiresome way to express the assertion, and furthermore, would require extensive modification after any new CS course was created (e.g., by adding an assertion like "CScourse(CSl23)"). We would prefer something like where "K " is another appropriate description forming operator. Similar motivations have given rise to the following description forms in DLOG. Definite individuals. DLOG's definite individual provides a shorthand syntax for referring to a unique individual whose name is unknown. Intuitively, the variable binding symbol V can be read