An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON

  title={An essential hybrid reasoning system: knowledge and symbol level accounts of KRYPTON},
  author={Ronald J. Brachman and Victoria P. Gilbert and Hector J. Levesque},
  booktitle={IJCAI 1985},
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 structured complex predicates denned in a complementary terminological component. KRYPTON is unique in that it combines in… CONTINUE READING
Highly Influential
This paper has highly influenced 12 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS


Publications citing this paper.


Publications referenced by this paper.
Showing 1-9 of 9 references

A n Overview of the K L - O N E Knowledge Representat ion System.

Brachman, Schmolse, 1985 Brachman, J R., J. G. Schmolse
Cognitive Science, • 1985


E., "Automated Deduction by Theory Resolution," to appear in J. Automated Reasoning, • 1985


J . , " ' I Lied About the Trees.'" Al Magazine, Vol. 6, No. 3, Fall, • 1985
View 2 Excerpts


, "Why We Need Many Knowledge Representation Formalisms," Br i t ish Computer Society Expert Systems Conference, December, • 1984
View 2 Excerpts

Kryp ton : A Functional Approach to Knowledge Representation.

Brachman, 1983b Brachman, J R., R. E. Fikes, H. J. Levesque
IEEE Computer, Special Issue on Knowledge Representation, • 1983

Entailment: The Logic of Relevance and Necessity

A. R. Anderson, N. D. Belnap, Jr.
Vol. 1. Princeton, NJ : Princeton University Press, • 1975

Mul t ip le Representations of Knowledge for Tutor ia l Reasoning," in Representation and Understanding: Studies in Cognitive Science

Brown, Bur ton, J. S. 1975 Brown, R. R. Bur ton

Similar Papers

Loading similar papers…