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

DOI10.1016/0004-3702(89)90079-9MaRDI QIDQ1124378zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

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
• Assertional removed sets merging of DL-Lite knowledge bases
• 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
• A graph theory-based approach to the description of the process and the diagnostic system
• Achieving new upper bounds for the hypergraph duality problem through logic
• The computation of hitting sets: Review and new algorithms
• On the relationship between model-based debugging and program slicing
• 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
• Diagnosing tree-structured systems
• Optimal repairs in the description logic \(\mathcal{EL}\) revisited

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)