Title :
Interactive verification of knowledge-based systems
Author :
Jafar, Musa ; Bahill, A. Terry
Author_Institution :
Dept. of Manage. & Syst., Washington State Univ., Pullman, WA, USA
Abstract :
The Validator program, which interactively checks the consistency and completeness of a knowledge base, is discussed. Validator verifies and validates rule-based expert systems and guarantees that every element in the knowledge base is accessible and essential to the system. The program checks for syntactic errors, unused rules, facts, and questions, incorrectly used legal values, redundant constructs, rules that use illegal values, wrong instantiations, and multiple methods for obtaining values for expressions.<>
Keywords :
interactive systems; knowledge based systems; program debugging; program verification; Validator program; debugging; instantiations; interactive verification; knowledge-based systems; redundant constructs; rule-based expert systems; syntactic errors; unused rules; Buildings; Dictionaries; Knowledge based systems; Knowledge engineering; Knowledge transfer; Law; Legal factors; Production; Subspace constraints; System testing;
Journal_Title :
IEEE Expert
