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

DOI10.1016/0004-3702(89)90079-9zbMath0678.68101OpenAlexW2025271293MaRDI QIDQ1124378

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

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

Related Items (19)

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

Cites Work

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

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