A model for learning by source control

  • Roberto Garigliano
  • Albert Bokma
  • Derek Long
Knowledge Acquisition And Machine Learning
Part of the Lecture Notes in Computer Science book series (LNCS, volume 313)


The information we receive is often changing, inconsistent and incomplete, thus bound to generate contradictions. Clearly we must recover reasonably from inconsistencies if to make sense of the world. We introduce a model to cope with this situation. This paper continues the work presented in (6,7). We propose that an adaptive reasoning system should use a model of its sources, recognise patterns in their behaviour and adjust that model on the basis of evidence and general principles. The relation with TMS is then discussed.


Source Reliability Trust Contradiction Relevance Importance Adaptation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    McAllester D.: An outlook on Truth Maintenance, AI Memo 551 MIT AI Lab. 1980.Google Scholar
  2. [2]
    McAllester D.: Reasoning Utility User's Manual, AI Memo 667 MIT AI Lab. 1982.Google Scholar
  3. [3]
    Doyle J.: A Truth Maintenance System, Artificial Intelligence 1979 vol. 12 pp. 231–272.Google Scholar
  4. [4]
    Doyle J.: The Ins and Outs of Reason Maintenance, proc. IJCAI 1983 pp. 49–351.Google Scholar
  5. [5]
    Eells E.: Rational Decision and Causality, Cambridge Un. Press, Cambridge 1982.Google Scholar
  6. [6]
    Garigliano R.: A Consistency-Recovering System for Inference Engines, LNCS 286, Springer-Verlag, 1987.Google Scholar
  7. [7]
    Garigliano R., Long D.: A Formal Model through Homogeneity Theory of Adaptive Reasoning, PRG Monograph, University of Oxford, forthcoming.Google Scholar
  8. [8]
    Martins J., Shapiro S. Reasoning in Multiple Belief Spaces, proc IJCAI 1983 pp. 370–373.Google Scholar
  9. [9]
    Martins J.: Reasoning in Multiple Belief Spaces, Dept. of Computer Science Ph.D. Thesis SUNY Buffalo May 1983.Google Scholar
  10. [10]
    Ostrovsky R.: Holmes-1, a prolog-based Reasoning Maintenance System For Collecting Information From Multiple Experts, LNCS 286, 1987.Google Scholar
  11. [11]
    Rescher N.: Plausible Reasoning, Van Gorcum, Assen/Amsterdam 1976.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Roberto Garigliano
    • 1
  • Albert Bokma
    • 1
  • Derek Long
    • 2
  1. 1.School of Engineering and Applied ScienceUniversity of DurhamEngland
  2. 2.Dept. of Computer ScienceUniversity CollegeLondon

Personalised recommendations