论文信息 - A Basis For The Acquisition Of Procedures From Protocols

A Basis For The Acquisition Of Procedures From Protocols

The problem of reconstructing a procedure from traces of its behavior is considered. A representation for procedures, including backtracking procedures, is described and a definition of a trace or protocol is presented. Algorithms for the construction of a procedure from a set of traces and for its correction using additional traces are described.

M. Bauer | M. Bauer

[1] Gerald J. Sussman,et al. A Computational Model of Skill Acquisition , 1973 .

[2] J. Hartmanis,et al. Algebraic Structure Theory Of Sequential Machines , 1966 .

[3] J. Hartmanis. Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics) , 1966 .

[4] Alan W. Biermann,et al. On the Inference of Turing Machines from Sample Computations , 1972, Artif. Intell..

[5] Carl Hewitt,et al. Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot , 1972 .

[6] Patrick Henry Winston,et al. Learning structural descriptions from examples , 1970 .