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

  • Rafail Ostrovsky
Section III Applications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 286)


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.


Expert System Maintenance System Belief Space Multiple Expert Truth Maintenance 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

8. References

  1. 1.
    Brown A., "Modal Propositional Semantics for Reason Maintenance Systems", in proc. IJCAI-85. pp.178–184.Google Scholar
  2. 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. 3.
    Davis R., "Meta-Rules: Reasoning About Control", MIT AI Lab Memo 576 1980.Google Scholar
  4. 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. 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. 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. 7.
    Doyle J., "A glimpse of truth maintenance" MIT AI Lab Memo 461a (Cambridge 1978).Google Scholar
  8. 8.
    Doyle J., "A truth maintenance system", Artificial Intelligence 12:(1979) pp.231–272.Google Scholar
  9. 9.
    Doyle J., "The Ins and Outs of Reason Maintenance". In proc. IJCAI-83. pp.49–351.Google Scholar
  10. 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. 11.
    Martins J. and Shapiro S. "Reasoning in Multiple Belief Spaces" In proc. IJCAI-83, pp.370–373.Google Scholar
  12. 12.
    Martins J., "Reasoning in Multiple Belief Spaces", Ph.D. dissertation, Department of Computer Science, SUNY as Buffalo, May 1983.Google Scholar
  13. 13.
    McAllester D., "A three-valued truth maintenance system", Technical Report Memo 473, MIT, AI Lab. 1978.Google Scholar
  14. 14.
    McAllester D., "An outlook on Truth maintenance", AI Memo 551. MIT. AI Lab., 1980.Google Scholar
  15. 15.
    McAllester, D. A. "Reasoning Utility User's manual" A1 Memo 667, MIT AI Lab, Cambridge, Ma. 1982.Google Scholar
  16. 16.
    McDermott, D. and Doyle J. "Non-monotonic logic I" Artificial Intelligence 13:(1980) pp133–170.Google Scholar
  17. 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. 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. 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. 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. 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. 22.
    Szolovits P. and Pauker S. "Categorical and Probabilistic Reasoning on Medical Diagnosis". Artificial Intelligence 11:(1978) pp.115–144Google Scholar
  23. 23.
    Thompson A., "Network Truth-Maintenance for Deduction and Modelling", Proc. IJCAI-79, pp.877–879.Google Scholar
  24. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Rafail Ostrovsky
    • 1
  1. 1.Computer Science DepartmentBoston UniversityBoston

Personalised recommendations