The interaction between assertional and terminological knowledge in krypton
Victoria Pigman · 1984
KRYPTON is a knowledge representation system that embodies a functional approach and divides its knowledge into two types, corresponding to structured definitions for terminological information and assertions of contingent facts about some world. In the current implementation of KRYPTON, we have integrated a taxonomy containing frame-like definitions, similar to that of KL-ONE, with a non-clausal connection graph resolution theorem prover. Herein we shall focus on the interaction between these two pieces in forming an integrated KRYPTON system. This interaction is centered around the use of the definitions in the terminological hierarchy to form links in the connection graph and in how these links are to be activated. We have found that the functionality needed in a general-purpose theorem prover is not entirely malleable to the needs of a system whose domain-specific terms are assumed to form a terminological hierarchy.