Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming

MATTEO CARDELLINI,CARMINE DODARO,MARCO MARATEA,MAURO VALLATI
DOI: https://doi.org/10.1017/s1471068424000309
2024-10-30
Theory and Practice of Logic Programming
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.
computer science, theory & methods, software engineering,logic
What problem does this paper attempt to address?