Article contents
Modelling spatial reasoning systems with shape algebras and formal logic
Published online by Cambridge University Press: 27 February 2009
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 logic provides a natural, intuitive way of representing shapes and spatial relations in the development of complete computer systems for reasoning about designs. Shape algebraic formalisms have advantages over more traditional representations of geometric objects. Here we illustrate the definition of a large set of high-level design relations from a small set of simple structures and spatial relations, with examples from the domains of geographic information systems and architecture.
- Type
- Articles
- Information
- Copyright
- Copyright © Cambridge University Press 1997
References
REFERENCES
- 2
- Cited by