Advertisement

Inductive inference from good examples

  • Rūsinš Freivalds
  • Efim B. Kinber
  • Rolf Wiehagen
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 397)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Angluin, D., and Smith, C.H. Inductive inference: theory and methods. Computing Surveys 15(1983), 237–269.Google Scholar
  2. [2]
    Barzdin, Ya.M. Two theorems on the limiting synthesis of functions. [11], Vol.1 (1974), 82–88 (in Russian).Google Scholar
  3. [3]
    Blum, M. A machine-independent theory of the complexity of recursive functions. J. ACM 14(1967), 322–336.Google Scholar
  4. [4]
    Freivalds, R., Kinber, E.B., and Wiehagen, R. Inductive inference and computable one-one numberings. Zeitschr. für Math. Logik und Grundl. der Math. 28(1982), 463–479.Google Scholar
  5. [5]
    Freivalds, R., Kinber, E.B., and Wiehagen, R. Probabilistic versus deterministic inductive inference in nonstandard numberings. Zeitschr. für Math. Logik und Grundl. der Math. 34(1988), 531–539.Google Scholar
  6. [6]
    Kinber, E.B. On the limiting synthesis of almost minimal Gödel numbers. [11], Vol. 1 (1974), 221–223 (in Russian).Google Scholar
  7. [7]
    Klette, R., and Wiehagen, R. Research in the theory of inductive inference by GDR mathematicians — a survey. Information Sciences 22(1980), 149–169.Google Scholar
  8. [8]
    Podnieks, K. Comparing various concepts of limiting synthesis and function prediction. [11], Vol. 1 (1974), 68–81 (in Russian).Google Scholar
  9. [9]
    Rogers, H. Jr. Theory of recursive functions and effective computability. McGraw-Hill, New York 1967.Google Scholar
  10. [10]
    Smullyan, R.M. Theory of formal systems. Annals of Math. Studies 47(1961)Google Scholar
  11. [11]
    Theory of algorithms and programs, Vol. 1, 2, 3. Ya.M.Barzdin, Ed. Latvian State Univ., Riga 1974, 1975, 1977 (in Russian).Google Scholar
  12. [12]
    Wiehagen, R. Zur Theorie der algorithmischen Erkennung. Diss. B, Humboldt-Univ. Berlin, 1978.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Rūsinš Freivalds
    • 1
    • 2
  • Efim B. Kinber
    • 1
  • Rolf Wiehagen
    • 2
  1. 1.Computing CentreLatvian State UniversityRigaUSSR
  2. 2.Department of MathematicsHumboldt UniversityBerlinGDR

Personalised recommendations