Premium
The NIKL experience 1
Author(s) -
SCHMOLZE JAMES G.,
MARK WILLIAM S.
Publication year - 1991
Publication title -
computational intelligence
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.353
H-Index - 52
eISSN - 1467-8640
pISSN - 0824-7935
DOI - 10.1111/j.1467-8640.1991.tb00334.x
Subject(s) - computer science , representation (politics) , successor cardinal , semantics (computer science) , knowledge representation and reasoning , core (optical fiber) , artificial intelligence , process (computing) , natural language processing , programming language , mathematics , mathematical analysis , telecommunications , politics , political science , law
NIKL was the successor to KL‐ONE, the first knowledge representation system to implement “term subsumption” semantics. The primary goals for NIKL were to improve the expressivity and efficiency of KL‐ONE. In the process of developing and using NIKL as the primary representational vehicle for several applications, important new representational needs were identified and addressed, and issues both theoretical and practical in knowledge representation were formulated. In this paper, we present the core of NIKL by way of description, examples, and a model theoretic semantics. We describe the motivations behind the major NIKL design decisions, and discuss NIKL'S capabilities and limitations as a working representation system.