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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baral, C., Zhao, J.: Goal specification, non-deterministic, and quantifying over policies. In: Proceedings of AAAI 2006 (2006)
Baral, C., Zhao, J.: Non-monotonic temporal logic for goal specification. In: Proceedings of IJCAI 2007, Hyderabad, India, pp. 45–60 (2007)
Batty, M., Xie, Y.: From cells to cities. Environment and Planning B 21, 531–548 (1995)
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)
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)
Couclelis, H.: Of mice and men: what rodent populations can teach us about complex spatial dynamics. Environment and Planning A 20, 99–109 (1998)
Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer science, pp. 997–1072 (1990)
Kari, J.: Theory of cellular automata: A survey. Theoretical Computer Science 334(1-3), 3–33 (2005)
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)
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)
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)
Wolfram, S.: Cellular automata: a model of complexity. Nature 31, 419–424 (1984)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)