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

DOI10.1016/0898-1221(90)90112-WzbMath0728.68117WikidataQ59259779 ScholiaQ59259779MaRDI QIDQ805270

Georg Gottlob, Gerhard Friedrich, Wolfgang Nejdl

Publication date: 1990

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

zbMATH Keywords

Horn clausesdecision treesdiagnostic procedureslogic programming techniquesdiagnostic knowledgemodel-based reasoning knowledge

Mathematics Subject Classification ID

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

Related Items

Sequential testing of complex systems: a review

Cites Work

• Unnamed Item
• A Mathematical Theory of Communication
• Controlling recursive inference
• Diagnosing multiple faults
• A theory of diagnosis from first principles
• Explanation-based generalisation \(=\) partial evaluation
• On the efficiency of subsumption algorithms