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 Chase, Scott C.
year 1996
title Design Modeling With Shape Algebras and Formal Logic
source Design Computation: Collaboration, Reasoning, Pedagogy [ACADIA Conference Proceedings / ISBN 1-880250-05-5] Tucson (Arizona / USA) October 31 - November 2, 1996, pp. 99-113
summary A new method of describing designs by combining the paradigms of shape algebras and predicate logic representations is presented. Representing shapes and spatial relations in logic provides a natural, intuitive method of developing complete computer systems for reasoning about designs. The advantages of shape algebra formalisms over more traditional representations of geometric objects are discussed. The method employed involves the definition of a large set of high level design relations from a small set of simple structures and spatial relations. Examples in architecture and geographic information systems are illustrated.
series ACADIA
email s.c.chase@strath.ac.uk
full text file.pdf (1,683,989 bytes)
references Content-type: text/plain
Details Citation Select
100%; open Benhamou, F. and Colmerauer, J.P. (1993) Find in CUMINCAD Constraint Logic Programming: Selected Research , MIT Press, Cambridge, Mass.

100%; open Chase, S.C. (1989) Find in CUMINCAD Shapes and shape grammars: from mathematical model to computer implementation , Environment and Planning B: Planning and Design 16:2 215-242

100%; open Chase, S.C. (1993) Find in CUMINCAD The use of multiple representations to facilitate design interpretation , ARECDAO '93, Barcelona, Spain, March 30-April 1

100%; open Chase, S.C. (1996) Find in CUMINCAD Modeling Designs With Shape Algebras and Formal Logic , Ph.D dissertation, University of Califomia, Los Angeles

100%; open Cherneff, J. (1990) Find in CUMINCAD Knowledge Based Interpretation of Architectural Drawings , Report, R90-13 (IESL 90-05), intelligent Engineering Systems Laboratory, Dept. of Civil Engineering, Massachusetts Institute of Technology

100%; open Coyne, R.D., Rosenman, M.A., Radford, A.D., Balachandran, V., and Gero, J.S. (1990) Find in CUMINCAD Knowledge-Based Design Systems , Addison-Wesley, Reading, Mass.

100%; open Damski, J.C. and Gero, J.S. (1996) Find in CUMINCAD A logic-based framework for shape representation , Computer-Aided Design 28:3 169-181

100%; open Eastman, C.M., Bond, J.S. and Chase, S.C. (1991) Find in CUMINCAD A formal approach for product model information , Research in Engineering Design 2 65-80

100%; open Eastman, C.M. (1978) Find in CUMINCAD The representation of design problems and maintenance of their structure , Artificial Intelligence and Pattern Recognition in Computer Aided Design Ed J C Latombe (North-Holland, New York) 335-357

100%; open Flemming, U. (1987) Find in CUMINCAD More than the sum of parts: the grammar of Queen Anne houses , Environment and Planning B: Planning and Design 14 323-350

100%; open Gallaire, H. and Minker, J. (1978) Find in CUMINCAD Logic and Databases , Plenum Press, New York

100%; open Heisserman, J. and Woodbury, R. (1994) Find in CUMINCAD Geometric design with boundary solid grammars , Formal Design Methodsfor CAD Ed J. S. Gero, E. Tyugu (North-Holland, Amsterdam) 85-105

100%; open Hofstadter, D.R. (1979) Find in CUMINCAD Goedel, Escher, Bach: an Eternal Golden Braid , Basic Books, New York

100%; open Hoskins, E.M. (1973) Find in CUMINCAD Computer aids in system building , Computer-aided Design Ed J Vlietstra, R F Wielinga (North-Holland, Amsterdam) 127-140

100%; open Kirsch, J.L. and Kirsch, R.A. (1986) Find in CUMINCAD The structure of paintings: formal grammar and design , Environment and Planning B: Planning and Design 13 163 -176

100%; open Knight, T.W. (1992) Find in CUMINCAD Designing with grammars , CAADfutures '91 Ed G N Schmitt (Vieweg, Wiesbaden) 33-48

100%; open Knight, T.W. (1995) Find in CUMINCAD Constructive symmetry , Environment and Planning B.- Planning and Design 22 419-450

100%; open Koutamanis, A. (1990) Find in CUMINCAD Development of a Computerized Handbook ofArchitectural Plans , Ph.D dissertation, Delft University of Technology

100%; open Kowalski, R.A. (1979) Find in CUMINCAD Logic for Problem Solving , North-Holland, New York

100%; open Krishnamurti, R. and Giraud, C. (1986) Find in CUMINCAD Towards a shape editor: the implementation of a shape generation system , Environment and Planning B.- Planning and Design 13 391-404

last changed 2003/05/15 19:17
pick and add to favorite papersHOMELOGIN (you are user _anon_127242 from group guest) CUMINCAD Papers Powered by SciX Open Publishing Services 1.002