MultiZenoTravel:一个具有已知帕累托前沿的可调多目标规划基准
人工智能
2023-05-01 v1
摘要
多目标 AI 规划缺乏具有已知帕累托前沿的基准。本工作中,我们提出了一个可调基准生成器,以及一种可证明计算所得实例真实帕累托前沿的专用求解器。首先,我们证明了一个命题,得以刻画该问题约束版本的最优规划,并展示如何将一般问题归约为约束问题。其次,我们给出了一种构造性方法来找出所有帕累托最优规划,并讨论了算法复杂度。我们提供了实现,使求解器能在合理时间内处理现实实例。最后,作为实际演示,我们使用该求解器在全世界最大的两个机场之间找出所有帕累托最优规划,考虑了前 50 大机场间的航线、机场间球面距离以及虚构风险。
引用
@article{arxiv.2304.14659,
title = {MultiZenoTravel: a Tunable Benchmark for Multi-Objective Planning with Known Pareto Front},
author = {Alexandre Quemy and Marc Schoenauer and Johann Dreo},
journal= {arXiv preprint arXiv:2304.14659},
year = {2023}
}