| 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
|
Clocksin, W.F. and Mellish, C.S. (1981)
 Programming in Prolog
, Springer-Verlag, Berlin
|
|
|
|
|
Coyne, R.D., Rosenman, M.A., Radford, A.D. and Gero J.S. (1987)
Innovation and creativity in knowledge-based CAD
, Expert Systems in Computer-aided Design, Preprints of IFIP Working conference, Australia 16-20 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. 327-355, New York
|
|
|
|
|
Karlsson, T.A. (1986)
Theory of time and action
, STeP-86 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 Computer-aided Design, Preprints of IFIP Working conference, Australia 16-20 February 1987, Amsterdam
|
|
|
|
|
Oksala, T. (1978)
Model of a natural building
, Publications of the Institute of Building Planning A 43, Otaniemi
|
|
|
|
|
Oksala, T. (1978)
Formal language of architectural form
, Publications of the Institute of Building Planning A 37, Otaniemi
|
|
|
|
|
Oksala, T. (1986)
About the mathematics of knowledge-based design
, Teaching and Research Experience with C.A.A.D (eCAADe) Rome 11-13 September 1986, Roma
|
|
|
|
|
Porto, A. (1982)
Epilog: a language for extended programming in logic
, Proceeding of the first international Logic programming conference September, 14-17th, 1982 Marseille
|
|
|
|
|
Stiny, G. and Mitchell, W.J. (1978)
The Palladian grammar
, Environment and Planning B, vol 5., pp. 5-18
|
|
|
|
|
Stiny, G. (1982)
Shapes are individuals
, Environment and Planning B, vol 9., pp. 359-367
|
|
|
|
|
Weyl, H. (1952)
Symmetry
, Princeton
|
|
|
|
| last changed |
1999/04/03 17:58 |
|
