Temporal Reasoning in Urban Growth Simulation

  • Authors:

  • Jun Wu;Chongjun Wang;Xiaosong Tu;Junyuan Xie;Lijie Pu

  • Affiliations:

  • National Key Laboratory for Novel Software Technology, Nanjing, China 210093 and Department of Computer Science and Technology, Nanjing University,;National Key Laboratory for Novel Software Technology, Nanjing, China 210093 and Department of Computer Science and Technology, Nanjing University,;School of Geographic and Oceanographic Sciences, Nanjing University,;National Key Laboratory for Novel Software Technology, Nanjing, China 210093 and Department of Computer Science and Technology, Nanjing University,;School of Geographic and Oceanographic Sciences, Nanjing University,

  • Venue:
  • RSKT '09 Proceedings of the 4th International Conference on Rough Sets and Knowledge Technology
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

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.