Generating Diagnoses from Conflict Sets with Continuous Attributes

Abstract. Many techniques in model-based diagnosis and other research fields find the hitting sets of a group of sets. Existing techniques apply to sets of finite elements only. This paper addresses the computation of the hitting sets of a group of sets whose elements are convex or non-convex, bounded or unbounded continuous regions. We assume the conflict sets are known and we present a novel procedure, the Continuous Hitting Set algorithm (CHS) for transforming conflict sets of continuous elements into minimal hitting sets.

• Type: Conference
• Year: 2008
• Where: ECAI
• Authors: Emmanuel Benazera, Louise Travé-Massuyès
• Keywords: Artificial Intelligence, Conflict Sets, ECAI 2008, Hitting Sets, Minimal Hitting Sets