A Computer Model of Skill Acquisition
A Computer Model of Skill Acquisition
English as a very high level language for simulation programming
Proceedings of the ACM SIGPLAN symposium on Very high level languages
A basis for the acquisition of procedures.
A basis for the acquisition of procedures.
Breaking the complexity barrier again
SIGPLAN '73 Proceedings of the 1973 meeting on Programming languages and information retrieval
Hi-index | 0.00 |
The problem of synthesizing a procedure from example computations is examined. An algorithm for this task is presented, and its success is considered. To do this, a model of procedures and example computations is introduced, and the class of acceptable examples is defined. The synthesis algorithm is shown to be successful, with respect to the model of procedures and examples, from two perspectives. First, it is shown to be sound, that is, that the procedure synthesized from a set of examples produces the same result as the intended one on the inputs used to generate that set of examples. Second, it is shown to be complete, that is, that for any procedure in the class of procedures, there exists a finite set of examples such that the procedure synthesized behaves as the intended one on all inputs for which the intended one halts.