Learning from examples with typed equational programming

  • Akira Ishino
  • Akihiro Yamamoto
Selected Papers Algorithmic Learning Theory
Part of the Lecture Notes in Computer Science book series (LNCS, volume 872)


In this paper we present a constructive method of learning from examples using typed equational programming. The main contribution is a concept of type maintenance which appears to be theoretically and practically useful. Type maintenance is based on polymorphic types and is not applicable to a type system without polymorphism. Because equational programming possesses good properties of both functional programming and logic programming, we will refine results in inductive inference of logic programs and that of functions. Our learning method is based on the type maintenance, the generalization given by Plotkin and Arimura et al. and the technique finding recursion given by Summers.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    H. Arimura, H. Ishizaka, T. Shinohara, and S. Otsuki. A Generalization of the Least Generalization. Machine Intelligence 13. December 1992.Google Scholar
  2. 2.
    A. W. Biermann. The inference of regular lisp programs from examples. IEEE Transaction on System, Man and Cybernetics, 8(8):585–600, 1978.Google Scholar
  3. 3.
    A. W. Biermann. A production rule mechanism for generating lisp code. IEEE Transaction on System, Man and Cybernetics, 5(9):260–276, 1979.Google Scholar
  4. 4.
    S. Hölldobler. Foundations of Equational Logic Programming. Lecture Notes in Artifical Intelligence 353. Springer-Verlag, 1989.Google Scholar
  5. 5.
    P. Hudak, S. P. Jones, and P. Wadler (editors). Report on the programming language haskell, a non-strict purely functional language (version 1.2). ACM SIG-PLAN Notices, 21 (12):37–79, December 1986.Google Scholar
  6. 6.
    C. D. Page Jr. and A. M. Frisch. Generalization and Learnability: A Study of Constrained Atoms, chapter 2, pages 29–61. Inductive Logic Programming. Academic Press Inc., 1992.Google Scholar
  7. 7.
    J-L. Lassez, M.J. Maher, and K. Marriott. Unification Revisited, chapter 15, pages 587–625. Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers, 1987.Google Scholar
  8. 8.
    C. X. Ling. Learning and invention of horn clause theories. Methodologies for Intelligent Systems, 4:323–331, 1989.Google Scholar
  9. 9.
    C. X. Ling and L. Ungar. Inventing theoretical terms in inductive learning of functions. Methodologies for Intelligent Systems, 4:332–341, 1989.Google Scholar
  10. 10.
    R. Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348–375, 1978.Google Scholar
  11. 11.
    R. Milner and M. Tofte. Commentary on Standard ML. The MIT Press, 1991.Google Scholar
  12. 12.
    R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, 1990.Google Scholar
  13. 13.
    S. Muggleton, editor. Inductive Logic Programming. Academic Press Inc., 1992.Google Scholar
  14. 14.
    M. J. O'Donnell. Computing in Systems Described by Equations. Lecture Notes in Computer Science 58. Springer-Verlag, 1977.Google Scholar
  15. 15.
    G. D. Plotkin. A Note on Inductive Generalization, chapter 8, pages 153–163. Machine Intelligence 5. December 1969.Google Scholar
  16. 16.
    E. Y. Shapiro. Algorithmic Program Debugging. MIT Press, 1983.Google Scholar
  17. 17.
    P. D. Summers. Program construction from examples. Technical Report RC-5637, IBM Res., 1975.Google Scholar
  18. 18.
    P. D. Summers. A methodology for lisp program construction from examples. JACM, 24:161–175, 1977.Google Scholar
  19. 19.
    A. Togashi. Inductive inference of term rewriting systems realizing algebras. In In Proc. ALT '90, pages 411–424. JSAI, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Akira Ishino
    • 1
  • Akihiro Yamamoto
    • 1
  1. 1.Department of Electrical EngineeringHokkaido UniversitySapporoJapan

Personalised recommendations