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

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

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

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

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
• scientific article; zbMATH DE number 140410
• On the diagnosing algorithm for networks

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)

• 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
• Assertional removed sets merging of DL-Lite knowledge bases
• 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
• 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
• The minimal hitting set generation problem: algorithms and computation
• 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

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)