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 ﬁrstly 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
Model properties, logical foundations, model incompleteness
(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 ﬁrst 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.
The Prognostic and Health Management Society advocates open-access to scientific data and uses a Creative Commons license for publishing and distributing any papers. A Creative Commons license does not relinquish the author’s copyright; rather it allows them to share some of their rights with any member of the public under certain conditions whilst enjoying full legal protection. By submitting an article to the International Conference of the Prognostics and Health Management Society, the authors agree to be bound by the associated terms and conditions including the following:
As the author, you retain the copyright to your Work. By submitting your Work, you are granting anybody the right to copy, distribute and transmit your Work and to adapt your Work with proper attribution under the terms of the Creative Commons Attribution 3.0 United States license. You assign rights to the Prognostics and Health Management Society to publish and disseminate your Work through electronic and print media if it is accepted for publication. A license note citing the Creative Commons Attribution 3.0 United States License as shown below needs to be placed in the footnote on the first page of the article.
First Author et al. This is an open-access article distributed under the terms of the Creative Commons Attribution 3.0 United States License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.