Skip to main content
U.S. flag

An official website of the United States government

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.

Modeling Spatial Reasoning Systems With Shape Algebras and Formal Logic

Published

Author(s)

Scott Chase

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.
Citation
Artificial Intelligence in Engineering

Keywords

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

Citation

Chase, S. (1996), Modeling Spatial Reasoning Systems With Shape Algebras and Formal Logic, Artificial Intelligence in Engineering (Accessed June 19, 2024)

Issues

If you have any questions about this publication or are having problems accessing it, please contact reflib@nist.gov.

Created June 1, 1996, Updated February 19, 2017