PLEASE NOTE: The Publications System provided by the Manufacturing Systems Integration Division (MSID) has moved to: http://www.mel.nist.gov/msidlibrary/publications.html. The pages below are maintained for archival purposes only.

Publication summary

Author(s): Scott Chase

Publication date: June 1996

Citation: Scott Chase: "Representing Designs With Logic Formulations of Spatial Relations," Artificial Intelligence in Design 96 Workshop: Visual Representation, Reasoning and Interaction in Design, Stanford University, June, 1996.

Key words: Computer aided design, feature modeling, feature recognition, formal logic, shape grammars

Availability:

• Postscript
• Portable Document Format
• A paper copy of this document is available by contacting Kristy Thompson [web,email]

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.

Send questions or comments to Webmaster.