Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Advanced Solutions in Diagnostics and Fault Tolerant Control (DPS 2017)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 635))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 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. 2.

    The constraints are direct codes of SWI-Prolog; for constraint modeling we use the clp(fd) package.

References

  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)

    Google Scholar 

  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)

    Google Scholar 

  3. Davis, R., Hamscher, W.: Model-Based Reasoning: Troubleshooting. Morgan Kaufmann Publishers, San Mateo (1992)

    Google Scholar 

  4. Dechter, R.: Constraint Processing. Elsevier Science, New York (2003)

    MATH  Google Scholar 

  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)

    Google Scholar 

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

    Google Scholar 

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

    MATH  Google Scholar 

  8. Kościelny, J.M.: Methodology of Process Diagnosis, Chap. 3, pp. 57–114. In: [7]. Springer (2004)

    Google Scholar 

  9. Kościelny, J.M.: Models in Process Diagnosis, Chap. 2, pp. 29–43. In: [7]. Springer (2004)

    Google Scholar 

  10. Ligęza, A.: Selected Methods of Knowledge Engineering in System Diagnosis, Chap. 16, pp. 633–668. In: [7]. Springer (2004)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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

    Chapter  Google Scholar 

  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  Google Scholar 

  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)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  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)

    Google Scholar 

Download references

Acknowledgments

The presented research was carried out within AGH University of Science and Technology Internal Project No. 11.11.120.859.

Author information

Authors and Affiliations

  1. AGH University of Science and Technology, Kraków, Poland

    Antoni Ligęza

Authors
  1. Antoni Ligęza
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Antoni Ligęza .

Editor information

Editors and Affiliations

  1. Faculty of Mechatronics, Institute of Automatic Control and Robotics, Warsaw University of Technology, Warsaw, Poland

    Jan M. Kościelny

  2. Faculty of Mechatronics, Institute of Automatic Control and Robotics, Warsaw University of Technology, Warsaw, Poland

    Michał Syfert

  3. Faculty of Mechatronics, Institute of Automatic Control and Robotics, Warsaw University of Technology, Warsaw, Poland

    Anna Sztyber

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Cite this paper

Ligęza, A. (2018). Constraint Programming for Constructive Abduction. A Case Study in Diagnostic Model-Based Reasoning. In: Kościelny, J., Syfert, M., Sztyber, A. (eds) Advanced Solutions in Diagnostics and Fault Tolerant Control. DPS 2017. Advances in Intelligent Systems and Computing, vol 635. Springer, Cham. https://doi.org/10.1007/978-3-319-64474-5_8

Download citation

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

  • Published:

  • Publisher Name: Springer, Cham

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

  • Online ISBN: 978-3-319-64474-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation