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 1880250055] Tucson (Arizona / USA) October 31  November 2, 1996, pp. 99113 
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 
Contenttype: text/plain

Benhamou, F. and Colmerauer, J.P. (1993)
Constraint Logic Programming: Selected Research
, MIT Press, Cambridge, Mass.




Chase, S.C. (1989)
Shapes and shape grammars: from mathematical model to computer implementation
, Environment and Planning B: Planning and Design 16:2 215242




Chase, S.C. (1993)
The use of multiple representations to facilitate design interpretation
, ARECDAO '93, Barcelona, Spain, March 30April 1




Chase, S.C. (1996)
Modeling Designs With Shape Algebras and Formal Logic
, Ph.D dissertation, University of Califomia, Los Angeles




Cherneff, J. (1990)
Knowledge Based Interpretation of Architectural Drawings
, Report, R9013 (IESL 9005), intelligent Engineering Systems Laboratory, Dept. of Civil Engineering, Massachusetts Institute of Technology




Coyne, R.D., Rosenman, M.A., Radford, A.D., Balachandran, V., and Gero, J.S. (1990)
KnowledgeBased Design Systems
, AddisonWesley, Reading, Mass.




Damski, J.C. and Gero, J.S. (1996)
A logicbased framework for shape representation
, ComputerAided Design 28:3 169181




Eastman, C.M., Bond, J.S. and Chase, S.C. (1991)
A formal approach for product model information
, Research in Engineering Design 2 6580




Eastman, C.M. (1978)
The representation of design problems and maintenance of their structure
, Artificial Intelligence and Pattern Recognition in Computer Aided Design Ed J C Latombe (NorthHolland, New York) 335357




Flemming, U. (1987)
More than the sum of parts: the grammar of Queen Anne houses
, Environment and Planning B: Planning and Design 14 323350




Gallaire, H. and Minker, J. (1978)
Logic and Databases
, Plenum Press, New York




Heisserman, J. and Woodbury, R. (1994)
Geometric design with boundary solid grammars
, Formal Design Methodsfor CAD Ed J. S. Gero, E. Tyugu (NorthHolland, Amsterdam) 85105




Hofstadter, D.R. (1979)
Goedel, Escher, Bach: an Eternal Golden Braid
, Basic Books, New York




Hoskins, E.M. (1973)
Computer aids in system building
, Computeraided Design Ed J Vlietstra, R F Wielinga (NorthHolland, Amsterdam) 127140




Kirsch, J.L. and Kirsch, R.A. (1986)
The structure of paintings: formal grammar and design
, Environment and Planning B: Planning and Design 13 163 176




Knight, T.W. (1992)
Designing with grammars
, CAADfutures '91 Ed G N Schmitt (Vieweg, Wiesbaden) 3348




Knight, T.W. (1995)
Constructive symmetry
, Environment and Planning B. Planning and Design 22 419450




Koutamanis, A. (1990)
Development of a Computerized Handbook ofArchitectural Plans
, Ph.D dissertation, Delft University of Technology




Kowalski, R.A. (1979)
Logic for Problem Solving
, NorthHolland, New York




Krishnamurti, R. and Giraud, C. (1986)
Towards a shape editor: the implementation of a shape generation system
, Environment and Planning B. Planning and Design 13 391404




last changed 
2003/05/15 19:17 
