Download PDFOpen PDF in browser

An improved diagnostic method for probabilistic consistency-based diagnosis

13 pagesPublished: January 6, 2018

Abstract

In consistency-based diagnosis (CBD), abnormal behavior is sorted out based on de- viation from a normal behavior specification. Probabilities have been added to CBD for quantifying uncertainty on, e.g., the behavior of faulty components. While resulting in more complete models, the requirement of such uncertainty parameters goes in opposition to the original CBD motivation. The conflict measure stands closer to CBD by comput- ing solutions without the need of priors on candidates, however, its results might not be suitable when only partial observations are available. In this paper, we propose a method called the diagnostic coefficient, which better solves the partial observability case, while needing the same parameters as the conflict measure. The diagnostic coefficient is based on the idea that observations are conflicting if the observed outputs are discrepant with respect to alternative outputs that could have been observed. We report experiments with logical circuits where the diagnostic coefficient shows promising results compared to the conflict measure under various settings with missing observations.

Keyphrases: Bayesian networks, consistency-based diagnosis, missing data, model-based diagnosis

In: Marina Zanella, Ingo Pill and Alessandro Cimatti (editors). 28th International Workshop on Principles of Diagnosis (DX'17), vol 4, pages 65--77

Links:
BibTeX entry
@inproceedings{DX'17:An_improved_diagnostic_method,
  author    = {Marcos Luiz de Paula Bueno and Arjen Hommersom and Peter Lucas},
  title     = {An improved diagnostic method for probabilistic consistency-based diagnosis},
  booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)},
  editor    = {Marina Zanella and Ingo Pill and Alessandro Cimatti},
  series    = {Kalpa Publications in Computing},
  volume    = {4},
  pages     = {65--77},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/pD6D},
  doi       = {10.29007/4t6n}}
Download PDFOpen PDF in browser