Structural model and reasoning in hierarchical diagnosis
Abstract
Fault diagnosis becomes more and more difficult and sophisticated task. This is so mainly due to growing complexity - contemporary technological systems are assembled from numerous components which cooperate and recursively include other components. The main goal of this paper consists in presentation of an approach which is able to reduce time of diagnosis and quantity of produced diagnoses by using hierarchical, logic-based approach. The reduction is achieved here due to two main factors . The first one is that a hierarchical model of systems is used. Such approach limits search space, because the system is considered at various levels of details and some diagnoses which are possible potential ones at more abstract levels can be verified to be impossible at more detailed levels. The second factor is that levels can be described with use of different kinds of a logic-based knowledge representation, what lets fit some best representation to a particular level.
Keywords
References
[1] J. Chen, R.J. Patton. Robust Model Based Fault Diagnosis for Dynamic Systems. Kluwer Academic Publishers, Boston, 1999.[2] E.Y. Chow, A.S. Willsky. Analytical redundancy and the design of robust failure detection systems. IEEE Transaction Automatic Control, 29(3): 603-614, 1984.
[3] F. Giunchiglia, T. Walsh. Abstract theorem proving. Proc. 11th Intl. Joint Conf. on Artificial Intelligence, IJCAI-89, 372-377, Morgan Kaufmann, Detroit, MI, 1989.
[4] J. Jagielski. Knowledge engineering in expert systems. Lubuskie Towarzystwo Naukowe, Zielona Góra, 2001.
[5] J. Korbicz, J.M. Kościelny, Z. Kowalczuk, W. Cholewa eds., Fault Diagnosis. Springer-Verlag, 2004.