From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms

Ingo Hans Pill; Thomas Quaritsch; Franz Wotawa

From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms

Ingo Hans Pill
, Thomas Quaritsch
, Franz Wotawa

Institute of Software Engineering and Artificial Intelligence (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Abstract

Using appropriate models, minimal hitting sets of a set of conflict sets can provide a sound foundation for diagnostic reasoning. Related diagnoses can explain encountered inconsistencies between expected and experienced behavior, so that a multitude of algorithms for computing such diagnoses have been developed. Motivated by a lack of a comparative study, in this paper, we evaluate a selection of relevant algorithms in the context of synthetic and real-world test scenarios

Original language	English
Title of host publication	22nd International Workshop on Principles of Diagnosis
Pages	203-210
Publication status	Published - 2011
Event	22nd International Workshop on Principles of Diagnosis - Murnau, Deutschland Duration: 4 Oct 2011 → 7 Oct 2011

Conference

Conference	22nd International Workshop on Principles of Diagnosis
City	Murnau, Deutschland
Period	4/10/11 → 7/10/11

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Experimental
Basic - Fundamental (Grundlagenforschung)

Access to Document

dx2011-pill-quaritsch-wotawa-minimal-hitting-set-algorithms.pdfAccepted author manuscript, 254 KB

FWF - MoDiaForTeD - Model-based Diagnosis for Formal Temporal Descriptions
Quaritsch, S. (Attendee / Assistant) & Pill, I. H. (Project manager)
1/11/10 → 30/06/15
Project: Research project
Artificial Intelligence & Applications
Haase, V. (Attendee), Wotawa, F. (Contact person) & Pill, I. H. (Attendee)
16/11/00 → 31/12/24
Project: Research area

Cite this

@inproceedings{df46a9868f5b4a219f92cd7ebba7bc3f,

title = "From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms",

abstract = "Using appropriate models, minimal hitting sets of a set of conflict sets can provide a sound foundation for diagnostic reasoning. Related diagnoses can explain encountered inconsistencies between expected and experienced behavior, so that a multitude of algorithms for computing such diagnoses have been developed. Motivated by a lack of a comparative study, in this paper, we evaluate a selection of relevant algorithms in the context of synthetic and real-world test scenarios",

author = "Pill, \{Ingo Hans\} and Thomas Quaritsch and Franz Wotawa",

year = "2011",

language = "English",

pages = "203--210",

booktitle = "22nd International Workshop on Principles of Diagnosis",

note = "22nd International Workshop on Principles of Diagnosis ; Conference date: 04-10-2011 Through 07-10-2011",

}

TY - GEN

T1 - From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms

AU - Pill, Ingo Hans

AU - Quaritsch, Thomas

AU - Wotawa, Franz

PY - 2011

Y1 - 2011

N2 - Using appropriate models, minimal hitting sets of a set of conflict sets can provide a sound foundation for diagnostic reasoning. Related diagnoses can explain encountered inconsistencies between expected and experienced behavior, so that a multitude of algorithms for computing such diagnoses have been developed. Motivated by a lack of a comparative study, in this paper, we evaluate a selection of relevant algorithms in the context of synthetic and real-world test scenarios

AB - Using appropriate models, minimal hitting sets of a set of conflict sets can provide a sound foundation for diagnostic reasoning. Related diagnoses can explain encountered inconsistencies between expected and experienced behavior, so that a multitude of algorithms for computing such diagnoses have been developed. Motivated by a lack of a comparative study, in this paper, we evaluate a selection of relevant algorithms in the context of synthetic and real-world test scenarios

M3 - Conference paper

SP - 203

EP - 210

BT - 22nd International Workshop on Principles of Diagnosis

T2 - 22nd International Workshop on Principles of Diagnosis

Y2 - 4 October 2011 through 7 October 2011

ER -

From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms

Abstract

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Fingerprint

Projects

FWF - MoDiaForTeD - Model-based Diagnosis for Formal Temporal Descriptions

Artificial Intelligence & Applications

Cite this