scientific article; zbMATH DE number 4185075

zbMath0718.68085MaRDI QIDQ5750452

Oskar Dressler, Peter Struss

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model-based diagnosisGeneral Diagnostic Engine

Mathematics Subject Classification ID

Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Conflict-directed \(A^{*}\) and its role in model-based embedded systems ⋮ Further contributions to characterizing diagnosis ⋮ Preferring diagnoses using a partial order on assumptions ⋮ Multiple models of physical systems --- modeling intermittent faults, inaccuracy, and tests in diagnosis ⋮ A framework for controlling model-based diagnosis systems with multiple actions ⋮ On the construction of hierarchic models ⋮ Controlling the complexity in model-based diagnosis ⋮ Focusing on independent diagnosis problems ⋮ An SE-tree-based prime implicant generation algorithm ⋮ Diagnosing time-varying misbehavior: An approach based on model decomposition ⋮ A new approach to quantitative and credible diagnosis for multiple faults of components and sensors ⋮ Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results ⋮ A theory of hybrid diagnosis ⋮ The computational complexity of abduction ⋮ An event-based distributed diagnosis framework using structural model decomposition ⋮ Characterizing diagnoses and systems ⋮ Abduction versus closure in causal theories. ⋮ A spectrum of definitions for temporal model-based diagnosis ⋮ Remote Agent: to boldly go where no AI system has gone before ⋮ Design and implementation of diagnostic strategies using modal logic ⋮ Model-Based Diagnosis by the Artificial Intelligence Community: The DX Approach ⋮ A theory of measurement in diagnosis from first principles