A novel SAT-based approach to model based diagnosis

DOI10.1613/JAIR.4503MaRDI QIDQ2929583zbMATH OpenOpenAlexFDO

Authors Amit Metodi, Roni Stern, Meir Kalech, Michael Codish

Publication date 13 November 2014

Published in The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/jair.4503

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• Model-based diagnosis and conditional logic
• scientific article; zbMATH DE number 1168533
• Model-based diagnosis with probabilistic models
• A formal model of diagnostic inference. II. Algorithmic solution and application
• Controlling the complexity in model-based diagnosis
• Strategies in model-based diagnosis
• The Probabilistic Interpretation of Model-Based Diagnosis

Cited in

(6)

• Batch repair actions for automated troubleshooting
• How many diagnoses do we need?
• Memory-limited model-based diagnosis
• Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles
• scientific article; zbMATH DE number 1168533 (Why is no real title available?)
• Strong inconsistency

This page was built for publication: A novel SAT-based approach to model based diagnosis

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