Citation Context

...ble model-artifact differences and (4) a set of measurements, and produces a set of candidates, each of which is a set of differences which explains the observations. Our diagnostic approach is based on characterizing model-artifact differences as assumption violations. A constituent is guaranteed to behave according to its model only if none of its associated differences are manifested, i.e., all the constituent’s assumptions hold. If any of these assumptions are false, then the artifact deviates from its model, thus, the model may no longer apply. An important ramification of this approach ([4; 6; 10; 15; 32]) is that we need only specify correct models for constituents — explicit fault models are not needed. Reasoning about model-artifact differences in terms of assumption violations is very general. For example, in electronics an assumption might be the correct functioning of each component and the absence of any short circuits; in a scientific domain a faulty hypothesis; in a commonsense domain an assumption such as persistence, defaults or Occam’s Razor. 2.2 Detection of symptoms We presume (as is usually the case) that the modelartifact differences are not directly observable.3 Instead, all a...

Citation Context

...umber of different ways: Determining what is in a system from observations (diagnosis and recognition) is an important part of AI. There have been many logic-based proposals as to what is a diagnosis =-=[17, 57, 13, 45, 12]-=-. One problem with all of these proposals is that for any diagnostic problem of a reasonable size there are far too many logical possibilities to handle. For example, when considering fault models [14...

Citation Context

...nges in spacecraft configurations and determine reconfiguration sequences. Most formalizations of model-based diagnosis, on the other hand, have assumed that models are specified in first-order logic =-=[62, 21]-=-. The enticement of first-order logic is its clear, well understood semantics. However, first order logic is not an accurate reflection of existing implementations, and is wholly inappropriate as a re...

Citation Context

...rdi [15, 14] and further studied by Nebel [41, 42], the This paper is an overview of [11], which contains detailed proofs of all complexity results. Cross-Product approach [15], the WIDTIO approach [=-=21, 47, 52], Dal-=-al's revision [7, 8], the approach by Forbus [16], Borgida's method [4], Winslett's \Possible Models" approach [51], Satoh's method [49], and Weber 's approach [50]. All these methods adhere to t...

Citation Context

...ance of different solvers when analysing feature models [15, 14, 70]. Trinidad et al. [78, 76] focus on the detection and explanation of errors in feature models based on Reiter’s theory of diagnosis =-=[64]-=- and constraint programming. Djebbi et al. [34] propose a method to extract information from feature models in terms of queries. A set of rules to translate feature models to boolean constraints are g...