Skip to main content
Springer Nature Link
Log in

A cost effective question-asking strategy for Horn clause systems

  • Published:
Annals of Mathematics and Artificial Intelligence Aims and scope Submit manuscript

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.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Y. Ben-dov, Optimal testing procedures for special structures of coherent system,Management Science 27(12) (1981) 1410–1420.

    Google Scholar 

  2. R. Butterworth, Some reliability fault-testing models,Operations Research 20 (1972) 335–343.

    Google Scholar 

  3. J. De Kleer and B.C. Williams, Diagnosing multiple faults,Artificial Intelligence 32 (1987) 97–130.

    Google Scholar 

  4. J. De Kleer, Using crude probability estimates to guide diagnosis,Artificial Intelligence 45 (1990) 381–391.

    Google Scholar 

  5. W.F. Dowling and J.H. Gallier, Linear time algorithms for testing the satisfiability of Horn formulae,J. Logic Programming 3 (1984) 267–284.

    Google Scholar 

  6. 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).

    Google Scholar 

  7. F. Hates-Roth, D.A. Waterman and D.B. Lenat,Building Expert Systems (Addison-Wesley, Reading, MA, 1983).

    Google Scholar 

  8. R.G. Jeroslow and J. Wang, Dynamic programming, integral polyhedra and Horn clause knowledge bases,ORSA's Journal on Computing 1 (1989) 7–19.

    Google Scholar 

  9. J.D. Kershaw,Digital Electronics — Logic and Systems (Wadsworth, Belmont, CA, 1976).

    Google Scholar 

  10. G.F. Luger and W.A. Stubblefield,Artificial Intelligence and the Design of Expert Systems (Benjamin/Cummings, Redwood City, CA, 1989).

    Google Scholar 

  11. 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.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. J. Wang and J. Vande Vate, Question-asking strategies for Horn clause systems,Annals of Mathematics and Artificial Intelligence 1 (1990) 359–370.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Business and Economics, Missouri Western State College, 64507-2294, St. Joseph, MO, USA

    Jinchang Wang

  2. Department of Industrial and Manufacturing Systems Engineering, Louisiana State University, 3134C CEBA Building, 70803-6409, Baton Rouge, LA, USA

    Evangelos Triantaphyllou

Authors
  1. Jinchang Wang
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Evangelos Triantaphyllou
    View author publications

    You can also search for this author inPubMed Google Scholar

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

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02127975

Keywords