KRYPTON: Integrating Terminology and Assertion

The demands placed on a knowledge representation scheme by a knowledge-based system are generally not all met by any of today's candidates. Representation languages based on frames or semantic networks have intuitive appeal for forming descriptions but tend to have severely limited assertional power, and are often fraught with ambiguous readings. Those based on first-order logic are less limited assertionally, but are restricted to primitive, unrelated terms. We have attempted to overcome these limitations in a new, hybrid knowledge representation system, called "KRYPTON". KRYPTON has two representation languages, a frame-based one for forming domain-specific descriptive terms and a logic-based one for making statements about the world. We here summarize the two languages, a functional interface to the system, and an implementation in terms of a taxonomy of frames and its interaction with a first-order theorem prover.

[1]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[2]  P. Hayes.  The Logic of Frames , 1981 .

[3]  H. Levesque.  A formal treatment of incomplete knowledge bases , 1981 .

[4]  Hector J. Levesque,et al.  Competence in Knowledge Representation , 1982, AAAI.

[5]  James G. Schmolze,et al.  Classification in the KL-ONE Knowledge Representation System , 1983, IJCAI.

[6]  Jack Minker,et al.  A PREDICATE CALCULUS BASED SEMANTIC NETWORK FOR DEDUCTIVE SEARCHING , 1979 .

[7]  Mark E. Stickel,et al.  A Nonclausal Connection-Graph Resolution Theorem-Proving Program , 1982, AAAI.

[8]  J. A. Mercer,et al.  The role of logic , 2021, The Problem of Plurality of Logics.

[9]  Mark E. Stickel.  Theory Resolution: Building in Nonequational Theories , 1983, AAAI.

[10]  Charles Rich.  Knowledge Representation Languages and Predicate Calculus: How to Have Your Cake and Eat It Too , 1982, AAAI.

[11]  Hector J. Levesque,et al.  Krypton: A Functional Approach to Knowledge Representation , 1983, Computer.

[12]  Robert C. Moore.  The Role of Logic in Knowledge Representation and Commonsense Reasoning , 1982, AAAI.

[13]  Richard Fikes,et al.  A Network-Based Knowledge Representation and Its Natural Deduction System , 1977, IJCAI.

[14]  Eugene Charniak,et al.  A Common Representation for Problem-Solving and Language-Comprehension Information , 1981, Artif. Intell..

[15]  Raymond Reiter,et al.  Equality and Domain Closure in First-Order Databases , 1980, JACM.