Towards knowledge compilation for automated diagnosis: a qualitative, model-based approach with constraint programming

DOI10.1007/978-3-319-23180-8_26MaRDI QIDQ3133958zbMATH OpenOpenAlexFDO

Authors Antoni Ligȩza

Publication date 8 February 2018

Published in Advances in Intelligent Systems and Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-23180-8_26

zbMATH Keywords

model-based approachautomated diagnosisqualitative diagnostics

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25)

Recommendations

• Model-based diagnosis by the artificial intelligence community: the DX approach
• Consistency-based diagnosis of configuration knowledge bases
• scientific article; zbMATH DE number 140410
• scientific article; zbMATH DE number 1168533
• A theory of diagnosis from first principles

Cited in

(9)

• Mechanising shared configuration and diagnosis theories through constraint logic programming
• Modeling and reasoning with qualitative comparative clinical knowledge
• Encoding fuzzy possibilistic diagnostics as a constrained optimization problem
• Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles
• Consistency-based diagnosis of configuration knowledge bases
• scientific article; zbMATH DE number 1630009 (Why is no real title available?)
• scientific article; zbMATH DE number 1670579 (Why is no real title available?)
• scientific article; zbMATH DE number 1531969 (Why is no real title available?)
• Research of modeling and diagnosis reasoning for complex systems based on qualitative relation

This page was built for publication: Towards knowledge compilation for automated diagnosis: a qualitative, model-based approach with constraint programming

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