Diagnosing multiple faults
From MaRDI portal
Publication:1101418
DOI10.1016/0004-3702(87)90063-4zbMath0642.94045OpenAlexW2144386448MaRDI QIDQ1101418
Brian C. Williams, Johan de Kleer
Publication date: 1987
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(87)90063-4
model-based predictionmultiple faultssystem diagnosissequential diagnosisgeneral diagnostic enginetroubleshooting digital circuits
Related Items (only showing first 100 items - show all)
Tri-valued Evaluation of Residuals as a Method of Addressing the Problem of Fault Compensation Effect ⋮ Monitoring of perception systems: deterministic, probabilistic, and learning-based fault detection and identification ⋮ Sequential model-based diagnosis by systematic search ⋮ Diagnosis of intermittent faults in multi-agent systems: an SFL approach ⋮ On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging ⋮ Fault Detection and Localization Using Modelica and Abductive Reasoning ⋮ Diagnosis of Deep Discrete-Event Systems ⋮ Counterfactuals ⋮ Diagnosing tree-structured systems ⋮ Bayesian model-based diagnosis ⋮ On the relationship between model-based debugging and program slicing ⋮ Design and implementation of diagnostic strategies using modal logic ⋮ Case Studies and Modeling Formalism ⋮ Structural Analysis ⋮ Model-Based Diagnosis by the Artificial Intelligence Community: The DX Approach ⋮ Model-Based Diagnosis by the Artificial Intelligence Community: Alternatives to GDE and Diagnosis of Dynamic Systems ⋮ Model-Based Diagnosis with Probabilistic Models ⋮ Fast, flexible MUS enumeration ⋮ Memory-limited model-based diagnosis ⋮ Sequential testing of complex systems: a review ⋮ Counting minimal unsatisfiable subsets ⋮ Interactive Debugging of Non-ground ASP Programs ⋮ The problem of asking the minimum number of questions in Horn clause systems ⋮ Computational systems for qualitative economics ⋮ A New Approach to Partial MUS Enumeration ⋮ Fault isolation in industrial processes by the dynamic table of states method ⋮ On the usage of qualitative reasoning as an approach towards enterprise modelling ⋮ On rules of abduction. ⋮ A theory of diagnosis from first principles ⋮ Sequential plan recognition: an iterative approach to disambiguating between hypotheses ⋮ The state of SAT ⋮ Conflict-directed \(A^{*}\) and its role in model-based embedded systems ⋮ A graph theory-based approach to the description of the process and the diagnostic system ⋮ A new efficient and flexible algorithm for the design of testable subsystems ⋮ Bidirectional approximate reasoning-based approach for decision support ⋮ Minimal diagnosis and diagnosability of discrete-event systems modeled by automata ⋮ A heuristic extension to Reiter's diagnostic theory ⋮ Underconstrained knowledge-intensive constraint satisfaction search ⋮ Adaptive fuzzy interpolation based on ranking values of polygonal fuzzy sets and similarity measures between polygonal fuzzy sets ⋮ On computing minimal models ⋮ A cost effective question-asking strategy for Horn clause systems ⋮ Automatic construction of accurate models of physical systems ⋮ How many diagnoses do we need? ⋮ A correction to the algorithm in Reiter's theory of diagnosis ⋮ Fuzzy logic and neural network applications to fault diagnosis ⋮ A generic ATMS ⋮ Reasoning with minimal models: efficient algorithms and applications ⋮ Representing diagnosis knowledge ⋮ 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 ⋮ 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 ⋮ Analytical and qualitative model-based fault diagnosis --- a survey and some new results ⋮ Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks ⋮ Using action-based hierarchies for real-time diagnosis ⋮ Constraint-based design for 3D shapes ⋮ A new approach to quantitative and credible diagnosis for multiple faults of components and sensors ⋮ COORDINATION DIAGNOSTIC ALGORITHMS FOR TEAMS OF SITUATED AGENTS: SCALING UP ⋮ Finding and fixing faults ⋮ Heuristic and probabilistic methods for taking efficient readings in diagnostic systems ⋮ Multiagent simulation subsystem of diagnostic complexes based on device models ⋮ Tableaux for diagnosis applications ⋮ Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results ⋮ An incremental method for generating prime implicants/implicates ⋮ A logic-based analysis of Dempster-Shafer theory ⋮ Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases ⋮ A theory of hybrid diagnosis ⋮ Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes ⋮ Experiment selection for the discrimination of semi-quantitative models of dynamical systems ⋮ An incremental algorithm for generating all minimal models ⋮ Towards optimal and expressive kernelization for \(d\)-hitting set ⋮ The computational complexity of abduction ⋮ An event-based distributed diagnosis framework using structural model decomposition ⋮ Model-based reasoning about learner behaviour ⋮ Reformulating table constraints using functional dependencies-an application to explanation generation ⋮ Parity relations for linear uncertain dynamic systems ⋮ Use of Explanation Trees to Describe the State Space of a Probabilistic-Based Abduction Problem ⋮ Batch repair actions for automated troubleshooting ⋮ Characterizing diagnoses and systems ⋮ Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems ⋮ Study of the diagnosability of automated production systems based on functional graphs ⋮ An algebraic theory for statistical information based on the theory of hints ⋮ A cost-reducing question-selection algorithm for propositional knowledge-based systems ⋮ A diagnostic system based upon knowledge and experience ⋮ The roles of associational and causal reasoning in problem solving. ⋮ Processing expertise systematically ⋮ Machine fault classification: a neural network approach ⋮ Soft computing approaches to fault diagnosis for dynamic systems ⋮ Sensor placement for fault isolation in linear differential-algebraic systems ⋮ Constructing probabilistic ATMSs using extended incidence calculus ⋮ Relaxed maximum a posteriori fault identification ⋮ The Probabilistic Interpretation of Model-Based Diagnosis ⋮ Probabilities and reasoning about possibilities ⋮ A spectrum of definitions for temporal model-based diagnosis ⋮ Model-based diagnostics and probabilistic assumption-based reasoning
Cites Work
This page was built for publication: Diagnosing multiple faults
