National Conference on Artificial Intelligence · 1992 · 25 citations · 6 references
EngineeringComputer ScienceSystems EngineeringDiagnostic ReasoningFault-tolerant ComputingFault-tolerant SystemsDiagnosisDiagnosticsFault DetectionFault DiagnosisFault ModelingReliable System DesignDiagnosabilityFault Diagnosis ModelsFormal ModelingIntermittent FaultsSystem Fault Diagnosis
A faulty component that behaves consistently over time is said to behave non-intermittently. For any given set of inputs, such a component will always generate the same output. Assuming that components fail non-intermittently is a common simplifying strategy used by diagnosticians, because (1) many real-world devices often fail this way, (2) this strategy removes the need to repeat experiments, and (3) this strategy allows information from independent examples of system behavior to be combined in relatively simple ways. This paper extends the formal framework for diagnosis developed in [7, 12] to allow nonintermittency assumptions. In addition we show how the definitions can be easily integrated into ATMS-based diagnosis engines. Within our formulation, components can be individually assumed to be intermittent or nonintermittent.
6
Diagnostic reasoning based on structure and behavior
Randall Davis · Artificial Intelligence · 1984 · 975 citations · Full text
The use of design descriptions in automated diagnosis
Michael Genesereth · Artificial Intelligence · 1984 · 539 citations
Johan de Kleer · Artificial Intelligence · 1986 · 245 citations