Cumincad : CUMINCAD Papers : Paper b656:Logic based design modeling with shape algebras

authors	Chase, S.C.
year	1997
title	Logic based design modeling with shape algebras
source	Automation in Construction 6 (4) (1997) pp. 311-322
summary	A new method of describing designs by combining the paradigms of shape algebras and predicate logic representations is presented. Representing shapes and spatial relations in logic provides a natural, intuitive method of developing complete computer systems for reasoning about designs. The advantages of shape algebra formalisms over more traditional representations of geometric objects are discussed. The method employed involves the definition of a large set of high level design relations from a small set of simple structures and spatial relations. Examples in architecture and geographic information systems are illustrated.
series	journal paper
more	http://www.elsevier.com/locate/autcon
references	Content-type: text/plain
last changed	2003/05/15 21:22