Take a sneak peek at the new NIST.gov and let us know what you think!
(Please note: some content may not be complete on the beta site.).
NIST Authors in Bold
|Title:||Modeling Spatial Reasoning Systems With Shape Algebras and Formal Logic|
|Published:||June 01, 1996|
|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|
|Research Areas:||Systems Integration, Manufacturing|