scientific article; zbMATH DE number 4185071

MaRDI QIDQ5750448zbMATH OpenFDO

Authors Johan de Kleer, Brian C. Williams

Publication date 1989

zbMATH Keywords

behavioural modesgeneral diagnostic theorySherlock system

Mathematics Subject Classification ID

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

Recommendations

• Diagnosing multiple faults
• Bayesian model-based diagnosis
• A theory of diagnosis from first principles
• A theory of hybrid diagnosis
• Characterizing diagnoses and systems

Cited in

(34)

• The computational complexity of abduction
• Characterizing diagnoses and systems
• A spectrum of definitions for temporal model-based diagnosis
• Remote Agent: to boldly go where no AI system has gone before
• The approximation of implicates and explanations
• Probabilistic Horn abduction and Bayesian networks
• A theory of measurement in diagnosis from first principles
• Process algebras for systems diagnosis.
• Consistency-based and abductive diagnoses as generalised stable models
• Further contributions to characterizing diagnosis
• Multiple models of physical systems --- modeling intermittent faults, inaccuracy, and tests in diagnosis
• A framework for controlling model-based diagnosis systems with multiple actions
• 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
• Batch repair actions for automated troubleshooting
• How many diagnoses do we need?
• An improved model-based method to test circuit faults
• Conflict-directed \(A^{*}\) and its role in model-based embedded systems
• Support set selection for abductive and default reasoning
• Diagnostic reasoning for robotics using action languages
• scientific article; zbMATH DE number 67858 (Why is no real title available?)
• scientific article; zbMATH DE number 2013577 (Why is no real title available?)
• scientific article; zbMATH DE number 2080576 (Why is no real title available?)
• Model-based diagnosis by the artificial intelligence community: the DX approach
• Parametric abstraction of behavioral modes for model-based diagnosis
• Metrics for labelled Markov processes
• Probabilistic concurrent constraint programming
• Sequential model-based diagnosis by systematic search
• Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
• Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities
• Hierarchical model-based diagnosis based on structural abstraction
• Abduction versus closure in causal theories.

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5750448)