| 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 |
| doi |
https://doi.org/10.52842/conf.acadia.1996.099
|
| 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 |
|
| full text |
 file.pdf (1,683,989 bytes) |
| references |
Content-type: 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 215-242
|
|
|
|
|
Chase, S.C. (1993)
The use of multiple representations to facilitate design interpretation
, ARECDAO '93, Barcelona, Spain, March 30-April 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, R90-13 (IESL 90-05), 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)
Knowledge-Based Design Systems
, Addison-Wesley, Reading, Mass.
|
|
|
|
|
Damski, J.C. and Gero, J.S. (1996)
A logic-based framework for shape representation
, Computer-Aided Design 28:3 169-181
|
|
|
|
|
Eastman, C.M., Bond, J.S. and Chase, S.C. (1991)
A formal approach for product model information
, Research in Engineering Design 2 65-80
|
|
|
|
|
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 (North-Holland, New York) 335-357
|
|
|
|
|
Flemming, U. (1987)
More than the sum of parts: the grammar of Queen Anne houses
, Environment and Planning B: Planning and Design 14 323-350
|
|
|
|
|
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 (North-Holland, Amsterdam) 85-105
|
|
|
|
|
Hofstadter, D.R. (1979)
Goedel, Escher, Bach: an Eternal Golden Braid
, Basic Books, New York
|
|
|
|
|
Hoskins, E.M. (1973)
Computer aids in system building
, Computer-aided Design Ed J Vlietstra, R F Wielinga (North-Holland, Amsterdam) 127-140
|
|
|
|
|
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) 33-48
|
|
|
|
|
Knight, T.W. (1995)
Constructive symmetry
, Environment and Planning B.- Planning and Design 22 419-450
|
|
|
|
|
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
, North-Holland, 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 391-404
|
|
|
|
| last changed |
2022/06/07 07:55 |
|
