Structural model and reasoning in hierarchical diagnosis

  • Jakub Oleksiak AGH University of Science and Technology
  • Antoni Ligęza AGH University of Science and Technology


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.



[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.
Nov 30, 2022
How to Cite
OLEKSIAK, Jakub; LIGĘZA, Antoni. Structural model and reasoning in hierarchical diagnosis. Computer Assisted Methods in Engineering and Science, [S.l.], v. 12, n. 2-3, p. 195-206, nov. 2022. ISSN 2956-5839. Available at: <>. Date accessed: 23 june 2024.