Chase, S.
(1996),
Design Modeling With Shape Algebras and Formal Logic, Proceedings of ACADIA (Association for Computer-Aided Design in Architecture) '96 Conference, Tucson, AZ, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=821068
(Accessed October 14, 2025)
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.
Design Modeling With Shape Algebras and Formal Logic
Published
Author(s)
Abstract
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.Proceedings Title
Proceedings of ACADIA (Association for Computer-Aided Design in Architecture) '96 Conference
Conference Location
Tucson, AZ
Pub Type
Conferences
Download Paper
Keywords
architecture, computer aided design, feature emergence, feature modeling, feature recognition, formal logic, geographic information systems (GIS), shape grammars
Citation
Issues
If you have any questions about this publication or are having problems accessing it, please contact [email protected].
Created September 1, 1996, Updated February 17, 2017