CumInCAD is a Cumulative Index about publications in Computer Aided Architectural Design
supported by the sibling associations ACADIA, CAADRIA, eCAADe, SIGraDi, ASCAAD and CAAD futures

authors Oksala , T.
year 1988
title Logical Models for Rule-based CAAD
source CAAD futures 87 [Conference Proceedings / ISBN 0-444-42916-6] Eindhoven (The Netherlands), 20-22 May 1987, pp. 107-116
summary The aim of this paper is to present the basic results of a theoretic approach to represent architectural individual forms in CAD systems. From the point of view of design methodology and problem solving these descriptions might be conceived' as parts of possible environments satisfying the laws of some design theory in logical sense. This paper describes results in a series of logical studies towards rule and knowledge based systems for design automation. The effective use of programming languages and computers as design aids in architecture presupposes certain capabilities to articulate built environment logically. The use of graphic languages in the description of environmental items e.g. buildings might be theoretically mastered by formal production systems including linguistic, geometric, and spatio-material generation. The combination of the power of formal mechanisms and logical individual calculus offers suitable framework to generate arbitrary e.g. free spatial compositions as types or unique solutions. In this frame it is natural to represent in a coherent way very complex hierarchical parsing of buildings in explicit form as needed in computer implementations. In order to simulate real design work the individual configurations of possible built forms should be designed to satisfy known rules. In the preliminary stage partial solutions to design problems may be discussed in mathematical terms using frameworks like lattices, graphs, or group theoretical considerations of structural, functional, and visual organization of buildings. The capability to produce mathematically sophisticated geometric structures allows us to generalize the approach further. The theoretical design knowhow in architecture can be partly translated in to some logic and represented in a knowledge base. These rules are used as selection criteria for geometric design candidates in the sense of logical model theory and mathematical optimization. The economy of the system can be developed by using suitable conduct mechanisms familiar e.g. from logic programming. The semantics of logic offers a frame to consider computer assisted and formal generation in design. A number of semantic and pragmatic problems, however, remain to be solved. In any case conceptual analyses based on logic are applicable in order to rationally reconstruct architectural goals contributing to the quality of environmental design, which should be the main goal in the development of design systems in near future.
series CAAD Futures
full text file.pdf (253,648 bytes)
references Content-type: text/plain
details citation check to select
100%; open Clocksin, W.F. and Mellish, C.S. (1981) Find in CUMINCAD Programming in Prolog , Springer-Verlag, Berlin
100%; open Coyne, R.D., Rosenman, M.A., Radford, A.D. and Gero J.S. (1987) Find in CUMINCAD Innovation and creativity in knowledge-based CAD , Expert Systems in Computer-aided Design, Preprints of IFIP Working conference, Australia 16-20 February 1987, Amsterdam
100%; open Earl, C.F. and March L.J. (1979) Find in CUMINCAD Architectural applications of graph theory , Applications of Graph Theory, Eds. Wilson R.J. and Beineke, L.W. pp. 327-355, New York
100%; open Karlsson, T.A. (1986) Find in CUMINCAD Theory of time and action , STeP-86 Symposium Papers, Vol 2, Eds. Karjalainen, M., Seppaenen, J. and Tamminen, M., Otaniemi
100%; open March, L. (1976) Find in CUMINCAD The logic of design and the question of value , The Architecture of Form, Ed March, L., Cambridge
100%; open Navinchanda, D., Marks, D.H. (1987) Find in CUMINCAD Design exploration through constraints relaxation , Expert Systems in Computer-aided Design, Preprints of IFIP Working conference, Australia 16-20 February 1987, Amsterdam
100%; open Oksala, T. (1978) Find in CUMINCAD Formal language of architectural form , Publications of the Institute of Building Planning A 37, Otaniemi
100%; open Oksala, T. (1978) Find in CUMINCAD Model of a natural building , Publications of the Institute of Building Planning A 43, Otaniemi
100%; open Oksala, T. (1986) Find in CUMINCAD About the mathematics of knowledge-based design , Teaching and Research Experience with C.A.A.D (eCAADe) Rome 11-13 September 1986, Roma
100%; open Porto, A. (1982) Find in CUMINCAD Epilog: a language for extended programming in logic , Proceeding of the first international Logic programming conference September, 14-17th, 1982 Marseille
100%; open Stiny, G. and Mitchell, W.J. (1978) Find in CUMINCAD The Palladian grammar , Environment and Planning B, vol 5., pp. 5-18
100%; open Stiny, G. (1982) Find in CUMINCAD Shapes are individuals , Environment and Planning B, vol 9., pp. 359-367
100%; open Weyl, H. (1952) Find in CUMINCAD Symmetry , Princeton

last changed 1999/04/03 15:58
HOMELOGIN (you are user _anon_601920 from group guest) Works Powered by SciX Open Publishing Services 1.002