A cost effective question-asking strategy for Horn clause systems

DOI10.1007/BF02127975zbMath0891.68036MaRDI QIDQ1380433

Evangelos Triantaphyllou, Jinchang Wang

Publication date: 4 March 1998

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

knowledge based systems

Mathematics Subject Classification ID

Database theory (68P15)

Related Items

Sequential testing of complex systems: a review ⋮ A cost-reducing question-selection algorithm for propositional knowledge-based systems

Cites Work

• Unnamed Item
• Diagnosing multiple faults
• The problem of asking the minimum number of questions in Horn clause systems
• Question-asking strategies for Horn clause systems
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Optimal Testing Procedures for Special Structures of Coherent Systems
• Dynamic Programming, Integral Polyhedra and Horn Clause Knowledge Base
• Some Reliability Fault-Testing Models