Abstract
A logic procedure is provided as to discover relations inductively from experimental data. This logic inductive inference method discovers the properties of the relations in question step by step in the form of fixed point equations.
The defining formulas in these equations may use only bounded quantifiers but the relation to be defined may also negatively occur. By using this type of equations all primitive recursive relations can be defined.
One of the main characteristics is that the hypothesis is constructed on the base of experimental data instead of choosing it from a given set.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Angluin, D.-Smith, C.: Inductive inference: Theory and methods. Comp.Surv.Vol.15,No.3, (1983), 237–269.
Brainerd,W.S.-Landweber,L.H.: Theory of Computation. Wiley (1974).
Gergely, T.-Ury, L.: Adequate characterization of Hoare's logic. Semiotics and Informatics, Vol.22.(1983), 81–101.
Klette, R.-Wiehagen, R.: Research in the theory of inductive inference by GDR mathematicians — A survey. Inf.Sci.22,(1980), 149–169.
Szabó,Zs.: Stratified inductive hypothesis generation. Conf. on "Artificial Intelligence and Inductive Inference" held in Wendisch-Rietz, present volume, (1986).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gergely, T., Szabó, Z. (1987). Fixed point equations as hypotheses in inductive reasoning. In: Jantke, K.P. (eds) Analogical and Inductive Inference. AII 1986. Lecture Notes in Computer Science, vol 265. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18081-8_84
Download citation
DOI: https://doi.org/10.1007/3-540-18081-8_84
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18081-4
Online ISBN: 978-3-540-47739-6
eBook Packages: Springer Book Archive