Formal representations: a foundation for computer-aided architectural design

It is argued here that we must establish a demonstrably sound, comprehensive, rigorously formalized theoretical foundation upon which to base practical computer-aided architectural design software-development efforts, and a general approach to this task is suggested.First, the basic types of primitives, structures, and operations that we might employ are considered. Next, the concept of a formal architectural language is developed. Finally, design synthesis is viewed as a process of searching within such a language to find a particular design which, under specified algorithms that establish the semantics of the language, has acceptable interpretations.The implications of a program of formalization of architectural knowledge along these lines for research, development, teaching, and design practice are discussed.