A novel SAT-based approach to model based diagnosis

DOI10.1613/JAIR.4503zbMATH Open1367.68266OpenAlexW2115436681MaRDI QIDQ2929583FDOQ2929583

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

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

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)

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
• Title not available (Why is that?)
• 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)