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

DOI10.1007/978-3-319-23180-8_26zbMATH Open1384.90035OpenAlexW2414349430MaRDI QIDQ3133958FDOQ3133958

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

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

zbMATH Keywords

model-based approachautomated diagnosisqualitative diagnostics

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Consistency-based diagnosis of configuration knowledge bases
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)