---
title: "A Basis For The Acquisition Of Procedures From Protocols"
authors:
  - "M. Bauer"
doi: ""
url: "https://ijcai.org/proceedings/1975/35"
pdf: "https://ijcai.org/proceedings/1975/0035.pdf"
venue: "Proceedings of the Fourth International Joint Conference on Artificial Intelligence"
year: 1975
pages: "226-230"
track: "Learning Debugging And Automatic Programming"
keywords:
---

# A Basis For The Acquisition Of Procedures From Protocols

M. Bauer

*Proceedings of the Fourth International Joint Conference on Artificial Intelligence*, pages 226-230.

## 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.