要約
Answer Set Programming (ASP) は、現実世界の問題を簡潔に表現し推論するための効果的なツールとしての可能性を実証しています。
この論文では、このような現実世界の問題を解決するために考案された、より一般的なフレームワーク内で、都市ネットワークの動的なトラフィック分散のコンテキストで ASP がうまく使用されているアプリケーションを紹介します。
特に、ASP は、ネットワーク内のすべての車両の「最適な」ルートの計算に使用されています。
また、ヨーロッパの 2 つの都市地域におけるフレームワーク全体と、ASP が使用されている部分のパフォーマンスの実証分析も提供します。これは、フレームワークの実行可能性と ASP が与えることができる貢献を示しています。
要約(オリジナル)
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.
arxiv情報
著者 | Matteo Cardellini,Carmine Dodaro,Marco Maratea,Mauro Vallati |
発行日 | 2024-08-14 12:54:26+00:00 |
arxivサイト | arxiv_id(pdf) |
提供元, 利用サービス
arxiv.jp, Google