nach oben

Erschienen in:

2017 | OriginalPaper | Buchkapitel

20. Model-Based Diagnosis

verfasst von : Antoni Ligęza, Bartłomiej Górny

Erschienen in: Springer Handbook of Model-Based Science

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Diagnostic reasoning is an activity aimed at finding the causes of incorrect behavior of various technological systems. In order to perform diagnosis, a typical diagnostic system should be equipped with the expert knowledge of the domain and statistical evidence of former failures. More advanced solution combines model-based reasoning (MBR) and abduction. It is assumed that a model of the system under investigation is specified. Such a model allows us to simulate the normal behavior of the system. It can also be used to detect incorrect behavior and perform sophisticated reasoning in order to identify potential causes of the observed failure. Such potential causes form a set of possible diagnoses. In this chapter, formal bases for the so-called model-based diagnostic reasoning paradigm are presented and application examples are discussed in detail. A method of modeling system behavior with the use of causal graphs is put forward. Then, a systematic method for discovering all the so-called conflict sets (disjunctive conceptual faults) is described. Such conflict sets describe sets of elements in such a manner that in order to explain the observed misbehavior at least one of them must be faulty. By selecting and removing such elements from all conflicts sets – for each conflict set one such element – the proper candidate diagnoses are generated. An example of the application of the proposed methods to the three-tank dynamic system is presented and some bases for on-line generation of diagnoses for dynamic systems are outlined, together with some theorems. The chapter introduces an easy and self-contained material being an introduction to modern model-based diagnosis, covering static and dynamic systems.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Hypothetical Models in Social Science

Nächstes Kapitel Thought Experiments in Model-Based Reasoning

R. Davis, W. Hamscher: Model-based reasoning: Troubleshooting. In: Readings in Model-Based Diagnosis, ed. by W. Hamscher, L. Console, J. deKleer (Morgan Kaufmann, San Mateo 1992) pp. 3–24

W. Hamscher, L. Console, J. de Kleer (Eds.): Readings in Model-Based Diagnosis (Morgan Kaufmann, San Mateo 1992)

J. Korbicz, J.M. Kościelny, Z. Kowalczuk, W. Cholewa (Eds.): Fault Diagnosis. Models, Artificial Intelligence, Applications (Springer, Berlin 2004)MATH

J. Liebowitz (Ed.): The Handbook of Applied Expert Systems (CRC, Boca Raton 1998)MATH

D. Poole: Normality and faults in logic-based diagnosis, Proc. IJCAI-89, Detroit, ed. by N.S. Sridharan (Morgan Kaufmann, San Mateo 1989) pp. 1304–1310

A. Ligęza: Logical Foundations for Rule-Based Systems (Springer, Berlin, Heidelberg 2006)MATH

M.R. Genesereth: The use of design descriptions in automated diagnosis, Artificial Intell. 24, 411–436 (1984)CrossRef

P. Fuster, A. Ligęza, J.A. Martin: Abductive diagnostic procedure based on an and/or/not graph for expected behaviour: Application to a gas turbine, Proc.10th Int. Congr. and Exhib. Cond. Monit. Diagn. Eng. Manag. (COMADEM), ed. by E. Jantunen, K. Holmberg, R.B.K. Rao (Valtion Teknillinen Tutkimuskeskus, Helsinki 1997) pp. 511–520

K. D. Althoff, E. Auriol, R. Barletta, M. Manago: A Review of Industrial Case-Based Tools, AI Intelligence Report (Oxford 1995)

10.

C. Bach, D. Allemang: Case-based reasoning in diagnostic expert systems, Artificial Intell. Commun. 9(2), 49–52 (1996)

11.

I. Watson: Applying Case-Based Reasoning: Techniques for Enterprise Systems (Morgan Kaufmann, San Francisco 1997)MATH

12.

P.M. Frank: Fault diagnosis in dynamic systems using analitical and knowledge-based redundancy – A survey and some new results, Automatica 26(3), 459–474 (1990)MathSciNetCrossRefMATH

13.

P.M. Frank: Analytical and qualitative model-based fault diagnosis – A survey and some new results, Eur. J. Control. 2, 6–28 (1996)CrossRefMATH

14.

R. Paton, P. Frank, R. Clark: Fault Diagnosis in Dymnamic Systems. Theory and Applications (Prentice Hall, USA 1989)

15.

S.G. Tzafestas (Ed.): Knowledge-Based System Diagnosis, Supervision and Control (Plenum, New York, London 1989)

16.

M.O. Cordier, P. Dague, M. Dumas, F. Lévy, J. Moutmain, M. Staroswiecki, L. Travé-Massuyès: AI and automatic control approaches of model-based diagnosis: Links and underlying hypotheses, Proc. 4th IFAC Symp. Fault Detection, Superv. Saf. Technical Process., ed. by A.M. Edelmayer (IFAC, Budapest 2000) pp. 274–279

