Reducing Model-Based Diagnosis to Knowledge Base Debugging

13 pages•Published: January 6, 2018

Patrick Rodler and Konstantin Schekotihin

Abstract

Model-Based Diagnosis (MBD) is a principled approach to fault localization in any type of system that can be described in a formal structured way. Knowledge Base Debugging (KBD) draws on concepts from MBD to find faults in a monotonic knowledge base. We show that KBD is a generalization of MBD in that any MBD problem can be reduced to a KBD problem and solutions of the former can be directly extracted from solutions of the latter. Moreover, we find that the sequential MBD problem is a special case of the sequential KBD problem in that the latter allows a user to provide more types of measurements. As a consequence of these results, KBD approaches can be applied to all systems amenable to MBD.

Keyphrases: knowledge base debugging, model based diagnosis, problem reduction

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

Links:	https://easychair.org/publications/paper/3g9Q
	https://doi.org/10.29007/p7zp

BibTeX entry

@inproceedings{DX'17:Reducing_Model_Based_Diagnosis,
  author    = {Patrick Rodler and Konstantin Schekotihin},
  title     = {Reducing Model-Based Diagnosis to Knowledge Base Debugging},
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/3g9Q},
  doi       = {10.29007/p7zp},
  pages     = {284-296},
  year      = {2018}}

Download PDF Open PDF in browser