Smart City Services based on spatial-temporal logic

Abstract

The development and research of Smart City Service Systems is a very important area for the future of mankind. The urbanization process imposes new criteria for qualitative and quantitative assessment of population well-being, which will involve processing a very large volume of information, organizing the data exchange and processing. This paper proposes a Multi-Agent Smart City Services system based on Spatial-Temporal logic. In order to optimize the criteria for the qualitative and quantitative evaluation of services, the set of agents is divided into: the subset of agents that deliver services and the subset of service consumers agents. The system diagram, the synthesis of the agents, the operators of temporal and spatial logic was elaborated. The relationship between the subset of service delivery agents and the subset of agents of service consumers is determined by game theory models.

Dezvoltarea și cercetarea sistemelor Smart City Service prezintă un domeniu foarte important pentru viitorul omenirii. Procesul de urbanizare impune noi criterii de evaluare calitativă și cantitativă a bunăstării populației, care va implica procesarea unui volum foarte mare de informații, organizarea schimbului de date și procesarea acestora. În lucrarea de față se propune un sistem Multi-Agent Smart City Services bazat pe logica Spațial-Temporală. Pentru optimizarea criteriilor de evaluare calitativă și cantitativă a serviciilor, mulțimea de agenți este divizată în: sub-mulțimea de agenți care livrează servicii și sub-mulțimea de agenți consumatori de servicii. A fost elaborat diagrama sistemului, sinteza agenților, operatorii de logică temporală și spațială. Relațiile dintre sub-mulțimea de agenți care livrează servicii și sub-mulțimea de agenți consumatori de servicii este determinată de modele din teoria jocurilor.