Abstract :
The KVAT knowledge validation tool, which tests core knowledge bases (CKBs) using cases, is discussed. KVAT relieves experts and knowledge engineers from manually validating the CKBs in a prototype knowledge-base system (KBS). KVAT addresses some of the most central problems met when KBSs are validated: what to validate, what to validate with, what to validate against, when to validate, and how to validate. A help desk prototype developed using KVAT is described to illustrate how the tool works. The authors have found KVAT´s strengths to be a high level of abstraction, user friendliness, and generality.<>
Keywords :
knowledge based systems; knowledge engineering; program testing; program verification; software tools; KVAT; abstraction; case-based testing; core knowledge bases; generality; help desk prototype; knowledge validation tool; prototype knowledge-base system; system validation; user friendliness; Calculus; Knowledge acquisition; Knowledge based systems; Knowledge engineering; Prototypes; Research and development; Software engineering; Software systems; Software tools; Testing;
