Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques

DOI10.1016/0898-1221(90)90112-WMaRDI QIDQ805270zbMATH OpenWikidataFDO

Authors Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl

Publication date 1990

Published in Computers & Mathematics with Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0898-1221(90)90112-W

zbMATH Keywords

decision treesHorn clausesdiagnostic procedureslogic programming techniquesdiagnostic knowledgemodel-based reasoning knowledge

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Logic programming (68N17)

Recommendations

• Diagnosing multiple faults
• scientific article; zbMATH DE number 1763932
• scientific article; zbMATH DE number 2000829
• A theory of diagnosis from first principles
• Design and implementation of diagnostic strategies using modal logic

Cites work

• scientific article; zbMATH DE number 1158761 (Why is no real title available?)
• A Mathematical Theory of Communication
• A theory of diagnosis from first principles
• Controlling recursive inference
• Diagnosing multiple faults
• Explanation-based generalisation \(=\) partial evaluation
• On the efficiency of subsumption algorithms

Cited in

(8)

• Diagnostic reasoning with A-Prolog
• Mechanising shared configuration and diagnosis theories through constraint logic programming
• scientific article; zbMATH DE number 2000829 (Why is no real title available?)
• Sequential testing of complex systems: a review
• Design and implementation of diagnostic strategies using modal logic
• scientific article; zbMATH DE number 4185073 (Why is no real title available?)
• scientific article; zbMATH DE number 1930738 (Why is no real title available?)
• Logical inference on the base of optimal subset of mixed diagnostic tests for intelligent systems

This page was built for publication: Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques

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