Smart city services based on spatial-temporal logic

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.