A basis for the acquisition of procedures from protocols

Authors:
Michael A. Bauer
Affiliations:
Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland
Venue:
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Year:
1975

Citing 2
Cited 0

A basis for the acquisition of procedures.

A basis for the acquisition of procedures.
Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)

Algebraic structure theory of sequential machines (Prentice-Hall international series in applied mathematics)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.