Characterizing diagnoses and systems
From MaRDI portal
Publication:1199913
DOI10.1016/0004-3702(92)90027-UzbMath0772.68085OpenAlexW2003116861MaRDI QIDQ1199913
Johan de Kleer, Alan K. Mackworth, Raymond Reiter
Publication date: 17 January 1993
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(92)90027-u
Related Items (60)
Design methodology for diagnostic strategies for industrial systems ⋮ Memory-limited model-based diagnosis ⋮ Parameterized complexity of \(d\)-hitting set with quotas ⋮ Generating all maximal models of a Boolean expression ⋮ Diagnostic Reasoning for Robotics Using Action Languages ⋮ On rules of abduction. ⋮ Conflict-directed \(A^{*}\) and its role in model-based embedded systems ⋮ Is there a prototypical rule of abduction? (Yes, e.g. in proximity based explanations) ⋮ A heuristic extension to Reiter's diagnostic theory ⋮ On computing minimal models ⋮ Automatic construction of accurate models of physical systems ⋮ Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form ⋮ Reasoning with minimal models: efficient algorithms and applications ⋮ A logical notion of conditional independence: properties and applications ⋮ Reasoning about time in the situation calculus ⋮ Consistency-based and abductive diagnoses as generalised stable models ⋮ Explanatory diagnoses and their characterization by circumscription ⋮ Further contributions to characterizing diagnosis ⋮ Preferring diagnoses using a partial order on assumptions ⋮ Formalizing the repair process --- extended report ⋮ Multiple models of physical systems --- modeling intermittent faults, inaccuracy, and tests in diagnosis ⋮ A framework for controlling model-based diagnosis systems with multiple actions ⋮ Theory diagnoses: A concise characterization of faulty systems ⋮ Controlling the complexity in model-based diagnosis ⋮ Focusing on independent diagnosis problems ⋮ Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks ⋮ A new approach to quantitative and credible diagnosis for multiple faults of components and sensors ⋮ Sequential model-based diagnosis by systematic search ⋮ On the (complete) reasons behind decisions ⋮ Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation ⋮ Heuristic and probabilistic methods for taking efficient readings in diagnostic systems ⋮ An assumption-based truth maintenance system dealing with non-ground justifications ⋮ An incremental algorithm for generating all minimal models ⋮ Knowledge transformation and fusion in diagnostic systems ⋮ First order LUB approximations: characterization and algorithms ⋮ Diagnosis of Deep Discrete-Event Systems ⋮ On the tractability of minimal model computation for some CNF theories ⋮ Fault isolability with different forms of the faults-symptoms relation ⋮ Explanation of exceptional values in multi-dimensional business databases ⋮ Trichotomies in the complexity of minimal inference ⋮ Parameterized algorithms for \(d\)-hitting set: the weighted case ⋮ Study of the diagnosability of automated production systems based on functional graphs ⋮ Bayesian model-based diagnosis ⋮ A diagnostic system based upon knowledge and experience ⋮ Abduction versus closure in causal theories. ⋮ On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision ⋮ A temporal negative normal form which preserves implicants and implicates ⋮ The Probabilistic Interpretation of Model-Based Diagnosis ⋮ A spectrum of definitions for temporal model-based diagnosis ⋮ Analysis of notions of diagnosis ⋮ Model-based diagnostics and probabilistic assumption-based reasoning ⋮ Remote Agent: to boldly go where no AI system has gone before ⋮ Unnamed Item ⋮ Model-Based Diagnosis by the Artificial Intelligence Community: The DX Approach ⋮ BRIDGE: Matching Model-Based Diagnosis from FDI and DX Perspectives ⋮ An improved model-based method to test circuit faults ⋮ Graph-based construction of minimal models ⋮ The localization and correction of errors in models: a constraint-based approach ⋮ Process algebras for systems diagnosis. ⋮ Hierarchical model-based diagnosis based on structural abstraction
Cites Work
This page was built for publication: Characterizing diagnoses and systems
