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.

Representing Designs With Logic Formulations of Spatial Relations

Published

Author(s)

Scott Chase

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

Keywords

Computer aided design, feature modeling, feature recognition, formal logic, shape grammars

Citation

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 November 28, 2021)
Created July 1, 1996, Updated February 17, 2017