Abstract
In many applications of knowledge-based systems, initially given data are often not sufficient to reach a conclusion and more data are needed. A question-selection algorithm is to identify missing information and select proper questions to ask. We present a question-selection algorithm for propositional knowledge-based systems, which aims at asking more relevant and less expensive questions. Comparing to those algorithms currently used in many expert systems, the new algorithm is capable of reaching a conclusion more economically in our computational experiments.
Similar content being viewed by others
References
J. De Kleer and B.C. Williams, Diagnosing multiple faults, Artificial Intelligence 32 (1987) 97–130.
R. Duda, J. Gasching and P. Hart, Model design in the PROSPECT consultant system for mineral exploration, in: Expert Systems in the Micro-Electronic Age (Edinburgh Univ. Press, Edinburgh, 1979).
J. Gu, P.W. Purdom, J. Franco and B.W. Wah, Algorithms for satisfiability (SAT) problem: A survey, in: Satisfiability Problem: Theory and Applications, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 35 (Amer. Math. Soc., Providence, RI, 1997) pp. 19–153.
F. Hates-Roth, D.A. Waterman and D.B. Lenat, Building Expert Systems (Addison-Wesley, Reading, MA, 1983).
J.N. Hooker and V. Vinay, Branching rules for satisfiability problems, Journal of Automated Reasoning 15 (1995) 359–383.
E. Horowitz and S. Sahni, Fundamentals of Computer Algorithms (Computer Science Press, Rockville, MD, 1978).
R.G. Jerolow and J. Wang, Solving propositional satisfiability problems, Annals of Mathematics and Artificial Intelligence 1 (1990) 167–187.
G.F. Luger and W.A. Stubblefield, Artificial Intelligence and the Design of Expert Systems (Benjamin Cummings, Redwood City, CA, 1989).
C.S. Mellish, Generalized alpha-beta pruning as a guide to expert system question selection, in: Expert System ‘85, Proceedings of the 5th Technical Conference of the British Computer Society Specialist Group on Expert Systems, Univ. of Warwick (Cambridge Univ. Press, Cambridge, 1985) pp. 31–41.
E. Triantaphyllou and J. Wang, The problem of asking the minimum number of questions in Horn clause systems, Mathematical and Computer Modeling 20(9) (1994) 75–87.
J. Wang, Branching rules for propositional satisfiability test, in: Satisfiability Problem: Theory and Applications, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 35 (Amer. Math. Soc., Providence, RI, 1997) pp. 351–364.
J. Wang, Guided inference for propositional knowledge bases, Annals of Mathematics and Artificial Intelligence 23 (1998) 345–356.
J. Wang and E. Triantaphyllou, A cost-effective question-asking strategy for Horn clause systems, Annals of Mathematics and Artificial Intelligence 17 (1996) 359–380.
J. Wang and J. Vande Vate, Question-asking strategies for Horn clause systems, Annals of Mathematics and Artificial Intelligence 1 (1990) 359–370.
Author information
Authors and Affiliations
Corresponding author
Additional information
AMS subject classification
03B05, 68T20, 68T15
Rights and permissions
About this article
Cite this article
Wang, J. A cost-reducing question-selection algorithm for propositional knowledge-based systems. Ann Math Artif Intell 44, 35–60 (2005). https://doi.org/10.1007/s10472-005-1809-2
Issue Date:
DOI: https://doi.org/10.1007/s10472-005-1809-2