Title :
Maintaining consistency in a rule-based expert system
Author :
Tzeng, Ching-Chung ; Kuo, Yau-Hwang ; Kung, Ling-Yang ; Chen, Tse
Author_Institution :
Inst. of Inf. Eng., Nat. Cheng Kung Univ., Tainan, Taiwan
Abstract :
A rule-based knowledge system (RBKS) clipping scheme is proposed which contains three heuristic algorithms to find circular rules, redundant rules, and conflicting rules. First, the authors create AND/OR graphs to construct the dependent-on relations among the literals in an RBKS. Then they manipulate an AND/OR graph as an ordinary digraph to get a reachability matrix. Finally, the authors use a heuristic search strategy, guided by the information implied in the reachability matrix, to find the circular rules, redundant rules, or conflicting rules
Keywords :
data integrity; expert systems; knowledge engineering; AND/OR graphs; RBKS; circular rules; clipping scheme; conflicting rules; dependency relations; heuristic algorithms; heuristic search strategy; reachability matrix; redundant rules; rule-based expert system; rule-based knowledge system; Connectors; Expert systems; Heuristic algorithms; Inference algorithms; Knowledge acquisition; Knowledge based systems; Knowledge engineering; Maintenance engineering; Production systems;
Conference_Titel :
TENCON '89. Fourth IEEE Region 10 International Conference
Conference_Location :
Bombay
DOI :
10.1109/TENCON.1989.176895
