Citations: The use of design descriptions in automated diagnosis

98 citations found. Retrieving documents...

M. R. Genesereth. The use of design descriptions in automated diagnosis. Artificial Intelligence, 24:411-- 436, 1984.

Home/Search Document Not in Database Summary Related Articles Check

This paper is cited in the following contexts:

First 50 documents Next 50

Understanding the Power of Clause Learning - Beame, Kautz, Sabharwal (2003) (2 citations) (Correct)

.... improve the perfor # Research supported by NSF Grant ITR 0219468 mance of backtrack search algorithms by generating explanations for failure (backtrack) points, and then adding the explanations as new constraints on the original problem [de Kleer and Williams, 1987; Stallman and Sussman, 1977; Genesereth, 1984; Davis, 1984] For general constraint satisfaction problems the explanations are called conflicts or no goods ; in the case of Boolean CNF satisfiability, the technique becomes clause learning. A series of researchers [Bayardo Jr. and Schrag, 1997; Marques Silva and Sakallah, 1996; Zhang, ....

R. Genesereth, The use of design descriptions in automated diagnosis, J. AI, 24 (1984), 411-- 436.

Design and Implementation of Diagnostic Strategies using .. - Fröhlich, Nejdl.. (1996) (Correct)

....model. The functional model is used by default when no hypothesis is active: force functional :force physical functional force functional functional; force physical physical Structural Refinement. Many authors address the use of hierarchies to reduce the complexity of diagnosis problems [Dav84, Ham91, Gen84, Moz91, BD94]. In particular, Bottcher and Dressler introduce the strategy of structural refinement which states that an abstract model of a component is refined only if it is uniquely identified as defective [BD94] Only if all diagnoses contain a component C, it is possible and necessary to activate a ....

....abbc sel is chosen and finally the state fforce physical, strong refine(sel) measure(out(or2; or abbc sel; 1) g is stable. 6 Conclusion To cope with large scale systems the theory of model based diagnosis has been extended to include concepts such as multiple views [Dav84, Ham91] hierarchies [Dav84, Ham91, Gen84, Moz91, BD94], preferences [DPN94, FNS94] and measurements [dKRS91] Struss introduced the idea of diagnosis as process [Str92] further developed by Bottcher and Dressler [BD93, BD94] Frohlich, Nejdl, Schroeder formalized it by defining a meta language that allows to describe the process declaratively ....

M. R. Genesereth. The use of design descriptions in automated diagnosis. Artificial Intelligence, 24:411--436, 1984.

Modules for Design Support - (ed.) (Correct)

....and Oliver Jaschke 2.1 The Idea Assessing artifacts in design is a necessary task to be accomplished before the results of problem solving can be accepted. To test accomplishments of design tasks, artifacts in design problem solving are scrutinized whether or not they meet a set of conditions [ Genesereth, 1984 ] Silverman and Wenig, 1993 ] In real world domains, like building design, there is seldom an explicit rationale to prove the correctness and completeness of solutions automatically. Hence, the assessment of design tasks is performed predominantly byhuman experts. A challenge to knowledge ....

M. Genesereth. The use of design descriptions in automated diagnosis. Artificial Intelligence, 24:411--436, 1984.

Using Incomplete Quantitative Knowledge in Qualitative Reasoning - Kuipers, Berleant (1988) (35 citations) (Correct)

....quantitative descriptions of surviving behaviors are precisely what is needed for differential diagnosis, for example by selecting a quantity whose ranges in two different behaviors are non overlapping, and testing for its value. The work on diagnosis from first principles by Davis [1984] Genesereth [1984] and Reiter [1987] provides methods for optimizing the selection of new tests. It should also be possible to perform a sensitivity anal ysis [Raiffa, 1970] on the results of the propagation, to assess the sensitivity of Q2 s conclusions to variations in the quantitative observations. This will ....

Michael R. Genesereth. The use of design descriptions in automated diagnosis. In Artificial Intelligence, 1984, 24: pages 411-436.

Design of a Generic, Interactive, Virtual and Remote.. - Saliah, Nurse, Abecassis (1999) (Correct)

