Program Augmentation For Error Recovery In Automated Manufacturing: A Formulation

Publisher Website
Google Scholar
Abstract
In previous works the problem of a priori generation of a com- plete set of automatic error recovery routines, has been in- formally argued. This paper observes that an analogy exists between ideal versus actual manufacturing programmed pro- cesses, and the undecidable nature of the program equivalence problem which is implied by Church's thesis. The consequence of this is that the problem of generating a complete set of automatic error recovery routines is an undecidable problem. Thus, the paper presents a development of a restricted equivalence relationship which leads to a solvable problem. As perturbations about the restricted equivalence are examined, a knowledge structure evolves that is intended for use in capturing manufacturing programmed processes in a manner that will facilitate their augmentation. This paper presents the theoretical evolution of that knowledge structure.

This publication has 1 reference indexed in Scilit: