Exploring the Duality in Conflict-Directed Model-Based Diagnosis

Roni Stern, Meir Kalech, Alexander Feldman, Gregory Provan

Research output: Contribution to conferencePaperpeer-review

35 Scopus citations

Abstract

A model-based diagnosis problem occurs when an observation is inconsistent with the assumption that the diagnosed system is not faulty. The task of a diagnosis engine is to compute diagnoses, which are assumptions on the health of components in the diagnosed system that explain the observation. In this paper, we extend Reiter's well-known theory of diagnosis by exploiting the duality of the relation between conflicts and diagnoses. This duality means that a diagnosis is a hitting set of conflicts, but a conflict is also a hitting set of diagnoses. We use this property to interleave the search for diagnoses and conflicts: a set of conflicts can guide the search for diagnosis, and the computed diagnoses can guide the search for more conflicts. We provide the formal basis for this dual conflict-diagnosis relation, and propose a novel diagnosis algorithm that exploits this duality. Experimental results show that the new algorithm is able to find a minimal cardinality diagnosis faster than the well-known Conflict-Directed A*.

Original languageEnglish
Pages828-834
Number of pages7
StatePublished - 2012
Externally publishedYes
Event26th AAAI Conference on Artificial Intelligence, AAAI 2012 - Toronto, Canada
Duration: 22 Jul 201226 Jul 2012

Conference

Conference26th AAAI Conference on Artificial Intelligence, AAAI 2012
Country/TerritoryCanada
CityToronto
Period22/07/1226/07/12

Bibliographical note

Publisher Copyright:
Copyright © 2012, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.

Fingerprint

Dive into the research topics of 'Exploring the Duality in Conflict-Directed Model-Based Diagnosis'. Together they form a unique fingerprint.

Cite this