The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - February (1993 vol.8)
pp: 25-32
ABSTRACT
<p>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.</p>
CITATION
Musa Jafar, A. Terry Bahill, "Interactive Verification of Knowledge-Based Systems", IEEE Intelligent Systems, vol.8, no. 1, pp. 25-32, February 1993, doi:10.1109/64.193052
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool