Interactive Verification of Knowledge-Based Systems

Authors:
Musa Jafar;A. Terry Bahill
Affiliations:
-;-
Venue:
IEEE Expert: Intelligent Systems and Their Applications
Year:
1993

Citing 8
Cited 0

Software testing and evaluation

Software testing and evaluation
Knowledge base verification

AI Magazine
A decision-table-used processor for checking completeness and consistency in rule-based expert systems

International Journal of Man-Machine Studies
Acquiring & verifying knowledge

AI Expert
Empirical Analysis for Expert Systems

Empirical Analysis for Expert Systems
Software Validation, Verification, Testing and Documentation: A Source Book

Software Validation, Verification, Testing and Documentation: A Source Book
Validating Expert Systems

IEEE Expert: Intelligent Systems and Their Applications
A tool for interactive verification and validation of rule-based expert systems

A tool for interactive verification and validation of rule-based expert systems

Quantified Score

Hi-index	0.00

Visualization

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.