Abstract
Our goal through several years has been the development of efficient search algorithm for inductive inference of expressions using only input/output examples. The idea is to avoid exhaustive search by means of taking full advantage of semantic equality of many considered expressions. This might be the way that people avoid too big search when finding proof strategies for theorems, etc. As a formal model for the development of the method we use arithmetic expressions over the domain of natural numbers. A new approach for using weights associated with the functional symbols for restricting search space is considered. This allows adding constraints like the frequency of particular symbols in the expression. Additionally the current state of the art of computer experiments using this methodology is described. An example that is considered is the inductive inference of the formula for solving quadratic equations, the finding of which by pure exhaustive search would be unrealistic.
Preview
Unable to display preview. Download preview PDF.
References
D.Angluin: Easily inferred sequences. Memorandum No. ERL-M499, University of California, 1974
P.van Emde Boas, R.Kaas and E.Zijlstra: Design and Implementation of an Efficient Priority Queue. Mathematical Systems Theory 10 (1977), pp. 99–127
J.M.Barzdins and G.J.Barzdins: Rapid construction of algebraic axioms from samples. Theoretical Computer Science 90 (1991), pp. 199–208
G.Barzdins: Inductive synthesis of term rewriting systems. Lecture Notes in Computer Science, vol.502 (1991), pp. 253–285
J.Barzdins and G.Barzdins: Towards efficient inductive synthesis: rapid construction of local regularities. Lecture Notes in Computer Science, vol.659 (1993), pp. 132–140
R. Freivalds: Inductive inference of recursive functions. Qualitative theory. Lecture Notes in Computer Science, vol.502 (1991), pp. 77–110
R.Freivalds, J.Barzdins, K.Podnieks: Inductive inference of recursive functions: Complexity bounds. Lecture Notes in Computer Science, vol.502 (1991), pp. 565–613
E.Howard: An Introduction to the History of Mathematics. New York: Holt, Reinhard and Winston 1961
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bārzdiņš, J., Bārzdiņš, G., Apsītis, K., Sarkans, U. (1993). Towards efficient inductive synthesis of expressions from input/output examples. In: Jantke, K.P., Kobayashi, S., Tomita, E., Yokomori, T. (eds) Algorithmic Learning Theory. ALT 1993. Lecture Notes in Computer Science, vol 744. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57370-4_37
Download citation
DOI: https://doi.org/10.1007/3-540-57370-4_37
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57370-8
Online ISBN: 978-3-540-48096-9
eBook Packages: Springer Book Archive