PAPE: An On-Line System for Inferring Procedures from Sets of Their Traces
Proceedings of the Seventh International Joint Conference on Artificial Intelligence. Automatic Programming. Pages 1004-1005.
Abstract
Many learning-by-example problems can be viewed as infering structured non recursive procedures from sets of their traces knowing the basic functions and predicates, used to write them. The on-line system PAPE does this as follows, an example (data + trace) is given. PAPE first checks whether the already learned procedure gives the same trace with the given input data. If not, the trace is transformed into a procedure body (in O(tp) time, where t it is the length of the trace, and, p an integer depending upon the procedure and the basic functions and predicates), and then merges this body with the actual one to get the new procedure body.
@inproceedings{ijcai1981p191,
title = {PAPE: An On-Line System for Inferring Procedures from Sets of Their Traces},
author = {Villemin, F.-Y.},
booktitle = {Proceedings of the Seventh International Joint Conference on
Artificial Intelligence, {IJCAI-81}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Roger C. Schank},
pages = {1004--1005},
year = {1981},
month = {8},
note = {Automatic Programming},
url = {https://ijcai.org/proceedings/1981/191},
}
TY - CPAPER TI - PAPE: An On-Line System for Inferring Procedures from Sets of Their Traces AU - Villemin, F.-Y. T2 - Proceedings of the Seventh International Joint Conference on Artificial Intelligence, IJCAI-81 PB - International Joint Conferences on Artificial Intelligence PY - 1981 SP - 1004 EP - 1005 UR - https://ijcai.org/proceedings/1981/191 ER -Copied
Machine-readable versions of this paper, for tools and AI agents: