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

PDF papers
References
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 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 Model of a natural building , Publications of the Institute of Building Planning A 43, Otaniemi

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. (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
pick and add to favorite papersHOMELOGIN (you are user _anon_207066 from group guest) CUMINCAD Papers Powered by SciX Open Publishing Services 1.002