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

fYear

1989

fDate

22-24 Nov 1989

Firstpage

63

Lastpage

66

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;

fLanguage

English

Publisher

ieee

Conference_Titel

TENCON '89. Fourth IEEE Region 10 International Conference

Conference_Location

Bombay

Type

conf

DOI

10.1109/TENCON.1989.176895

Filename

176895