Incorporating hypothetical knowledge into the process of inductive synthesis

  • Jānis Bārzdiņš
  • Ugis Sarkans
Conference paper

DOI: 10.1007/3-540-61863-5_43

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1160)
Cite this paper as:
Bārzdiņš J., Sarkans U. (1996) Incorporating hypothetical knowledge into the process of inductive synthesis. In: Arikawa S., Sharma A.K. (eds) Algorithmic Learning Theory. ALT 1996. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), vol 1160. Springer, Berlin, Heidelberg

Abstract

The problem of inductive inference of functions from hypothetical knowledge is investigated in this paper. This type of inductive inference could be regarded as a generalization of synthesis from examples that can be directed not only by input/output examples but also by knowledge of, e. g., functional description's syntactic structure or assumptions about the process of function evaluation. We show that synthesis of this kind is possible by efficiently enumerating the hypothesis space and illustrate it with several examples.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1996

Authors and Affiliations

  • Jānis Bārzdiņš
    • 1
  • Ugis Sarkans
    • 1
  1. 1.Institute of Mathematics and Computer ScienceUniversity of LatviaRigaLatvia

Personalised recommendations