Chinese Journal of Computers   Full Text
Title	Abstraction and Reuse of Diagnosing with Value Propagation
Authors	ZHANG Xue-Nong 1),2) JIANG Yun-Fei2) CHEN Ai-Xiang2) ZHANG Li-Cheng1)
Address	1)(Network Center, Guangdong Pharmaceutical University, Guangzhou 510006) 2)(Software Research Institute, Sun Yat-Sen University, Guangzhou 510275)
Year	2009
Issue	No.7(1264—1279)
Abstract &   Background	Abstract This paper presents a system model based on value propagation and redefines the diagnosis. On the basis of above works, an algorithm for finding one minimal diagnosis is brought out. Furthermore, this paper defines the concept of value propagation route for abstracting the process of diagnosis, and reduces the route space by deleting equivalence routes. Then, an algorithm to diagnosing system based on value propagation route space is introduced, which terminates in polynomial time for some special systems. Keywords model-based diagnosis; value propagation; process abstraction; process reuse Background Automated diagnosis is an active field of AI research. A diagnostic problem is characterized by a set of observations to account for the differences between the system’s actual behaviors and its expected behaviors. Model-based diagnosis addresses the systems whose nominal behaviors can be specified as a mapping from their input variables to their output variables. The classical method is built on the well-known consistency-based theory and the classical model describes the system’s structure and behavior usually by the first-order language. This paper presents a system model based on value propagation and redefines the diagnosis. On the basis of the concept of value propagation route for abstracting the process of diagnosis, an algorithm to diagnosing system is introduced, which terminates in polynomial time for some special systems. This work is supported by the Natural Science Foundations of China under grant Nos.60773201, and 60173039.