Abstract
This paper presents a formal characterization of the process of inductive hypothesis formation. This is achieved by formulating minimal properties for inductive consequence relations. These properties are justified by the fact that they are sufficient to allow identification in the limit. By means of stronger sets of properties, we also define both standard and non-standard forms of inductive reasoning, and give an application of the latter.
Part of this work has been carried out under ESPRIT III Basic Research Action 6020: Inductive Logic Programming.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Flach, P.A.: “Inductive characterisation of database relations,” in: Z.W. Ras, M. Zemankowa & M.L. Emrich (eds.), Proc. International Symposium on Methodologies for Intelligent Systems, Amsterdam: North-Holland (1990) 371–378. Full version appeared as ITK Research Report no. 23.
Flach, P.A.: “An analysis of various forms of ‘jumping to conclusions',” in: K.P. Jantke (ed.), Analogical and Inductive Inference AII'92, Lecture Notes in Artifical Intelligence 642, Berlin: Springer Verlag (1992) 170–186.
Flach, P.A.: “Predicate invention in Inductive Data Engineering,” in: P.B. Bradzil (ed.), Proc. European Conference on Machine Learning ECML'93, Lecture Notes in Artifical Intelligence 667, Berlin: Springer Verlag (1993) 83–94.
Gabbay, D.M.: “Theoretical foundations for non-monotonic reasoning in expert systems,” in: K.R. Apt (ed.), Logics and Models of Concurrent Systems, Berlin: Springer Verlag (1985) 439–457.
Gärdenfors., P.: Knowledge in Flux, Cambridge, MA: The MIT Press, 1988.
Gärdenfors, P.: “Belief revision and nonmonotonic logic: two sides of the same coin?” in: Proc. Ninth European Conference on AI, London: Pitman (1990) 768–773.
Gold, E.M.: “Language identification in the limit,” in: Information and Control 10 (1967), 447–474.
Kraus, S., D. Lehmann and M. Magidor: “Nonmonotonic reasoning, preferential models and cumulative logics,” in: Artificial Intelligence 44 (1990) 167–207.
Mitchell, T.M.: “Generalization as search,” in: Artificial Intelligence 18 (1982) 2, 203–226.
Shapiro, E.Y.: Algorithmic program debugging. Cambridge MA: MIT Press, 1983.
Shoham, Y.: “A semantical approach to nonmonotonic logics,” in: Proc. Eleventh International Joint Conference on AI, Los Altos, CA: Morgan Kaufmann (1987) 1304–1310.
Zadrozny, W.: On rules of abduction. IBM Research Report (August 1991).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Flach, P.A. (1994). A model of inductive reasoning. In: Masuch, M., Pólos, L. (eds) Knowledge Representation and Reasoning Under Uncertainty. Logic at Work 1992. Lecture Notes in Computer Science, vol 808. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58095-6_4
Download citation
DOI: https://doi.org/10.1007/3-540-58095-6_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58095-9
Online ISBN: 978-3-540-48451-6
eBook Packages: Springer Book Archive