authors 
Oksala , T. 
year 
1988 
title 
Logical Models for Rulebased CAAD 
source 
CAAD futures ‘87 [Conference Proceedings / ISBN 0444429166] Eindhoven (The Netherlands), 2022 May 1987, pp. 107116 
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 spatiomaterial 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 
Contenttype: text/plain

Clocksin, W.F. and Mellish, C.S. (1981)
Programming in Prolog
, SpringerVerlag, Berlin




Coyne, R.D., Rosenman, M.A., Radford, A.D. and Gero J.S. (1987)
Innovation and creativity in knowledgebased CAD
, Expert Systems in Computeraided Design, Preprints of IFIP Working conference, Australia 1620 February 1987, Amsterdam




Earl, C.F. and March L.J. (1979)
Architectural applications of graph theory
, Applications of Graph Theory, Eds. Wilson R.J. and Beineke, L.W. pp. 327355, New York




Karlsson, T.A. (1986)
Theory of time and action
, STeP86 Symposium Papers, Vol 2, Eds. Karjalainen, M., Seppaenen, J. and Tamminen, M., Otaniemi




March, L. (1976)
The logic of design and the question of value
, The Architecture of Form, Ed March, L., Cambridge




Navinchanda, D., Marks, D.H. (1987)
Design exploration through constraints relaxation
, Expert Systems in Computeraided Design, Preprints of IFIP Working conference, Australia 1620 February 1987, Amsterdam




Oksala, T. (1978)
Formal language of architectural form
, Publications of the Institute of Building Planning A 37, Otaniemi




Oksala, T. (1978)
Model of a natural building
, Publications of the Institute of Building Planning A 43, Otaniemi




Oksala, T. (1986)
About the mathematics of knowledgebased design
, Teaching and Research Experience with C.A.A.D (eCAADe) Rome 1113 September 1986, Roma




Porto, A. (1982)
Epilog: a language for extended programming in logic
, Proceeding of the first international Logic programming conference September, 1417th, 1982 Marseille




Stiny, G. and Mitchell, W.J. (1978)
The Palladian grammar
, Environment and Planning B, vol 5., pp. 518




Stiny, G. (1982)
Shapes are individuals
, Environment and Planning B, vol 9., pp. 359367




Weyl, H. (1952)
Symmetry
, Princeton




last changed 
1999/04/03 15:58 
