Advertisement

Supporting emergence in spatial reasoning with shape algebras and formal logic

  • Scott C. Chase
Representations of Spatial Concepts
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1329)

Abstract

The combination of the paradigms of shape algebras and predicate logic representations can be used for developing spatial models capable of identifying emergent (unanticipated and not explicit) features. First order predicate logic provides a natural, intuitive way of representing spatial relations in the development of computer systems for reasoning about geometric models. Shape algebraic formalisms have advantages over more traditional representations of geometric objects. In this paper we illustrate the definition of a large set of high level spatial relations from a small set of simple structures using shape algebras and predicate logic, with examples drawn from the domain of geographic information systems.

Keywords

shape algebras emergence feature recognition formal logic geographic information systems 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    M. Agarwal and J. Cagan. A blend of different tastes: The language of coffee makers. Environment and Planning B: Planning and Design, forthcoming.Google Scholar
  2. 2.
    F. Arbab and J. M. Wing. Geometric reasoning: A new paradigm for processing geometric information. In H. Yoshikawa and E. A. Warman, editors, Design Theory for CAD, pages 145–159. North-Holland, Amsterdam, 1987.Google Scholar
  3. 3.
    S. C. Chase. Shapes and shape grammars: From mathematical model to computer implementation. Environment and Planning B: Planning and Design, 16(2):215–242, 1989.Google Scholar
  4. 4.
    S. C. Chase. Modeling Designs With Shape Algebras and Formal Logic. Ph.D dissertation, University of California, Los Angeles, 1996.Google Scholar
  5. 5.
    A. G. Cohn. A hierarchical representation of qualitative shape based on connection and convexity. In A. U. Frank and W. Kuhn, editors Spatial Information Theory: A Theoretical Basis for GIS, pages 311–326. Springer-Verlag, Berlin, 1995.Google Scholar
  6. 6.
    M. J. Egenhofer.A formal definition of binary topological relationships. In W. Litwin and H.-J. Schek, editors, Foundations of Data Organization and Algorithms, pages 457–472. Springer-Verlag, Berlin, 1989.Google Scholar
  7. 7.
    B. Faltings. Qualitative spatial reasoning using algebraic topology. In A. U. Frank and W. Kuhn, editors, Spatial Information Theory: A Theoretical Basis for GIS, pages 17–30. Springer-Verlag, Berlin, 1995.Google Scholar
  8. 8.
    R. H. Gifting. Geo-relational algebra: A model and query language for geometric database systems. In J. W. Schmidt, S. Ceri, and M. Missikoff, editors, Advances in Database Technology-EDBT '88, pages 506–527. Springer-Verlag, Berlin, 1988.Google Scholar
  9. 9.
    R. H. Güting and M. Schneider. Realm-based spatial data types: The ROSE algebra. VLDB Journal, 4:100–143, 1995.Google Scholar
  10. 10.
    J. Heisserman. Generative geometric design. IEEE Computer Graphics and Applications, 14(2):37–45, 1994.Google Scholar
  11. 11.
    M. R. Henderson. Extraction of Feature Information From Three Dimensional CAD Data. Ph.D dissertation, Purdue University, 1984.Google Scholar
  12. 12.
    W. E. Huxhold. An Introduction to Urban Geographic Information Systems. Spatial Information Systems. Oxford University Press, New York, 1991.Google Scholar
  13. 13.
    J. Jaffar, S. Michaylov, P. J. Stuckey, and R. H. C. Yap. The CLP(R) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339–395, 1992.Google Scholar
  14. 14.
    T. W. Knight. The generation of Hepplewhite-style chair-back designs. Environment and Planning B, 7:227–238, 1980.Google Scholar
  15. 15.
    H. Koning and J. Eizenberg. The language of the prairie: Frank Lloyd Wright's prairie houses. Environment and Planning B, 8:295–323, 1981.Google Scholar
  16. 16.
    R. A. Kowalski. Logic for Problem Solving. North-Holland, New York, 1979.Google Scholar
  17. 17.
    F. P. Preparata and M. I. Shamos. Computational Geometry: An Introduction. Springer-Verlag, New York, 1985.Google Scholar
  18. 18.
    C. J. Robinove. Principles of logic and the use of digital geographic information systems. Circular 977, Dept. of the Interior, U.S. Geological Survey, 1986.Google Scholar
  19. 19.
    G. Stiny. Introduction to shape and shape grammars. Environment and Planning B, 7:343–351, 1980.Google Scholar
  20. 20.
    G. Stiny. The algebras of design. Research in Engineering Design, 2:171–181, 1991.Google Scholar
  21. 21.
    G. Stiny. Weights. Environment and Planning B: Planning and Design, 19:413–430, 1992.Google Scholar
  22. 22.
    R. Stouffs and R. Krishnamurti. The complexity of the maximal representation of shapes. In J. S. Gero and E. Tyugu, editors, Formal Design Methods for CAD, pages 53–66. Elsevier, Amsterdam, 1994.Google Scholar
  23. 23.
    M. A. Tapia. From Shape to Style, Shape Grammars: Issues in Representation and Computation, Presentation and Selection. Ph.D dissertation, University of Toronto, 1996.Google Scholar
  24. 24.
    J. D. Ullman. Principles of Database and Knowledge Base Systems, Volume I. Computer Science Press, Rockville, MD, 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Scott C. Chase
    • 1
  1. 1.Manufacturing Systems Integration Division National Institute of Standards and TechnologyGaithersburgUSA

Personalised recommendations