Cumincad : CUMINCAD Papers : Search Results

CumInCAD is a Cumulative Index about publications in Computer Aided Architectural Design
supported by the sibling associations ACADIA, CAADRIA, eCAADe, SIGraDi, ASCAAD and CAAD futures

PDF papers
References

Hits 1 to 2 of 2

Reformat results as: short short into frame detailed detailed into frame

_id	275b
authors	Chase, Scott C.
year	1996
title	Design Modeling With Shape Algebras and Formal Logic
doi	https://doi.org/10.52842/conf.acadia.1996.099
source	Design Computation: Collaboration, Reasoning, Pedagogy [ACADIA Conference Proceedings / ISBN 1-880250-05-5] Tucson (Arizona / USA) October 31 - November 2, 1996, pp. 99-113
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	ACADIA
email
last changed	2022/06/07 07:55

_id	7b57
authors	Chase, Scott Curland
year	1996
title	Modeling Designs with Shape Algebras and Formal Logic
source	University of California
summary	A formal, hierarchical model of shape, spatial relations and non-spatial properties is presented, constructed from first principles of geometry, topology and logic. The combination of the two major paradigms used here, shape algebras and logic, is one which has been largely unexplored. The underlying interest is the development of generalized design modeling systems in which the components may be used for a variety of synthesis and recognition problems. The algebras of shape described by Stiny have been shown to be useful in the generation and analysis of designs. The generality of their representations, their non-reliance upon predetermined structure, and their use in combination provide a richness of expression lacking in more traditional representations. The use of formal logic as a specification tool for modeling spatial relations is investigated here. Logic has proven itself useful as a programming and specification tool, providing advantages over traditional procedural programming methods. Among those is the ability to specify the knowledge to be encapsulated in a model without the need to specify data manipulation procedures. It is argued that specification in logic provides a natural method of development. The model is developed by extending the formalisms of shape algebras with the use of logic to make more precise, generalized, parametric definitions of shape and spatial relations than has been previously possible. The value of such a model is demonstrated by the use of these generalized spatial relations for solving typical problems in the fields of geographic information systems and architecture. The advantages of the representations used over more traditional 'kit-of-parts' models is also illustrated.
series	thesis:PhD
email
last changed	2003/02/12 22:37

No more hits.