Diagnostic Reasoning Based on Structure and Behavior

Davis, W. Rhett; Randall,

doi:10.1016/b978-0-444-87670-6.50010-8

Cited by 73 publications

(86 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Since SD U OBS U {~AB(k) [ k E COMPONENTS --{C}} is consistent, then by Proposition 3.4, {c} is a diagnosis for (SD, COMPONENTS, OBS). [] Theorem 4.12 is a generalization of the candidate generation procedure of Davis [4], and provides a formal justification for Davis' procedure. Davis' concern was the determination of single fault diagnoses for digital circuits represented by constraint networks.…”

Section: {C} Is a Single Fault Diagnosis For (Sd Components Obs) Ifmentioning

confidence: 99%

“…In particular applications TP might profitably be realized by special purpose theorem provers, e.g. constraint propagation techniques for solving systems of equations, as used by Davis [4] and de Kleer and Williams [6].…”

Section: {Xix2}mentioning

confidence: 99%

“…We should not restrict the underlying theorem proving system since particular applications might benefit from special purpose theorem provers, e.g. constraint propagation techniques for diagnosis, as used by Davis [4] and de Kleer and Williams [6], or specialized Boolean equation solvers. So our problem is to prevent the computation of inessential variants of refutations, without imposing any constraints on the nature of the underlying theorem proving system.…”

Section: Computing All Diagnosesmentioning

confidence: 99%

See 2 more Smart Citations

A theory of diagnosis from first principles

Reiter

1986

8th International Conference on Automated Deduction

577

1,231

View full text Add to dashboard Cite

Suppose one is given a description of a system, together with an observation of the system's behaviour which conflicts with the way the system is meant to behave. The diagnostic problem is to determine those components of the system which, when assumed to be functioning abnormally, will explain the discrepancy between the observed and correct system behaviour.We propose a general theory for this problem.

show abstract

Section: {C} Is a Single Fault Diagnosis For (Sd Components Obs) Ifmentioning

confidence: 99%

Section: {Xix2}mentioning

confidence: 99%

Section: Computing All Diagnosesmentioning

confidence: 99%

See 1 more Smart Citation

A theory of diagnosis from first principles

Reiter

1986

8th International Conference on Automated Deduction

577

1,231

View full text Add to dashboard Cite

show abstract

“…Much of this work seeks to flesh out the causal models underlying diagnostic reasoning, and to represent those models ("deep models") in an expert system to help drive its reasoning process. For example, an electronic circuit or a functioning human body is modeled, and computer programs are designed to search for causal explanations of malfunction [1,2,3].…”

Section: Introductionmentioning

confidence: 99%

A computational model of reasoning from the clinical literature

Rennels¹,

Shortliffe²,

Stockdale³

et al. 1987

Computer Methods and Programs in Biomedicine

View full text Add to dashboard Cite

“…The engine also has a failed mode, capturing any off-nominal behavior. We entertain the possibility of a novel engine failure by specifying no constraints for the engine's behavior in the failed mode [13].…”

Section: A Model-based Programming Examplementioning

confidence: 99%

Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State

Williams

Ingham

2002

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Programming complex embedded systems involves reasoning through intricate system interactions along paths between sensors, actuators and control processors. This is a time-consuming and error-prone process. Furthermore, the resulting code generally lacks modularity and robustness. Model-based programming addresses these limitations, allowing engineers to program by specifying high-level control strategies and by assembling common-sense models of the system hardware and software. To execute a control strategy, model-based executives reason about the models "on the fly", to track system state, diagnose faults and perform reconfigurations. This paper describes the Reactive Model-based Programming Language (RMPL) and its executive, called Titan. RMPL provides the features of synchronous reactive languages within a constraint-based modeling framework, with the added ability of being able to read and write to state variables that are hidden within the physical plant.

show abstract

Diagnostic Reasoning Based on Structure and Behavior

Cited by 73 publications

References 10 publications

A theory of diagnosis from first principles

A theory of diagnosis from first principles

A computational model of reasoning from the clinical literature

Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State

Contact Info

Product

Resources

About