Abstract
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.
Preview
Unable to display preview. Download preview PDF.
Bibliography
McAllester D.: An outlook on Truth Maintenance, AI Memo 551 MIT AI Lab. 1980.
McAllester D.: Reasoning Utility User's Manual, AI Memo 667 MIT AI Lab. 1982.
Doyle J.: A Truth Maintenance System, Artificial Intelligence 1979 vol. 12 pp. 231–272.
Doyle J.: The Ins and Outs of Reason Maintenance, proc. IJCAI 1983 pp. 49–351.
Eells E.: Rational Decision and Causality, Cambridge Un. Press, Cambridge 1982.
Garigliano R.: A Consistency-Recovering System for Inference Engines, LNCS 286, Springer-Verlag, 1987.
Garigliano R., Long D.: A Formal Model through Homogeneity Theory of Adaptive Reasoning, PRG Monograph, University of Oxford, forthcoming.
Martins J., Shapiro S. Reasoning in Multiple Belief Spaces, proc IJCAI 1983 pp. 370–373.
Martins J.: Reasoning in Multiple Belief Spaces, Dept. of Computer Science Ph.D. Thesis SUNY Buffalo May 1983.
Ostrovsky R.: Holmes-1, a prolog-based Reasoning Maintenance System For Collecting Information From Multiple Experts, LNCS 286, 1987.
Rescher N.: Plausible Reasoning, Van Gorcum, Assen/Amsterdam 1976.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Garigliano, R., Bokma, A., Long, D. (1988). A model for learning by source control. In: Bouchon, B., Saitta, L., Yager, R.R. (eds) Uncertainty and Intelligent Systems. IPMU 1988. Lecture Notes in Computer Science, vol 313. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19402-9_69
Download citation
DOI: https://doi.org/10.1007/3-540-19402-9_69
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19402-6
Online ISBN: 978-3-540-39255-2
eBook Packages: Springer Book Archive