Fixed point equations as hypotheses in inductive reasoning

  • T. Gergely
  • Zs. Szabó
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 265)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Angluin, D.-Smith, C.: Inductive inference: Theory and methods. Comp.Surv.Vol.15,No.3, (1983), 237–269.Google Scholar
  2. 2.
    Brainerd,W.S.-Landweber,L.H.: Theory of Computation. Wiley (1974).Google Scholar
  3. 3.
    Gergely, T.-Ury, L.: Adequate characterization of Hoare's logic. Semiotics and Informatics, Vol.22.(1983), 81–101.Google Scholar
  4. 4.
    Klette, R.-Wiehagen, R.: Research in the theory of inductive inference by GDR mathematicians — A survey. Inf.Sci.22,(1980), 149–169.Google Scholar
  5. 5.
    Szabó,Zs.: Stratified inductive hypothesis generation. Conf. on "Artificial Intelligence and Inductive Inference" held in Wendisch-Rietz, present volume, (1986).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • T. Gergely
    • 1
  • Zs. Szabó
    • 1
  1. 1.Applied Logic LaboratoryBudapest, 112Hungary

Personalised recommendations