Design knowledge and sequential plans

The application of sequential planning to the design process is discussed, considering design as a search through a space of states which are acted upon by transformation rules. Various approaches to goal satisfaction are considered, including forward inference, regression, the satisfaction of implicit goals, and metaplanning. These issues are illustrated with an example from a simple design domain. The example has been implemented in PROLOG.