Dependency analysis for knowledge validation in rule-based expert systems

Keeping knowledge consistent is an important topic in the life cycle of developing expert systems. In this paper, we focus on some major problems in knowledge validation: redundancy, subsumption, cycles, conflict, and unnecessary conditions, and describe how these problems are solved in rule-based e...

Full description

Saved in:
Bibliographic Details
Main Authors: Wu, Chih-Hung, Lee, Shie-Jue, Chou, Hung-Sen
Format: Conference Proceeding
Language:English
Subjects:
Councils
Engines
Expert systems
Knowledge based systems
Knowledge engineering
Logic
Production
System testing
Terminology
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Keeping knowledge consistent is an important topic in the life cycle of developing expert systems. In this paper, we focus on some major problems in knowledge validation: redundancy, subsumption, cycles, conflict, and unnecessary conditions, and describe how these problems are solved in rule-based expert systems using dependency analysis. A rule-dependency graph is developed to describe the dependency relationship among the rules contained in a knowledge base. Since each type of inconsistent knowledge presents a specific topology in the rule-dependency graph, knowledge validation can be done by examining the structure of the graph. With the aid of the rule-dependency graph, we have developed a token-flow paradigm that identifies the inconsistent structure in the rule base. The idea is effective and can be easily implemented. Properties of our method are explored. Some practical examples are also presented.< >
DOI:10.1109/CAIA.1994.323657