Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Diagnosis and Fault-Tolerant Control of Critical Infrastructures Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

Constraint Programming for Constructive Abduction. A Case Study in Diagnostic Model-Based Reasoning

verfasst von : Antoni Ligęza

Erschienen in: Advanced Solutions in Diagnostics and Fault Tolerant Control

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

Diagnostic reasoning is often based on abduction. Abductive inference consists in generation of hypotheses which explain the current behavior of the system under investigation. Such a reasoning is based on accessible background knowledge and the results must be consistent with all auxiliary observations. Efficient abductive diagnosis is carried out as Model-Based Reasoning. The knowledge about the model defines the search-space for diagnostic hypotheses. Unfortunately, use of classical consistency-based reasoning leads to rough, qualitative results only, even if good knowledge of the correct model is available. In this paper and attempt to use Constraint Programming as a tool for diagnostic reasoning is presented. The ultimate goal is to provide more precise diagnoses. Two case studies, one concerning fault parameter evaluation, and the second concerning structural fault localization are presented.

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 Robust Guaranteed Cost Control for Nonlinear System Using Product Reduction Algorithm
Nächstes Kapitel Sensors of Single Faults - Remarks on Measurements in Diagnosis of Industrial Processes
Fußnoten
1
In Model-Based Diagnosis it is typically assumed that faulty behavior is caused by a fault of a named component or a simultaneous fault of a set of such components; no faults caused by faulty links, parameter setting or the internal structure are considered.
 
2
The constraints are direct codes of SWI-Prolog; for constraint modeling we use the clp(fd) package.
 
Literatur
1.
Cordier, M.O., et al.: AI and automatic control approaches of model-based diagnosis: links and underlying hypotheses. In: Edelmayer, A.M. (ed.) Preprints: SAFEPROCESS 2000, 4th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, pp. 274–279. IFAC (2000)
2.
Cordier, M.O., et al.: A comparative analysis of AI and control theory approaches to model-based diagnosis. In: Horn, W. (ed.) ECAI 2000. 14th European Conference on Artificial Intelligence, pp. 136–140. IOS Press (2000)
3.
Davis, R., Hamscher, W.: Model-Based Reasoning: Troubleshooting. Morgan Kaufmann Publishers, San Mateo (1992)
4.
Dechter, R.: Constraint Processing. Elsevier Science, New York (2003)MATH
5.
Feldman, A., Pietersma, J., van Gemund, A.: A multi-valued sat-based algorithm for faster model-based diagnosis. In: González, C.A., Escobet, T., Pulido, B. (eds.) DX 2006: 17-th International Workshop on Principles of Diagnosis, pp. 93–100 (2006)
6.
Hamscher, W., Console, L., de Kleer, J. (eds.): Readings in Model-Based Diagnosis. Morgan Kaufmann, San Mateo (1992)
7.
Korbicz, J., Kościelny, J., Kowalczuk, Z., Cholewa, W. (eds.): Fault Diagnosis. Models, Artificial Intelligence, Applications. Springer, Berlin (2004)MATH
8.
Kościelny, J.M.: Methodology of Process Diagnosis, Chap. 3, pp. 57–114. In: [7]. Springer (2004)
9.
Kościelny, J.M.: Models in Process Diagnosis, Chap. 2, pp. 29–43. In: [7]. Springer (2004)
10.
Ligęza, A.: Selected Methods of Knowledge Engineering in System Diagnosis, Chap. 16, pp. 633–668. In: [7]. Springer (2004)
11.
Ligęza, A.: A Constraint Satisfaction Framework for Diagnostic Problems, pp. 255–262. Control and Computer Science. Information Technology, Control Theory, Fault and System Diagnosis. Pomeranian Science and Technology Publisher PWNT, Gdańsk (2009)
12.
Ligęza, A.: Towards constructive abduction: solving abductive problems with constraint programming. In: Proceedings of the International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K, vol. 2-KEOD, pp. 352–357. SCITEPRESS - Science and Technology Publications, Lisbon, Portugal (2015)
13.
Ligęza, A.: Towards knowledge compilation for automated diagnosis: a qualitative, model-based approach with constraint programming. In: Kowalczuk, Z. (ed.) Advanced and Intelligent Computations in Diagnosis and Control. AISC, vol. 386, pp. 355–367. Springer, Cham (2016). doi:10.​1007/​978-3-319-23180-8_​26 CrossRef
14.
Ligęza, A., Kościelny, J.M.: 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
15.
Puig, V., Escobet, T., Ocampo-Martinez, C., Tornil-Sin, S.: Robust fault diagnosis of non-linear systems using constraints satisfaction. In: Preprints of the 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, pp. 1138–1143 (2009)
16.
17.
Travé-Massuyès, L.: Bridges between diagnosis theories from control and AI perspectives. In: Korbicz, J., Kowal, M. (eds.) Intelligent Systems in Technical and Medila Diagnosis, pp. 3–28. Springer (2014)
Metadaten
Titel
Constraint Programming for Constructive Abduction. A Case Study in Diagnostic Model-Based Reasoning
verfasst von
Antoni Ligęza
Copyright-Jahr
2018
Buch
Advanced Solutions in Diagnostics and Fault Tolerant Control

Print ISBN: 978-3-319-64473-8

Electronic ISBN: 978-3-319-64474-5

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-319-64474-5_8