机器人内部物流领域的实验框架asprilo
人工智能
2018-04-30 v1
摘要
我们引入了asprilo[1]框架，以促进针对复杂动态应用的方法的实验研究。为此，我们选择了机器人内部物流领域。该领域不仅在当今第四次工业革命的背景下高度相关，而且还在单一统一框架内结合了众多具有挑战性的问题。这包括多智能体规划、关于动作/变化/资源/策略等的推理。作为回报，asprilo允许用户研究有关有效性和可扩展性的替代方案。尽管asprilo依赖于答案集编程（Answer Set Programming）和Python，但任何符合其面向事实的接口格式的系统均可直接使用。这使其对远超逻辑编程领域的基准测试和教学具有吸引力。更确切地说，asprilo由一个通用的基准生成器、解检查器和可视化器，以及一组展现各种ASP技术的参考编码组成。重要的是，对于内部物流等复杂场景，可视化器的动画能力对于检查有效及无效的解候选不可或缺。此外，它允许以图形方式编辑基准布局，该布局可用作生成基准套件的基础。[1] asprilo代表用于机器人内部物流的答案集编程（Answer Set Programming for robotic intra-logistics）。
引用
@article{arxiv.1804.10247,
title = {Experimenting with robotic intra-logistics domains},
author = {Martin Gebser and Philipp Obermeier and Thomas Otto and Torsten Schaub and Orkunt Sabuncu and Van Nguyen and Tran Cao Son},
journal= {arXiv preprint arXiv:1804.10247},
year = {2018}
}
备注
Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 18 pages, LaTeX, 8 PDF figures (arXiv:YYMM.NNNNN)