SISP/1: An Interactive System Able to Synthesize Functions from Examples
Proceedings of the Fifth International Joint Conference on Artificial Intelligence. Aids to Programming. Pages 412-417.
Abstract
SISP/1 is an interactive system whose goal is the automatic inference of LISP functions from a finite set of examples {(xi, f(xi))} where xi is a list belonging to the domain of the function f we want to infer. SISP/1 is able to infer the recursive form of many linear recursive functions and its stop-condition. SISP/1 tries to work with one example only. When it fails, it asks for new ones: using then a method of generating new partial subproblems, SISP/1 is able to perfect its generated recursive function until it gets a correct one.
@inproceedings{ijcai1977p95,
title = {SISP/1: An Interactive System Able to Synthesize Functions from Examples},
author = {Jouannaud, Jean-Pierre and Guiho, Gérard D. and Treuil, Jean-Pierre},
booktitle = {Proceedings of the Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-77}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Raj Reddy},
pages = {412--417},
year = {1977},
note = {Aids to Programming},
url = {https://ijcai.org/proceedings/1977/95},
}
TY - CPAPER TI - SISP/1: An Interactive System Able to Synthesize Functions from Examples AU - Jouannaud, Jean-Pierre AU - Guiho, Gérard D. AU - Treuil, Jean-Pierre T2 - Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77 PB - International Joint Conferences on Artificial Intelligence PY - 1977 SP - 412 EP - 417 UR - https://ijcai.org/proceedings/1977/95 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
