Abstract
Despite ample advantages of model-based diagnosis, in practice its use has been somehow limited to proof-of-concept prototypes. Some reasons behind this observation are that the required modeling step is resource consuming, and also that this step requires additional training. In order to overcome these problems, we suggest to use modeling languages like Modelica that are already established in academia and industry for describing cyber-physical systems as basis for deriving logic based models. Together with observations about the modeled system, those models can then be used by an abductive diagnosis engine for deriving the root causes for detected defects. The idea behind our approach is to introduce fault models for the components written in Modelica, and to use the available simulation environment to determine behavioral deviations to the expected outcome of a fault free model. The introduced fault models and gained information about the resulting deviations can be directly mapped to horn clauses to be used for diagnosis.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Gray, C.S., Koitz, S.P. R., Wotawa, F.: An abductive diagnosis and modeling concept for wind power plants. In: 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (2015)
Console, L., Dupré, D.T., Torasso, P.: On the relationship between abduction and deduction. J. Logic Comput. 1(5), 661–690 (1991)
Console, L., Torasso, P.: Integrating models of correct behavior into abductive diagnosis. In: Proceedings of the European Conference on Artificial Intelligence (ECAI), pp. 160–166. Pitman Publishing, Stockholm, August 1990
Davis, R.: Diagnostic reasoning based on structure and behavior. Artif. Intell. 24, 347–410 (1984)
Friedrich, G., Gottlob, G., Nejdl, W.: Hypothesis classification, abductive diagnosis and therapy. In: Gottlob, G., Nejdl, W. (eds.) Expert Systems in Engineering. LNCS, vol. 462, pp. 69–78. Springer, Heidelberg (1990)
Fritzson, P.: Object-Oriented Modeling and Simulation with Modelica 3.3–A Cyber-physical Approach, 2nd edn. Wiley-IEEE Press, Hoboken (2014)
de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artif. Intell. 32(1), 97–130 (1987)
Lunde, K.: Object oriented modeling in model based diagnosis. In: 2000 Proceedings of the Modelica Workshop, pp. 111–118 (2000)
Minhas, R., de Kleer, J., Matei, I., Saha, B.: Using fault augmented modelica models for diagnostics. In: Proceedings of the 10th International Modelica Conference. Lund, Sweden, 10–12 March 2014
Pell, B., Bernard, D., Chien, S., Gat, E., Muscettola, N., Nayak, P., Wagner, M., Williams, B.: A remote-agent prototype for spacecraft autonomy. In: Proceedings of the SPIE Conference on Optical Science, Engineering, and Instrumentation, Volume on Space Sciencecraft Control and Tracking in the New Millennium. Society of Professional Image Engineers, Bellingham (1996)
Pill, I., Quaritsch, T.: Behavioral diagnosis of LTL specifications at operator level. In: International Joint Conference on Artificial Intelligence, pp. 1053–1059 (2013)
Rajan, K., Bernard, D., Dorais, G., Gamble, E., Kanefsky, B., Kurien, J., Millar, W., Muscettola, N., Nayak, P., Rouquette, N., Smith, B., Taylor, W., Tung, Y.: Remote agent: an autonomous control system for the new millennium. In: Proceedings of the 14th European Conference on Artificial Intelligence (ECAI), Berlin, Germany, August 2000
Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57–95 (1987)
Sachenbacher, M., Struss, P., Carlén, C.M.: A prototype for model-based on-board diagnosis of automotive systems. AI Commun. 13(2), 83–97 (2000). Special Issue on Industrial Applications of Model-Based Reasoning
Sterling, R., Struss, P., Febres, J., Sabir, U., Keane, M.M.: From modelica models to fault diagnosis in air handling units. In: Proceedings of the 10th International Modelica Conference, Lund, Sweden, 10–12 March 2014
Struss, P., Rehfus, B., Brignolo, R., Cascio, F., Console, L., Dague, P., Dubois, P., Dressler, O., Millet, D.: Model-based tools for the integration of design and diagnosis into a common process - a project report. In: Proceedings of the Thirteenth International Workshop on Principles of Diagnosis, Semmering, Austria (2002)
Wotawa, F.: Failure mode and effect analysis for abductive diagnosis. In: Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-14) (2014)
Acknowledgement
The work presented in this paper has been supported by the FFG project Applied Model Based Reasoning (AMOR) under grant 842407. We would further like to express our gratitude to our industrial partner, Uptime Engineering GmbH.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Peischl, B., Pill, I., Wotawa, F. (2016). Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems. In: Friedrich, G., Helmert, M., Wotawa, F. (eds) KI 2016: Advances in Artificial Intelligence. KI 2016. Lecture Notes in Computer Science(), vol 9904. Springer, Cham. https://doi.org/10.1007/978-3-319-46073-4_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-46073-4_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-46072-7
Online ISBN: 978-3-319-46073-4
eBook Packages: Computer ScienceComputer Science (R0)