Sequential model-based diagnosis by systematic search

DOI10.1016/j.artint.2023.103988OpenAlexW4385463023MaRDI QIDQ6080651

Patrick Rodler

Publication date: 4 October 2023

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

Full work available at URL: https://doi.org/10.1016/j.artint.2023.103988

zbMATH Keywords

heuristicsmodel-based diagnosisactive learningontologiescombinatorial searchfault localizationsequential diagnosisinteractive debuggingmeasurement selectiondiagnostic decision-makingknowledge-base debuggingquery computationquery-based debugging

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Cites Work

• Fundamentals of parameterized complexity
• Consistency-based diagnosis of configuration knowledge bases
• A kernelization algorithm for \(d\)-hitting set
• Diagnosing multiple faults
• A theory of diagnosis from first principles
• A correction to the algorithm in Reiter's theory of diagnosis
• Characterizing diagnoses and systems
• Constructing optimal binary decision trees is NP-complete
• Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
• OntoDebug: interactive ontology debugging plug-in for Protégé
• Memory-limited model-based diagnosis
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
• Debugging incoherent terminologies
• Parallel Model-Based Diagnosis on Multi-Core Computers
• Sequential Diagnosis by Abstraction
• A Model-Based Active Testing Approach to Sequential Diagnosis
• Application of heuristic search and information theory to sequential fault diagnosis
• Sequential Diagnosis with Asymmetrical Tests
• Reducibility among Combinatorial Problems
• The Description Logic Handbook
• The complexity of theorem-proving procedures
• The Problem of Simplifying Truth Functions
• On the relationship between model-based debugging and program slicing
• On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item