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

Asma Zoghlami, Cyril de Runz, Herman Akdag

Abstract

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.).

References

  1. Burrough, P. A., McDonnell, R., 1998. Principle of Geographical Information Systems, Oxford University Press.
  2. Chellas, B. F., 1980. Modal logic, an introduction, Cambridge University Press.
  3. Clarke, E. M., Emerson, E. A., Sistla, A. P., 1986. Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications, ACM Transactions on Programming Languages and Systems, Vol. 8(2), pp. 244-263.
  4. Dubois, D., Prade, H., 2000. Fundamentals of fuzzy sets. The Handbooks of Fuzzy Sets Series. Vol. 7. Springer.
  5. G├╝ttin , R. H., B'hlen, M. H., Erwing, M., Jensen, C. S., Lorentzos, N. A., Schneider, M., Vazirgiannis, M. 2000. A foundation for representing and quering moving objects. ACM Transactions on Database System, Vol 25(1), pp. 1-42.
  6. Peuquet, D. J., 2002. Representations of Space and Time, The Guilford Press, N.Y.
  7. Pumain, D., Bretagnolle, A. Glisse, B. 2006. Modeling the future of cities. ECCS'06, In Proceedings of the European Conference of Complex systems, Oxford, pp. 25-29.
Download


Paper Citation


in Harvard Style

Zoghlami A., de Runz C. and Akdag H. (2013). Through a Fuzzy CTL Logic for Modelling Urban Trajectories - A Framework for Modelling City Evolution from Past to Future . In Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-8565-39-6, pages 514-518. DOI: 10.5220/0004256305140518


in Bibtex Style

@conference{icaart13,
author={Asma Zoghlami and Cyril de Runz and Herman Akdag},
title={Through a Fuzzy CTL Logic for Modelling Urban Trajectories - A Framework for Modelling City Evolution from Past to Future},
booktitle={Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2013},
pages={514-518},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004256305140518},
isbn={978-989-8565-39-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Through a Fuzzy CTL Logic for Modelling Urban Trajectories - A Framework for Modelling City Evolution from Past to Future
SN - 978-989-8565-39-6
AU - Zoghlami A.
AU - de Runz C.
AU - Akdag H.
PY - 2013
SP - 514
EP - 518
DO - 10.5220/0004256305140518