chapter  1
30 Pages


This book describes a system developed to dem onstrate some gains achieved in a problem solver via the addition of an efficient, nondeductive, marker-passing component. It will be shown tha t in many cases this new component enables the problem solver to avoid making certain errors to which it is prone. Further, it will be shown th a t through concurrency this can be done in a manner th a t does not impinge upon the efficiency of the planning process.