Abstract: This paper presents a system model based on value propagation and redefined the diagnosis, which is equivalent with Reiter＇s classical defination. On the bases of above, a-linear-time algorithm for finding one minimal diagnosis is brought out. It need not

Key words: Value propagation, Model-based diagnosis, Minimal diagnosis