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)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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

Originalsprache	englisch
Titel	22nd International Workshop on Principles of Diagnosis
Seiten	203-210
Publikationsstatus	Veröffentlicht - 2011
Veranstaltung	22nd International Workshop on Principles of Diagnosis - Murnau, Deutschland Dauer: 4 Okt. 2011 → 7 Okt. 2011

Konferenz

Konferenz	22nd International Workshop on Principles of Diagnosis
Ort	Murnau, Deutschland
Zeitraum	4/10/11 → 7/10/11

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Experimental
Basic - Fundamental (Grundlagenforschung)

Zugriff auf Dokument

dx2011-pill-quaritsch-wotawa-minimal-hitting-set-algorithms.pdfAkzeptiertes Autorenmanuskript, 254 KB

FWF - MoDiaForTeD - Modellbasierte Diagnose für Formale Temporale Beschreibungen
Quaritsch, S. (Teilnehmer (Co-Investigator)) & Pill, I. H. (Projektleiter (Principal Investigator))
1/11/10 → 30/06/15
Projekt: Forschungsprojekt
Artificial Intelligence & Applications
Pill, I. H. (Teilnehmer (Co-Investigator)), Wotawa, F. (Teilnehmer (Co-Investigator)) & Haase, V. (Teilnehmer (Co-Investigator))
16/11/00 → 31/12/24
Projekt: Arbeitsgebiet

Dieses zitieren

@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

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Fingerprint

Projekte

FWF - MoDiaForTeD - Modellbasierte Diagnose für Formale Temporale Beschreibungen

Artificial Intelligence & Applications

Dieses zitieren