A general framework of constraint propagation for diagnostic systems

Author

Tsuchiya, Ryuji ; Ogino, Takahiko

Author_Institution

Railway Tech. Res. Inst., Tokyo, Japan

fYear

1990

fDate

22-25 Oct 1990

Firstpage

348

Lastpage

352

Abstract

A general framework of constraint propagation that can effectively be used in model-based diagnostic systems is proposed. The framework is based on making a clear distinction between the global propagation mechanism that controls the propagation process as a whole and the local updating procedures that transmit values and reason sets through each constraint. A diagnostic expert system for combinational circuits that is based on this idea is presented. The system shows a good tradeoff between efficiency and generality and is believed to provide a basis for model-based diagnosis in other domains as well

Keywords

deductive databases; expert systems; fault location; heuristic programming; combinational circuits; constraint propagation; diagnostic expert system; diagnostic systems; global propagation mechanism; local updating procedures; reason sets; Circuit faults; Combinational circuits; Diagnostic expert systems; Fault diagnosis; Humans; Inference mechanisms; Power system modeling; Process control; Rail transportation; Testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Technology, 1990. 'Next Decade in Information Technology', Proceedings of the 5th Jerusalem Conference on (Cat. No.90TH0326-9)

Conference_Location

Jerusalem

Print_ISBN

0-8186-2078-1

Type

conf

DOI

10.1109/JCIT.1990.128304

Filename

128304