UVT: A Unification-Based Tool for Knowledge Base Verification

Authors:
Faruk Polat;H. Altay Guvenir
Affiliations:
-;-
Venue:
IEEE Expert: Intelligent Systems and Their Applications
Year:
1993

Citing 4
Cited 7

Knowledge base verification

AI Magazine
Principles of artificial intelligence

Principles of artificial intelligence
A decision-table-used processor for checking completeness and consistency in rule-based expert systems

International Journal of Man-Machine Studies
Validating Expert Systems

IEEE Expert: Intelligent Systems and Their Applications

Prototype of an Intelligent Failure Analysis System

ICCBR '01 Proceedings of the 4th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
USING REENGINEERING FOR KNOWLEDGE-BASED SYSTEMS

Cybernetics and Systems
A state-based knowledge representation approach for information logical inconsistency detection in warning systems

Knowledge-Based Systems
KARMA: managing business rules from specification to implementation

IAAI'96 Proceedings of the eighth annual conference on Innovative applications of artificial intelligence
Reengineering for knowledge in knowledge based systems

KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I
Semantic tags: evaluating the functioning of rules in a knowledge based system

KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Dynamic representation of fuzzy knowledge based on fuzzy petri net and genetic-particle swarm optimization

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

A method for verifying knowledge bases that is based on the unification of rules is discussed. One characteristic that distinguishes this approach from other verification tools is that it infers some of the rules that are not explicitly given in the rule base and considers their effect on the verification process. The method can determine conflicting, redundant, subsumed, circular, and dead-end rules, redundant if conditions in rules, and cycles and contradictions within rules. The method has been implemented in a computer program called UVT (for unification-based verification tool) and tested on sample knowledge bases.