{"type":"ScholarlyArticle","title":"An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON","authors":[{"name":"Ronald J. Brachman","slug":"ronald-j-brachman","given":"Ronald J.","family":"Brachman","affiliation":""},{"name":"Victoria P. Gilbert","slug":"victoria-p-gilbert","given":"Victoria P.","family":"Gilbert","affiliation":""},{"name":"Hector J. Levesque","slug":"hector-j-levesque","given":"Hector J.","family":"Levesque","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1985/102","pdf":"https://ijcai.org/proceedings/1985/0102.pdf","markdown":"https://ijcai.org/proceedings/1985/102.md","bibtex":"https://ijcai.org/proceedings/1985/bibtex/102","volume":{"slug":"1985","title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1985","url":"https://ijcai.org/proceedings/1985/","year":1985,"location":"Los Angeles, California, USA","dates":"","editors":"Aravind Joshi","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Knowledge Representation","track":"Knowledge Representation","number":102,"pages":{"first":532,"last":538},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}