---
title: "An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON"
authors:
  - "Ronald J. Brachman"
  - "Victoria P. Gilbert"
  - "Hector J. Levesque"
doi: ""
url: "https://ijcai.org/proceedings/1985/102"
pdf: "https://ijcai.org/proceedings/1985/0102.pdf"
venue: "Proceedings of the Ninth International Joint Conference on Artificial Intelligence"
year: 1985
pages: "532-538"
track: "Knowledge Representation"
keywords:
---

# An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON

Ronald J. Brachman, Victoria P. Gilbert, Hector J. Levesque

*Proceedings of the Ninth International Joint Conference on Artificial Intelligence*, pages 532-538.

## Abstract

Hybrid inference systems are an important way to address the fact that intelligent systems have muiltifaceted representational and reasoning competence. KRYPTON is an experimental prototype that competently handles both terminological and assertional knowledge; these two kinds of information are tightly linked by having sentences in an assertional component be formed using struct ured complex predicates defined in a complementary terminological component. KRYPTON is unique in that it combines in a completely integrated fashion a frame-based description language and a first-order resolution theorem-prover. We give here both a formal Knowledge Leve l view of the user interface to KRYPTON and the technical Symbol Level details of the integration of the two disparate components, thus providing an essential picture of the abstract function that KRYPTON computes and the implementation tec hnology needed to make it work. We also illustrate the kind of complex question the system can answer.