Formal Representations: A Foundation for Computer-Aided Architectural Design
Formal Representations: A Foundation for Computer-Aided Architectural Design
复制标题
形式表示：计算机辅助建筑设计的基础
DOI：
10.1068/b130133
复制
发表时间：
1986
期刊：
影响因子：
--
通讯作者：
William J. Mitchell
中科院分区：
文献类型：
--
作者：
William J. Mitchell
有人认为，在这里，我们必须建立一个明显的声音，全面的，严格的形式化的理论基础上，实际的计算机辅助建筑设计软件开发工作的基础，并建议这项任务的一般方法。首先，考虑我们可能使用的原语、结构和操作的基本类型。其次，一个正式的架构语言的概念。最后，设计合成被视为一个过程中搜索这样的语言，找到一个特定的设计，在指定的算法，建立语言的语义，具有可接受的解释。沿着沿着这些路线的研究，开发，教学和设计实践的建筑知识的形式化程序的影响进行了讨论。
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.