Premium
Modeling in the design of a KBS validation system
Author(s) -
Larsen Henrik L.,
fjall Heri
Publication year - 1991
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.4550060706
Subject(s) - computer science , abstraction , knowledge representation and reasoning , inference , representation (politics) , set (abstract data type) , artificial intelligence , knowledge based systems , domain (mathematical analysis) , modeling language , systems modeling , domain knowledge , software engineering , machine learning , programming language , software , mathematics , mathematical analysis , philosophy , epistemology , politics , political science , law
Abstract We describe and illustrate the modeling issues in the design of a system for validation of knowledge based systems (KBSs). the domain of such a validation system is “KBSs and their validation problems.” the basic idea in our solution is the following. Since different KBSs may use different knowledge representation languages, we first represent the target KBS (i.e., the KBS to be validated) in a general formal model of KBS, and then validate it in this form. the advantage of this strategy is that validation problem solving needs only to refer to the common language of the general formal model. We present a set of possible conceptual abstraction levels in such a model, and argue that each level is associated with a related view on validation problems. Since high level characterizations are difficult to abstract from current knowledge representation languages, we consider the formal aspects of modeling mainly at the “lowest” level, the so‐called inference primitive level. We illustrate the approach by formalizing a solution for selected modeling issues at this level.