A correction to the algorithm in Reiter's theory of diagnosis

DOI10.1016/0004-3702(89)90079-9zbMATH Open0678.68101OpenAlexW2025271293MaRDI QIDQ1124378FDOQ1124378

Russell Greiner, Ralph W. Wilkerson, Barbara A. Smith

Publication date: 1989

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(89)90079-9

zbMATH Keywords

algorithmtheory of diagnosis

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Artificial intelligence (68T99)

Cites Work

• Diagnosing multiple faults
• A theory of diagnosis from first principles

Cited In (23)

• The Minimal Hitting Set Generation Problem: Algorithms and Computation
• Van Gelder's response
• Enhancing unsatisfiable cores for LTL with information on temporal relevance
• An SE-tree-based prime implicant generation algorithm
• Sequential model-based diagnosis by systematic search
• Memory-limited model-based diagnosis
• Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes
• A theory of measurement in diagnosis from first principles
• Diagnosis and supervision: model-based approaches
• Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic
• A graph theory-based approach to the description of the process and the diagnostic system
• On the relationship between model-based debugging and program slicing
• The computation of hitting sets: Review and new algorithms
• Pathological and Test Cases for Reeb Analysis
• Assertional Removed Sets Merging of DL-Lite Knowledge Bases
• Consistency-based diagnosis of configuration knowledge bases
• A variant of Reiter's hitting-set algorithm
• Debugging incoherent terminologies
• Computational aspects of monotone dualization: a brief survey
• Local Diagnosis
• Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
• Optimal repairs in the description logic \(\mathcal{EL}\) revisited
• Diagnosing tree-structured systems

   Recommendations

• A theory of diagnosis from first principles 👍 👎
• A heuristic extension to Reiter's diagnostic theory 👍 👎
• A theory of measurement in diagnosis from first principles 👍 👎
• Title not available (Why is that?) 👍 👎
• On the diagnosing algorithm for networks 👍 👎

This page was built for publication: A correction to the algorithm in Reiter's theory of diagnosis

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