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
authors Carrara, Gianfranco and Novembri, Gabriele
year 1986
title Constraint-bounded design search
source Computer-Aided Architectural Design Futures [CAAD Futures Conference Proceedings / ISBN 0-408-05300-3] Delft (The Netherlands), 18-19 September 1985, pp. 146-157
summary The design process requires continual checking of the consistency of design choices against given sets of goals that have been fulfilled. Such a check is generally performed by comparing abstract representations of design goals with these of the sought real building objects (RBO) resulting from complex intellectual activities closely related to the designer's culture and to the environment in which he operates. In this chapter we define a possible formalization of such representations concerning the goals and the RBO that are usually considered in the architectural design process by our culture in our environment. The representation of design goals is performed by expressing their objective aspects (requirements) and by defining their allowable values (performance specifications). The resulting system of requirements defines the set of allowable solutions and infers an abstract representation of the sought building objects (BO) that consists of the set of characteristics (attributes and relations) which are considered relevant to represent the particular kind of RBO with respect to the consistency check with design goals. The values related to such characteristics define the performances of the RBO while their set establishes its behaviour. Generally speaking, there is no single real object corresponding to an abstract representation but the whole class of the RBO that are equivalent with respect to the values assumed by the considered characteristics. The more we increase the number of these, as well as their specifications, the smaller the class becomes until it coincides with a single real object - given that the assessed specifications be fully consistent. On the other hand, the corresponding representation evolves to the total prefiguration of the RBO. It is not therefore possible to completely define a BO representation in advance since this is inferred by the considered goals and is itself a result of the design process. What can only be established in advance is that any set of characteristics assumed to represent any RBO consists of hierarchic, topological, geometrical and functional relations among the parts of the object at any level of aggregation (from components to space units, to building units, to the whole building) that we define representation structure (RS). Consequently the RS may be thought as the elementary structures that, by superposition and interaction, set up the abstract representation that best fit with design goals.
series CAAD Futures
full text file.pdf (2,700,607 bytes)
references Content-type: text/plain
Details Citation Select
100%; open Baer, A., Eastman, C. and Henrion, M. (1979) Find in CUMINCAD Geometric Modelling: a Survey , ComputerAided Design 11, No. 5, September

100%; open Bobrow, D.G. and Collins, A. (1975) Find in CUMINCAD Representation and Understanding , New York: Academic Press

100%; open Bobrow, D.G., Et Al. (1977) Find in CUMINCAD G.U.S. A Frame Driven Dialog System , Artificial Intelligence B(2), 155-173

100%; open Carrara, G. and Paoluzzi, A. (1980) Find in CUMINCAD Systems Approach to Building Program Planning , Istituto di Architettura, edilizia e tecnia urbanistica, Facolti di Ingegneria, Rome

100%; open Carrara, G., Cocomello, P., Gori Giorgi, C. and Paoluzzi, A. (1978) Find in CUMINCAD A Systems Approach in Building Component Design , Proc. of IFAC Conference, New York

100%; open Girard, C. (1984) Find in CUMINCAD Presque half-planes: Toward a general representation scheme , ComputerAided Design 16, No. 1, January

100%; open Hofstadter, D.R. (1979) Find in CUMINCAD Gödel, Escher, Bach: An Etemal Golden Braid ,

100%; open Latcombe, J.C. (1977) Find in CUMINCAD Artificial Intelligence in Computer Aided Design , J.J. Allen (ed.) CAD System, Amsterdam: North Holland

100%; open Levesque, H.J. (1984) Find in CUMINCAD Foundation of a Functional Approach to Knowledge Representation , Artificial Intelligence 23, 155-212

100%; open Mantyla, M. and Sulonen, R. (1982) Find in CUMINCAD GWB - A Solid Modeler with Euler Operators , IEEE Comp. Graphics Appl. 2(7), 17-31

100%; open Mantyla, M. (19??) Find in CUMINCAD A Note on the Modeling Space of Euler Operators , Computer Graphics and Image Processing

100%; open McDermott, D. and Davis, E.E. (1984) Find in CUMINCAD Planning Routes through Uncertain Territory , Artificial Intelligence 22 107-156

100%; open Monk, J.D. (1969) Find in CUMINCAD Introduction to Set Theory , New York: McGraw-Hill

100%; open Nilsson, N.J. (1971) Find in CUMINCAD Problem-solving Methods in Artificial Intelligence , New York: McGraw-Hill

100%; open Nilsson, N.J. (1982) Find in CUMINCAD Principles of Artificial Intelligence , Berlin: Springer-Verlag

100%; open Preparata, F. and Yeh, T. (1963) Find in CUMINCAD Introduction to Discrete Structures for Computer Science and Engineering , Reading, Mass.: Addison Wesley

100%; open Requicha, A.A.G. and Voelcker, H.B. (1982) Find in CUMINCAD Solid Modeling: a Historical Summary and Contemporary Assessment , IEEE, Comp. Graph. AppL 2, No. 2, March

100%; open Requicha, A.A.G. and Voelcker, H.B. (1985) Find in CUMINCAD Boolean Operations in Solid Modeling Boundary Evaluation and Merging , Algorithms, Proceedings of the IEEE 75, No. 1, January 1985

100%; open Requicha, A.A.G. (1980) Find in CUMINCAD Representation for Rigid Solid: Theory Methods and System , Computing Surveys 12, 4, December

100%; open Stefik, M. (1980) Find in CUMINCAD Planning with Constraint , Stanford University Press

last changed 1999/04/03 15:58
pick and add to favorite papersHOMELOGIN (you are user _anon_837744 from group guest) CUMINCAD Papers Powered by SciX Open Publishing Services 1.002