Learning to ask relevant questions

Artificial Intelligence

Volumn 111, Issue 1, 1999, Pages 301-327

  Straach, Janell ^a   Truemper, Klaus ^b  

^a IBM   (United States)

^b UNIVERSITY OF TEXAS AT DALLAS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; INTERFACES (COMPUTER); KNOWLEDGE REPRESENTATION; LEARNING ALGORITHMS; LEARNING SYSTEMS; LOGIC PROGRAMMING; MATHEMATICAL MODELS; THEOREM PROVING;

LEARNING INTERACTION MODELS;

EXPERT SYSTEMS;

EID: 0033165527     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(99)00037-5     Document Type: Article

References (30)

1. B. Aspvall, M.F. Plass, R.E. Tarjan, A linear-time algorithm for testing the truth of certain quantified Boolean formulas, Inform. Process. Lett. 8 (1979) 121-123.
2. A.T. Bahill, Verifying and Validating Personal Computer Based Expert Systems, Prentice-Hall, Englewood Cliffs, NJ, 1991.
3. T.J.M. Bench-Capon, Deep models, normative reasoning and legal expert systems, in: ACM Proc. 2nd International Conference on Artificial Intelligence and Law, 1987, pp. 37-45.
4. D.C. Berry, D.E. Broadbent, Expert systems and the man-machine interface. Part Two: The user interface, Expert Systems 4 (1987) 18-27.
5. B.C. Buchanan, E.H. Shortliffe, Rule Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project, Addison-Wesley, Reading, MA, 1984.
6. T. Bylander, The monotone abduction problem: A functional characterization on the edge of tractability, in: Proc. 2nd International Conference on Knowledge Representation and Reasoning (KR-91), Cambridge, MA, 1991, pp. 70-77.
7. P.R. Cohen, D. Day, J. DeLisio, M. Greenberg, R. Kjeldsen, D. Suthers, Management of uncertainty in medicine, Internat. J. Approx. Reason. 1 (1987) 103-116.
8. T. Eiter, G. Gottlob, The complexity of logic-based abduction, J. ACM 42 (1995) 3-12.
9. T.R. Gruber, The Acquisition of Strategic Knowledge, Academic Press, San Diego, CA, 1989.
10. J.M. Herod, A.T. Bahill, Ameliorating the pregnant man problem, Internat. J. Man-Machine Studies 35 (1991)789-805.
11. D. Heckerman, E. Horvitz, B. Middleton, An approximate nonmyopic computation for value of information, IEEE Trans. Pattern Analysis and Machine Intelligence 15 (1993) 292-298.
12. G.S. Hubona, J.E. Blanton, Evaluating system design features, Internat. J. Human-Computer Studies 44 (1996) 93-118.
13. Y. Kang, A.T. Bahill, A tool for detecting expert-system errors, AI Expert (1990)46-51.
14. J. de Kleer, B.C. Williams, Diagnosing multiple faults, Artificial Intelligence 32 (1987) 97-130.
15. J. de Kleer, Using crude probability estimates to guide diagnosis, Artificial Intelligence 45 (1990) 381-391.
16. H. Kleine Büning, M. Karpinski, A. Flögel, Resolution for quantified Boolean formulas, Inform, and Comput. 117 (1995) 12-18.
17. C.G. Koch, B.A. Isle, A.W. Butler, Intelligent user interface for expert systems applied to power plant maintenance and troubleshooting, IEEE Trans. Energy Conversion 3 (1988) 71-83.
18. Leibniz System, Version 4.2, Piano, TX, 1996.
19. A.Y Levy, R.E. Fikes, Y. Sagiv, Speeding up inferences using relevance reasoning: A formalism and algorithms, Artificial Intelligence 97 (1997) 83-136.
20. C.S. Mellish, Generalised alpha-beta pruning as a guide to expert system question selection, Expert Systems 85(1985)31-41.
21. B. Moulin, D. Rousseau, SACD: A system for acquiring knowledge from regulatory texts, Computer and Electrical Engineering 20 (1994) 131-149.
22. C.H. Papadimitriou, Computational Complexity, Addison-Wesley, Reading, MA, 1994.
23. J. Straach, Effective Optimization in Expert Systems, Ph.D. Thesis, University of Texas at Dallas, 1998.
24. E. Triantaphyllou, J. Wang, A cost effective question asking strategy, in: Proc. 1992 ACM/SIGAPP Symposium on Applied Computing, 1992, pp. 505-511.
25. K. Truemper, Matroid Decomposition, Academic Press, Boston, MA, 1992; revised edition: Leibniz, Piano, TX, 1998.
26. K. Truemper, Effective Logic Computation, Wiley, New York, 1998.
27. K. Truemper, Efficient algorithms for classes of the futile questioning problem, Working Paper, University of Texas at Dallas, 1998.
28. G. Valiente, Input-driven control of rule-based expert systems, in: Proc. 7th International Symposium on Methodologies for Intelligent Systems (ISMIS-93), 1993, pp. 86-95.
29. J. Wang, E. Triantaphyllou, A cost effective question asking strategy for Horn clause systems, Ann. Math. Artificial Intelligence 17 (1996)359-379.
30. J. Wang, J. Vande Vate, Question-asking strategies for Horn clause systems, Ann. Math. Artificial Intelligence 1 (1990)359-370.