Chase, S.
(1996),
Representing Designs With Logic Formulations of Spatial Relations, Artificial Intelligence in Design 96 Workshop: Visual Representation Reasoning and Interaction in Design (Stanford University), Stanford, CT, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=821069
(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.
Representing Designs With Logic Formulations of Spatial Relations
Published
Author(s)
Abstract
A new method of describing designs by combining the paradigms of shape algebras and predicate logic representations is proposed. Representing shapes and spatial relations in first order predicated logic provides a natural, intuitive method of developing complete computer systems for reasoning about designs. Shape algebraic representations provide several advantages over more traditional geometric representations. The method described involves the definition of a large set of high level design relations from a small set of simple structures and spatial relations.Proceedings Title
Artificial Intelligence in Design 96 Workshop: Visual Representation Reasoning and Interaction in Design (Stanford University)
Conference Location
Stanford, CT
Pub Type
Conferences
Download Paper
Keywords
Computer aided design, feature modeling, feature recognition, formal logic, shape grammars
Citation
Issues
If you have any questions about this publication or are having problems accessing it, please contact [email protected].
Created July 1, 1996, Updated February 17, 2017