Modelling spatial reasoning systems with shape algebras and formal logic

  title={Modelling spatial reasoning systems with shape algebras and formal logic},
  author={Scott C. Chase},
  journal={AI EDAM},
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… CONTINUE READING
1 Extracted Citations
33 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 33 references

Shapes and shape grammars: From mathematical model to computer implementation

  • S. C. Chase
  • Environ. Plann. B: Plann. Design
  • 1989
Highly Influential
7 Excerpts

Spatial change: Continuity, reversibility and emergent shapes

  • R. Krishnamurti, R. Stouffs
  • Environ. Plann. B: Plann. Design
  • 1997

Modeling designs with shape algebras and formal logic

  • S. C. Chase
  • PhD dissertation,
  • 1996
1 Excerpt

Conversions of featurebased design representations using graph grammar parsing

  • D. W. Rosen, J. R. Dixon, S. Finger
  • J . Mechanical Design
  • 1994

Geometric reasoning based on graph grammar parsing

  • Z. Fu, A. de Pennington
  • J. Mechanical Design
  • 1994

The use of multiple representations to facilitate design interpretation

  • S. C. Chase
  • Proc. ARECDAO
  • 1993
1 Excerpt

Similar Papers

Loading similar papers…