Highly Influenced

# Modelling spatial reasoning systems with shape algebras and formal logic

@article{Chase1997ModellingSR, title={Modelling spatial reasoning systems with shape algebras and formal logic}, author={Scott C. Chase}, journal={AI EDAM}, year={1997}, volume={11}, pages={273-285} }

- Published 1997 in AI EDAM
DOI:10.1017/S089006040000322X

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

#### From This Paper

##### Figures, tables, results, connections, and topics extracted from this paper.

1 Extracted Citations

33 Extracted References

Similar Papers