Incorporating Hypothetical Knowledge into the Process of Inductive Synthesis
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.
Cite
Text
Barzdins and Sarkans. "Incorporating Hypothetical Knowledge into the Process of Inductive Synthesis." International Conference on Algorithmic Learning Theory, 1996. doi:10.1007/3-540-61863-5_43Markdown
[Barzdins and Sarkans. "Incorporating Hypothetical Knowledge into the Process of Inductive Synthesis." International Conference on Algorithmic Learning Theory, 1996.](https://mlanthology.org/alt/1996/barzdins1996alt-incorporating/) doi:10.1007/3-540-61863-5_43BibTeX
@inproceedings{barzdins1996alt-incorporating,
title = {{Incorporating Hypothetical Knowledge into the Process of Inductive Synthesis}},
author = {Barzdins, Janis and Sarkans, Ugis},
booktitle = {International Conference on Algorithmic Learning Theory},
year = {1996},
pages = {156-168},
doi = {10.1007/3-540-61863-5_43},
url = {https://mlanthology.org/alt/1996/barzdins1996alt-incorporating/}
}