Through a Fuzzy CTL Logic for Modelling Urban Trajectories - A Framework for Modelling City Evolution from Past to Future

A city is by definition a relatively large town of a significant importance. It is a centre of population, commerce, culture, industry, etc. The city evolves over time and gets morphological, sociological, economic and political transformations. Geographic Information System (GIS) may be used in spatial analysis of both the current city and its evolution over time. Based on the past and the present of a city, we are interested in developing a methodology that goes from the spatiotemporal modelling of its evolution to its prediction in the future. The motivation behind this research is to create a tool for the decision support at the disposal of the town hall. This tool aims to help making future decisions about investments, transport networks, infrastructures, etc. In this paper, we propose a framework that allows defining the possible trajectories of the city following the spatial, temporal and functional dimensions. The definition of those trajectories will be attached to a reasoning based on logic according to modalities, time and the imperfect nature of the information (imprecision, uncertainty, etc.).