Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles

DOI10.1007/11493853_6MaRDI QIDQ5450921zbMATH OpenOpenAlexFDO

Authors Andreas Bauer

Publication date 17 March 2008

Published in Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11493853_6

zbMATH Keywords

formal specificationmodel based diagnosismodel based reasoningSAT-solvingsystem monitoring

Mathematics Subject Classification ID

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

Recommendations

• A theory of diagnosis from first principles
• Model-based diagnosis and conditional logic
• A novel SAT-based approach to model based diagnosis
• scientific article; zbMATH DE number 140410
• Towards knowledge compilation for automated diagnosis: a qualitative, model-based approach with constraint programming

Describes a project that uses

Uses Software

• Chaff
• SATO

This page was built for publication: Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles

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