....signal allows the given network to work in conjunction with other circuits and this offers the possibility of controlling devices such as plotters, robots etc. Fig. 6 Block Diagram of Dual Full Bridge Controllers The key concept used to formalise the problem is based on Genesereth s work [11]. In fact, DART uses a deviceindependent language for describing devices and a deviceindependent inference procedure for diagnosis. The program contains only information about intended structure that is formed by the device s parts, their interconnections and expected behaviours (design ....

M. R. Genesereth, "The Use of Design Descriptions in Automated Diagnosis", Artificial Intelligence, Vol. 24, No. 1-3, pp. 411-36, 1984.

Symbolic Diagnosis and its Formalisation - Lucas (1997) (Correct)

....often employed to denote such knowledge. The classical example of such a system is MYCIN [Shortliffe, 1976] The model based approach to diagnosis has been successfully applied to fault finding in electronic circuits. Early work in this field is described in [Brown et al. 1982] Davis, 1984] [Genesereth, 1984] and [De Kleer, 1976] The study of simple electronic circuits has yielded much insight into the nature of the diagnostic process. More importantly, one of the first formal theories of diagnosis emerged from this research: the theory of consistency based diagnosis as proposed by R. Reiter [Reiter, ....

.... discrepancy between the observed and the predicted behaviour, diagnostic problem solving amounts to isolating the components in the device that are not properly functioning, using a model of the normal structure and behaviour of the device [Brown et al. 1982; Davis, 1984; Davis Hamscher, 1988; Genesereth, 1984; De Kleer, 1976] In doing so, it is assumed that the model of normal structure and behaviour is suciently accurate and correct. Figure 2 depicts DNSB diagnosis in a schematic way. DNSB diagnosis is frequently erroneously called model based diagnosis in the literature, as if it were the only ....

[Article contains additional citation context not shown here]

M.R. Genesereth (1984). The use of design descriptions in automated diagnosis. Artificial Intelligence, 24, 411-436.

Efficient Modeling of Linear Circuits to Perform Qualitative.. - Flores, Cerda (1999) (1 citation) (Correct)

....In the limit, all values are precisely specified (i.e. all variables take on real values) In that case, our results match exactly with those specified by any traditional circuit analyzer. 6. Related Work There have been many successful effort to perform model based reasoning about circuits [18, 19, 4, 3, 11, 13, 6, 8, 16]. The most recent work and more related to this one are the works of Flores and Farley, and Mauss. The work of Flores and Farley can only cope with series parallel reducible circuits, missing an important number of circuits and being of no much use for many practical applications. For instance, to ....

M. R. Genesereth. The use of design descriptions in automated diagnosis. Artificial Intelligence, 24:411--436, 1984.

Modeling Circuits with Multiple Grounded Sources: An Efficient .. - Flores, Cerda (Correct)

....are the elements of the star, and its ancestors, S nodes, represent the Kn(n) that replaces the star. 9 Figure 5: Final Reduction Graph for Circuit of Figure 4 5 Related Work There have been many successful effort to perform model based reasoning about circuits [SS77, SS80, de 84, Dav84, Gen84, Ham91, FF96, Flo97, Mau98] The most recent work and more related to this one are the works of Flores and Farley, and Mauss. The work of Flores and Farley can only cope with series parallel reducible circuits, missing an important number of circuits and being of no much use for many practical ....

M. R. Genesereth. The use of design descriptions in automated diagnosis. Artificial Intelligence, 24:411--436, 1984.

The use of conflicts in searching Bayesian networks - Poole (1993) (11 citations) (Correct)

....communities working on model based diagnosis. The first is in the UAI community, where Bayesian networks have become the representation of choice for modelling. The second is the community built on logic based notions of diagnosis, and is typified by the use of consistency based diagnosis [Genesereth, 1984; Reiter, 1987; de Kleer and Williams, 1987; de Kleer et al. 1990] The basis of consistency based diagnosis is the use of the conflict [Reiter, 1987; de Kleer and Williams, 1987; de Kleer et al. 1990] A conflict is a set of assumptions, the conjunction of which is inconsistent with the ....

....possibilities [de Kleer and Williams, 1987; de Kleer, 1991] This brings their work closer to that of the uncertainty community. The efficiency of these algorithms, and the other issues faced by this community (e.g. Scholar, Canadian Institute for Advanced Research the use of abstraction [Genesereth, 1984]) mean that their work cannot be ignored by the uncertainty community. This paper provides a general purpose search based technique for computing posterior probabilities in arbitrarily structured discrete 1 Bayesian networks. It is intended to be used for the case where there are extreme ....

M. R. Genesereth. The use of design descriptions in automated diagnosis. Artificial Intelligence, 24(1-3):411--436, December 1984.

Probabilistic conflicts in a search algorithm for estimating.. - Poole (1996) (4 citations) (Correct)

....This paper is about evidential reasoning as typified by the problem of diagnosis (determining what is inside an artifact patient based on observations) or recognition. This paper combines two approaches to model based diagnosis, namely Bayesian networks [12, 30] and consistency based diagnosis [13, 38, 9, 8]. Bayesian networks provide a general and natural representation for reasoning under uncertainty. They have been successfully applied to such diverse areas as medical diagnosis [15, 40, 26, 35] diagnosis of bottlenecks in computer systems [1] circuit diagnosis [12, 41] fraud detection [10] and ....

M. R. Genesereth. The use of design descriptions in automated diagnosis. Artificial Intelligence, 24(1-3):411--436, December 1984.

Reasoning about Circuits: A Model-Based Approach - Flores, Farley (Correct)

No context found.

M. R. Genesereth. The use of design descriptions in automated diagnosis. Artificial Intelligence, 24:411-- 436, 1984.

An Overview of Abduction as a General Framework for.. - Menzies (1995) (Correct)

No context found.

M.R. Genesereth. The use of design descriptions in automated diagnosis. Artificial Intelligence, 24:411--436, 1984.

Conflict-directed A* and Its Role in Model-based Embedded.. - Williams, Ragno (Correct)

No context found.

M. R. Genesereth, The use of design descriptions in automated diagnosis, Artificial Intelligence 24 (1984) 411--436.

Diagnosis as Semiring-based Constraint Optimization - Sachenbacher, Williams (2004) (Correct)