Defining and exploring properties in diagnostic systems



Nuno Belard Yannick Pencolé Michel Combacau


Every model-based diagnostic approach relies on a representation of a real-world system, in this paper called believed system. The believed system is used along with the observations about the real-world system to generate a diagnostic problem to be solved. In this paper it is firstly argued that believed systems can differ from real-world systems in many different manners. As so, properties of believed systems, diagnostic problems and diagnostic results are introduced. Then, a series of relations between these properties are proved. The importance of such relations, sometimes seen as intuitive, is that they are necessary to formally prove the accordance between the real-world system and the believed system; to formally prove that a believed system and a diagnostic problem will produce high-quality diagnostic results; or even to ease diagnostic algorithms, since for systems and problems with certain properties, different model-based diagnostic approaches produce the same diagnostic results. In order to introduce the referred properties and reasoning about them a framework of diagnosis based on the difference between the believed and the real systems is proposed.

How to Cite

Belard, N., Pencolé, Y., & Combacau, M. (2010). Defining and exploring properties in diagnostic systems. Annual Conference of the PHM Society, 2(2).
Abstract 1 | PDF Downloads 1



Model properties, logical foundations, model incompleteness

( Console and Torasso, 1991 ) Luca Console and Pietro Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7:133–141, 1991.
(Console et al., 1989 ) Luca Console, Daniele Theseider Dupre, and Pietro Torasso. A theory of diagnosis for incomplete causal models. In Proc. 11th IJCAI, pages 1311–1317, 1989.
(Davis, 1984 ) Randall Davis. Diagnostic reasoning based on structure and behavior. Artif. Intell., 24(13):347–410, 1984.
(de Kleer and Williams, 1987 ) Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artif. Intell., 32(1):97–130, 1987.
(de Kleer et al., 1992 ) Johan de Kleer, Alan K. Mackworth, and Raymond Reiter. Characterizing diagnoses and systems. Artif. Intell., 56(2-3), 1992.
(Hodges, 1993 ) Wilfrid Hodges. Model Theory. Number 42 in Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1993.
( Marker, 2002 ) David Marker. Model Theory: An Introduction, volume 217 of GTM. Springer-Verlag, New York, NY, 2002.
(Poole, 1988 ) David Poole. Representing knowledge for logic-based diagnosis. In FGCS, 1988.
(Reiter, 1987 ) Raymond Reiter. A theory of diagnosis from first principles. Artif. Intell., 32(1), 1987.
(Ribot et al., 2009 ) Pauline Ribot, Yannick Pencolé, and Michel Combacau. Diagnosis and prognosis for the maintenance of complex systems. In Proc. SMC’09, IEEE International Conference on Systems, Man, and Cybernetics, 2009.
(Struss, 1992 ) Peter Struss. What’s in SD?: Towards a theory of modeling for diagnosis, pages 419–449. Morgan Kaufmann Publishers Inc., 1992.
(Tarski, 1936 ) Alfred Tarski. The concept of truth in formalized languages. In Logic, Semantics, Metamathematics, pages 152–278. Oxford University Press, Oxford, 1936.
Poster Presentations