loading...
Interactive Verification of Knowledge-Based Systems
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/64.193052February 1993 (vol. 8 no. 1) pp. 25-32
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Musa Jafar, A. Terry Bahill, "Interactive Verification of Knowledge-Based Systems," IEEE Intelligent Systems, vol. 8, no. 1, pp. 25-32, February, 1993.
 
 
BibTex
x
 
@article{ 10.1109/64.193052,
author = {Musa Jafar and A. Terry Bahill},
title = {Interactive Verification of Knowledge-Based Systems},
journal ={IEEE Intelligent Systems},
volume = {8},
number = {1},
issn = {0885-9000},
year = {1993},
pages = {25-32},
doi = {http://doi.ieeecomputersociety.org/10.1109/64.193052},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Intelligent Systems
TI - Interactive Verification of Knowledge-Based Systems
IS - 1
SN - 0885-9000
SP25
EP32
EPD - 25-32
A1 - Musa Jafar,
A1 - A. Terry Bahill,
PY - 1993
VL - 8
JA - IEEE Intelligent Systems
ER -
 

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.

Citation:
Musa Jafar, A. Terry Bahill, "Interactive Verification of Knowledge-Based Systems," IEEE Intelligent Systems, vol. 8, no. 1, pp. 25-32, Feb. 1993, doi:10.1109/64.193052
Usage of this product signifies your acceptance of the Terms of Use.