Characterization of a Class of Functions Synthesized from Examples by a SUMMERS Like Method Using a "B.M.W." Matching Technique
Proceedings of the Sixth International Joint Conference on Artificial Intelligence. .
Abstract
This paper describes first a program synthesis from examples method using a SUMMERS like methodology together with a sophisticated pattern matching technique, the BOYER- IIOORE-I.JEGBREIT algorithm. We then characterize the class of functions synthesized from a restricted BMW algorithm. Our methodology is founded on three grounds.The first one is a precise characterization of the list dom3ins fitting the synthesis from examples problem. The second one is . SUMMERS' technique of input-output examples transformation into computational traces. The third one is the description by a restricted program scheme of the functions in the cl n ss. It seems to us that the proofs methods easily extend to the generalcl a ss.
@inproceedings{ijcai1979p96,
title = {Characterization of a Class of Functions Synthesized from Examples by a SUMMERS Like Method Using a "B.M.W." Matching Technique},
author = {Jouannaud, Jean-Pierre and Kodratoff, Yves},
booktitle = {Proceedings of the Sixth International Joint Conference on
Artificial Intelligence, {IJCAI-79}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Bruce G. Buchanan},
year = {1979},
month = {8},
url = {https://ijcai.org/proceedings/1979/96},
}
TY - CPAPER TI - Characterization of a Class of Functions Synthesized from Examples by a SUMMERS Like Method Using a "B.M.W." Matching Technique AU - Jouannaud, Jean-Pierre AU - Kodratoff, Yves T2 - Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79 PB - International Joint Conferences on Artificial Intelligence PY - 1979 UR - https://ijcai.org/proceedings/1979/96 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
