Abstract
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.
Get full access to this article
View all access options for this article.
