Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming

TL;DR

This paper presents a framework using Answer Set Programming to optimize dynamic traffic routing in urban networks, demonstrating its effectiveness through empirical analysis in European cities.

Contribution

It introduces a novel application of ASP for real-time traffic distribution optimization in urban environments.

Findings

ASP-based framework is viable for urban traffic management

Empirical results show effective route optimization in two European cities

ASP contributes significantly to the framework's performance

Abstract

Answer Set Programming (ASP) has demonstrated its potential as an effective tool for concisely representing and reasoning about real-world problems. In this paper, we present an application in which ASP has been successfully used in the context of dynamic traffic distribution for urban networks, within a more general framework devised for solving such a real-world problem. In particular, ASP has been employed for the computation of the "optimal" routes for all the vehicles in the network. We also provide an empirical analysis of the performance of the whole framework, and of its part in which ASP is employed, on two European urban areas, which shows the viability of the framework and the contribution ASP can give.