Skip to main content

Temporal Reasoning in Urban Growth Simulation

  • Conference paper
Rough Sets and Knowledge Technology (RSKT 2009)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5589))

Included in the following conference series:

  • 2709 Accesses

Abstract

Cellular Automata (CA), although has been applied successfully in many applications, was usually only adopted as a strategy for complex system modeling instead of a uniform and concrete simulation model. Moreover, it is very weak in representing global, spatial or temporal factors, which are necessary in urban growth simulations. Motivated by these facts and based on the idea of CA, the language \(\mathcal {L}_{UG}\) is proposed to represent the urban growing process. \(\mathcal {L}_{UG}\) is a language of a fragment of FOLTL, and the following statements about it hold: firstly, any urban growing process is representable in \(\mathcal {L}_{UG}\); and secondly \(\mathcal {L}_{UG}\) is more expressive than CA.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Baral, C., Zhao, J.: Goal specification, non-deterministic, and quantifying over policies. In: Proceedings of AAAI 2006 (2006)

    Google Scholar 

  2. Baral, C., Zhao, J.: Non-monotonic temporal logic for goal specification. In: Proceedings of IJCAI 2007, Hyderabad, India, pp. 45–60 (2007)

    Google Scholar 

  3. Batty, M., Xie, Y.: From cells to cities. Environment and Planning B 21, 531–548 (1995)

    Google Scholar 

  4. Clarke, K.C., Brass, J.A., Riggan, P.J.: A cellular automata model of wildfire propagation and extinction. Photogrammetric Engineering and Remote Sensing 60, 1355–1367 (1994)

    Google Scholar 

  5. Clarke, K.C., Hoppen, S., Gaydos, L.: A self-modifying cellular automaton model of historical urbani-zation in the san francisco bay area. Environment and Planning B 24, 247–261 (1997)

    Article  Google Scholar 

  6. Couclelis, H.: Of mice and men: what rodent populations can teach us about complex spatial dynamics. Environment and Planning A 20, 99–109 (1998)

    Article  Google Scholar 

  7. Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer science, pp. 997–1072 (1990)

    Google Scholar 

  8. Kari, J.: Theory of cellular automata: A survey. Theoretical Computer Science 334(1-3), 3–33 (2005)

    Article  MATH  Google Scholar 

  9. Long, H., Tang, G., Li, X., Heilig, G.K.: Socio-economic driving forces of land-use change in kunshan, the yangtze river delta economic area of china. Journal of Environmental Management 83, 351–364 (2007)

    Article  Google Scholar 

  10. Moran, C.J., Bui, E.N.: Spatial data mining for enhanced soil map modeling. International Journal of Geographical Information Science 16(6), 533–549 (2002)

    Article  Google Scholar 

  11. Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th annual IEEE-CS Symposium on Foundations of Computer Science, pp. 46–57 (1977)

    Google Scholar 

  12. Wolfram, S.: Cellular automata: a model of complexity. Nature 31, 419–424 (1984)

    Article  Google Scholar 

  13. Yang, X.J., Lo, C.P.: Modeling urban growth and landscape changes in the atlanta metropolitan area. International Journal of Geographical Information Science 17(5), 463–488 (2003)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wu, J., Wang, C., Tu, X., Xie, J., Pu, L. (2009). Temporal Reasoning in Urban Growth Simulation. In: Wen, P., Li, Y., Polkowski, L., Yao, Y., Tsumoto, S., Wang, G. (eds) Rough Sets and Knowledge Technology. RSKT 2009. Lecture Notes in Computer Science(), vol 5589. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02962-2_67

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02962-2_67

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02961-5

  • Online ISBN: 978-3-642-02962-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics