MSID Highlights MSID Opportunities MSID Partners MSID Products MEL MSID Programs MSID Conferences MSID Search MSID Staff MSID Services MSID Standards MSID Publications NIST MSID MSID MSID
Publications

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: 1996

Citation: Scott Chase: "Modeling Spatial Reasoning Systems With Shape Algebras and Formal Logic," AIEDAM Journal (Artificial Intelligence for Engineering Design Analysis and Manufacturing), special issue on Geometric Representation and Reasoning in Design, 1996.

Key words: architecture, computer aided design, feature emergence, feature modeling, feature recognition formal logic, geographic information systems (GIS), shape grammars

Availability:

  • A paper copy of this document is available by contacting Kristy Thompson [web,email]
Abstract:
The combination of the paradigms of shape algebras and predicate logic representations,used in a new method for describing designs, is presented. First order predicate logicprovides a natural, intuitive way of representing shapes and spatial relations indevelopment of complete computer systems for reasoning about designs. Shape algebraicformalisms have advantages over more traditional representations of geometric objects. Herewe illustrate the definition of a large set of high level design relations from: a smallset of simple structures and spatial relations, with examples from the domains ofgeographic information systems and architecture.

Attention users of these documents: The information contained in these files should not be altered in any way. Attempts to change these files will adversely impact the integrity of the information and its usefulness. It is intended for use as is and will lose its usefulness if changed.

 

Send questions or comments to Webmaster.