Abstract
In many applications of knowledge based systems, the initial data are insufficient to fulfill inference. In that case, knowledge based systems ask users questions in order to acquire more information. When and what to ask is determined by a question-asking strategy. This paper deals with question-asking strategies for a Horn system in which the response costs of the questions and the probablistic estimates of the answers are given. We introduce a question sequencing rule and enhance an efficient question-asking strategy. Our computational experiments show that the proposed question-asking strategy is very effective.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Y. Ben-dov, Optimal testing procedures for special structures of coherent system,Management Science 27(12) (1981) 1410–1420.
R. Butterworth, Some reliability fault-testing models,Operations Research 20 (1972) 335–343.
J. De Kleer and B.C. Williams, Diagnosing multiple faults,Artificial Intelligence 32 (1987) 97–130.
J. De Kleer, Using crude probability estimates to guide diagnosis,Artificial Intelligence 45 (1990) 381–391.
W.F. Dowling and J.H. Gallier, Linear time algorithms for testing the satisfiability of Horn formulae,J. Logic Programming 3 (1984) 267–284.
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, Great Britain, 1979).
F. Hates-Roth, D.A. Waterman and D.B. Lenat,Building Expert Systems (Addison-Wesley, Reading, MA, 1983).
R.G. Jeroslow and J. Wang, Dynamic programming, integral polyhedra and Horn clause knowledge bases,ORSA's Journal on Computing 1 (1989) 7–19.
J.D. Kershaw,Digital Electronics — Logic and Systems (Wadsworth, Belmont, CA, 1976).
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,Expert System '85, Proceedings of the Fifth Technical Conference of the British Computer Society Specialist Group on Expert Systems, Univ. of Warwick (Cambridge Univ. Press, Cambridge CB2 1RP, 1985) pp. 31–41.
E. Triantaphyllou and J. Wang, The problem of asking the minimum number of questions in Horn clause systems,Math. Comput. Modeling 20(9) (1994) 75–87.
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
Additional information
Supported in part by the Office of Naval Research grant N00014-94-1-0355.
Supported in part by the Office of Naval Research grant N00014-95-0639.
Rights and permissions
About this article
Cite this article
Wang, J., Triantaphyllou, E. A cost effective question-asking strategy for Horn clause systems. Ann Math Artif Intell 17, 359–379 (1996). https://doi.org/10.1007/BF02127975
Issue Date:
DOI: https://doi.org/10.1007/BF02127975