Skip to main content
SpringerLink
Log in

HOLMES-I, a prolog-based reason maintenance system for collecting information from multiple experts

  • Section III Applications
  • Conference paper
  • First Online:
Uncertainty in Knowledge-Based Systems (IPMU 1986)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 286))

Abstract

We have presented a method of collecting information from multiple experts and assembling it into a knowledge-base which has no known contradictions. We argued that this is one of the useful tools for building a large knowledge-based system. We described HOLMES-I, a Prolog-based system which has both forward and backward chaining, Reason Maintenance with Multiple Belief Spaces and Contradiction Resolution. Finally we described some of the limitations of the current version of HOLMES and indicated our goals for the next version.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

8. References

  1. Brown A., "Modal Propositional Semantics for Reason Maintenance Systems", in proc. IJCAI-85. pp.178–184.

    Google Scholar 

  2. Davis R., Buchanan B., and Shortliffe E. "Production Rules as a Representation for a Knowledge-Based Consultation Program", Artificial Intelligence 8:(1977) pp.15–45.

    Google Scholar 

  3. Davis R., "Meta-Rules: Reasoning About Control", MIT AI Lab Memo 576 1980.

    Google Scholar 

  4. Davis R., "Amplifying Expertise with Expert Systems", in "The AI Business" MIT Press 1984, Winston P. and Prendergast K. (eds.) p.25.

    Google Scholar 

  5. DeKleer J., Doyle J., Steele G. and Sussman G., "Explicit Control of Reasoning", in Artificial Intelligence: An MIT perspective, Volume I, Winston and Brown (eds.) pp. 93–116, MIT Press, 1979.

    Google Scholar 

  6. Doyle J., "Truth Maintenance Systems for Problem Solving". M.S. thesis (May 1977). Also MIT AI Lab Technical Report 419 (Cambridge. September 1978).

    Google Scholar 

  7. Doyle J., "A glimpse of truth maintenance" MIT AI Lab Memo 461a (Cambridge 1978).

    Google Scholar 

  8. Doyle J., "A truth maintenance system", Artificial Intelligence 12:(1979) pp.231–272.

    Google Scholar 

  9. Doyle J., "The Ins and Outs of Reason Maintenance". In proc. IJCAI-83. pp.49–351.

    Google Scholar 

  10. London P., "Dependency Networks as representation for Modelling in General Problem Solvers". Technical report 689, Department of Computer Science, University of Maryland, 1978.

    Google Scholar 

  11. Martins J. and Shapiro S. "Reasoning in Multiple Belief Spaces" In proc. IJCAI-83, pp.370–373.

    Google Scholar 

  12. Martins J., "Reasoning in Multiple Belief Spaces", Ph.D. dissertation, Department of Computer Science, SUNY as Buffalo, May 1983.

    Google Scholar 

  13. McAllester D., "A three-valued truth maintenance system", Technical Report Memo 473, MIT, AI Lab. 1978.

    Google Scholar 

  14. McAllester D., "An outlook on Truth maintenance", AI Memo 551. MIT. AI Lab., 1980.

    Google Scholar 

  15. McAllester, D. A. "Reasoning Utility User's manual" A1 Memo 667, MIT AI Lab, Cambridge, Ma. 1982.

    Google Scholar 

  16. McDermott, D. and Doyle J. "Non-monotonic logic I" Artificial Intelligence 13:(1980) pp133–170.

    Google Scholar 

  17. Miller R., Pople H., Myers J. "Internist-I, an experimental computer-based diagnostic consultant for general internal medicine" New England Journal of Medicine 307:(1982) pp.468–476.

    Google Scholar 

  18. Nutter J. T., "What else is wrong with non-monotonic logics? representational and Informational Shortcomings" In proc. to Fifth Annual Conference of the Cognitive Science Society, 1983.

    Google Scholar 

  19. Pauker S., Gorry G., Kassirer J., and Schwartz W. "Toward the simulation of Clinical Cognition: Taking a Present Illness by Computer, The American Journal of Medicine 60 (1976) pp.981–995.

    Google Scholar 

  20. Perlis, D., "Bibliography if literature on non-monotonic reasoning", In proc of AAAI workshop of non-monotonic reasoning, ed R. Reither at al., pp396–401 1984.

    Google Scholar 

  21. Stallman R. and Sussman G., "Forward Reasoning and Dependency Directed Backtracking in a system for Computer-Aided Circut analysis" Artificial Intelligence 9:(1977) pp.135–196.

    Google Scholar 

  22. Szolovits P. and Pauker S. "Categorical and Probabilistic Reasoning on Medical Diagnosis". Artificial Intelligence 11:(1978) pp.115–144

    Google Scholar 

  23. Thompson A., "Network Truth-Maintenance for Deduction and Modelling", Proc. IJCAI-79, pp.877–879.

    Google Scholar 

  24. Lenat D., Prakash M., Shepherd M. "CYC: Using Common Sense Knowledge to Overcome Brittleness and Knowledge Acquisition Bottlenecks" AI magazine, vol.6, No.4, Winter 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Boston University, 111 Cummington Street, 02215, Boston, MA

    Rafail Ostrovsky

Authors
  1. Rafail Ostrovsky
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

B. Bouchon R. R. Yager

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ostrovsky, R. (1987). HOLMES-I, a prolog-based reason maintenance system for collecting information from multiple experts. In: Bouchon, B., Yager, R.R. (eds) Uncertainty in Knowledge-Based Systems. IPMU 1986. Lecture Notes in Computer Science, vol 286. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18579-8_32

Download citation

  • DOI: https://doi.org/10.1007/3-540-18579-8_32

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18579-6

  • Online ISBN: 978-3-540-48020-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation