A cost effective question-asking strategy for Horn clause systems
From MaRDI portal
Publication:1380433
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)
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