基于答案集编程的轿车装配中无人驾驶运输车辆路径规划
人工智能
2018-04-30 v1
摘要
自动化仓储与检索系统是现代生产与仓储设施的核心组成部分。特别是，自动导引车如今已取代人工操作的托盘搬运车，在存储位置与装配站之间运输生产物料。低级控制系统负责沿程序设定路线导航此类无人驾驶车辆，并在突发状况下避免碰撞；而在多车共享同一作业区域的常见情况下，如何设定路线以最有效地完成一组运输任务仍是待解问题。我们在 Mercedes-Benz Ludwigsfelde GmbH（一家大型商用车生产商）的轿车装配背景下探讨这一普遍问题，其生产过程中所用自动导引车的路线传统上由人类工程师手工编写。只要既有生产流程不变，此类临时方法尚可应付；而一旦工厂布局或生产目标变动，便需繁琐的手动重配置，更毋庸提不同生产厂间缺乏可移植性。与此不同，我们提出一种基于答案集编程（Answer Set Programming）的声明式方法，以优化自动导引车完成运输任务所行路线。其优势包括透明且可执行的problem形式化、相对于目标准则的可证明最优路线，以及对特定工厂布局与生产目标的精细容错性。此外，我们证明该方法效率足以应对 Mercedes-Benz Ludwigsfelde GmbH 轿车工厂实际生产流程中演化的运输任务。
引用
@article{arxiv.1804.10437,
title = {Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming},
author = {Martin Gebser and Philipp Obermeier and Michel Ratsch-Heitmann and Mario Runge and Torsten Schaub},
journal= {arXiv preprint arXiv:1804.10437},
year = {2018}
}
备注
Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018; 15 pages, LaTeX, 3 figures