17.

M.O. Cordier, P. Dague, M. Dumas, F. Lévy, J. Moutmain, M. Staroswiecki, L. Travé-Massuyès: A comparative analysis of AI and control theory approaches to model-based diagnosis, Proc. 14th Eur. Conf. Artificial Intell. ECAI’2000, ed. by W. Horn (IOS, Berlin 2000) pp. 136–140

18.

L. Travé-Massuyès: Bridges between diagnosis theories from control and AI perspectives. In: Intelligent Systems in Technical and medila Diagnosis, ed. by J. Korbicz, M. Kowal (Springer, Heidelberg 2014) pp. 3–28CrossRef

19.

J. de Kleer, A.K. Mackworth, R. Reiter: Characterizing diagnoses and systems, Artificial Intell. 56, 197–222 (1992)MathSciNetCrossRefMATH

20.

R. Davis: Diagnostic reasoning based on structure and behavior, Artificial Intell. 24, 347–410 (1984)CrossRef

21.

J. de Kleer, B.C. Williams: Diagnosing multiple faults, Artificial Intell. 32, 97–130 (1987)CrossRefMATH

22.

R. Reiter: A theory of diagnosis from first principles, Artificial Intell. 32, 57–95 (1987)MathSciNetCrossRefMATH

23.

P. Fuster-Parra: A Model for Causal Diagnostic Reasoning. Extended Inference Modes and Efficiency Problems, Ph.D. Thesis (Univ. Balearic Islands, Palma de Mallorca 1996)

24.

A. Ligęza: A Note on Systematic Conflict Generation in CA-EN-Type Causal Structures, LAAS Report No. 96317 (LAAS, Toulouse 1996)

25.

A. Ligęza, P. Fuster-Parra: AND/OR/NOT causal graphs – A model for diagnostic reasoning, Appl. Math. Comput. Sci. 7(1), 185–203 (1997)MathSciNetMATH

26.

A. Ligęza, B. Górny: Systematic conflict generation in model-based diagnosis, Proc. 4th IFAC Symp. Fault Detection, Superv. Saf. Technical Process., Budapest, ed. by A.M. Edelmayer (IFAC, Budapest 2000) pp. 1103–1108

27.

B. Górny, A. Ligęza: Model-based diagnosis of dynamic systems: Systematic conflict generation. In: Model-Based Reasoning, Scientific Discovery, Technological Innovations, Values, ed. by L. Magnani, N.J. Nersessian, C. Pizzi (Kluwer Academic, Dordrecht 2002) pp. 273–291

28.

A. Ligęza: Selected methods of knowledge engineering in system diagnosis. In: Fault Diagnosis. Models, Artificial Intelligence, Applications, ed. by J. Korbicz, J.M. Kościelny, Z. Kowalczuk, W. Cholewa (Springer, Berlin 2004) pp. 633–668, Chap.16

29.

A. Ligęza, J.M. Kościelny: A new approach to multiple fault diagnosis. Combination of diagnostic matrices, graphs, algebraic and rule-based models. The case of two-layer models, Int. J. Appl. Math. Comput. Sci. 18(4), 465–476 (2008)MATH

30.

B. Górny: Consistency-Based Reasoning in Model-Based Diagnosis, Ph.D. Thesis (AGH, Kraków 2001)

31.

B. Pulido, C.A. González: An alternative approach to dependency-recording engines in consistency-based diagnosis. In: Artificial Intelligence: Methodology, Systems, and Applications, Lecture Notes in Artificial Intelligence, Vol. 1904, ed. by S.A. Cerri, D. Dochev (Springer, Berlin, Heidelberg 2000) pp. 111–121

32.

B. Pulido, C.A. González: Possible conflicts: A compilation technique for consistency-based diagnosis, IEEE Trans. Systems Man and Cybernetics 34(5), 2192–2206 (2004)CrossRef

33.

A. Ligęza: A constraint satisfaction framework for diagnostic problems. In: Diagnosis of Processes and Systems, ed. by Z. Kowalczuk (Pomeranian Science and Technology, Gdańsk 2009) pp. 255–262

34.

A. Ligęza: Towards knowledge compilation for automated diagnosis: A qualitative, model-based approach with constraint programming. In: Advanced and Intelligent Computations in Diagnosis and Control, ed. by Z. Kowalczuk (Springer International, Switzerland 2016) pp. 355–367CrossRef

Titel: Model-Based Diagnosis
verfasst von: Antoni Ligęza
Bartłomiej Górny
Verlag: Springer International Publishing
Buch: Springer Handbook of Model-Based Science
Print ISBN: 978-3-319-30525-7

Electronic ISBN: 978-3-319-30526-4

Copyright-Jahr: 2017
DOI: https://doi.org/10.1007/978-3-319-30526-4_20

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"