Szczegóły publikacji
Opis bibliograficzny
Constraint programming for constructive abduction : a case study in diagnostic model-based reasoning / Antoni LIGĘZA // W: Advanced solutions in diagnostics and fault tolerant control / eds. Jan M. Kościelny, Michał Syfert, Anna Sztyber. — Cham : Springer, cop. 2018. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 635). — Zawiera materiały z: DPS'2017 : 13th international conference on Diagnostics of Processes and Systems : Sandomierz, Poland, September 10–13, 2017. — ISBN: 978-3-319-64473-8; e-ISBN: 978-3-319-64474-5. — S. 94–105. — Bibliogr. s. 105, Abstr.
Autor
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 110907 |
|---|---|
| Data dodania do BaDAP | 2018-01-12 |
| DOI | 10.1007/978-3-319-64474-5_8 |
| Rok publikacji | 2018 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Wydawca | Springer |
| Konferencja | 13th international conference on Diagnostics of Processes and Systems |
| Czasopismo/seria | Advances in Intelligent Systems and Computing |
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.