Experimenting with robotic intra-logistics domains
Experimenting with robotic intra-logistics domains
复制标题
尝试机器人内部物流领域
DOI：
10.1017/s1471068418000200
复制
发表时间：
2018
影响因子：
1.4
通讯作者：
SON, TRAN CAO
中科院分区：
文献类型：
--
作者：
GEBSER, MARTIN;OBERMEIER, PHILIPP;OTTO, THOMAS;SCHAUB, TORSTEN;SABUNCU, ORKUNT;NGUYEN, VAN;SON, TRAN CAO
我们引入asprilo1框架，以促进处理复杂动态应用的方法的实验研究。为此，我们选择了机器人内部物流领域。这一领域不仅在当今第四次工业革命的背景下高度相关，而且在一个统一的框架内结合了众多具有挑战性的问题。这包括多主体计划、行动推理、变化、资源、策略等。作为回报，asprilo允许用户研究关于有效性和可扩展性的替代解决方案。尽管asprilo依赖于答案集编程和Python，但它很容易被任何遵循其面向事实的接口格式的系统使用。这使得它对基准测试和逻辑编程以外的教学具有吸引力。更准确地说，aspilo包括一个通用的基准测试生成器、解决方案检查器和可视化器，以及一系列具有各种ASP技术的参考编码。重要的是，可视化工具的动画功能对于内部物流等复杂场景是必不可少的，以便检查有效和无效的候选解决方案。此外，它允许图形化地编辑基准布局，可以用作生成基准套件的基础。
We introduce the asprilo1 framework to facilitate experimental studies of approaches addressing complex dynamic applications. For this purpose, we have chosen the domain of robotic intra-logistics. This domain is not only highly relevant in the context of today's fourth industrial revolution but it moreover combines a multitude of challenging issues within a single uniform framework. This includes multi-agent planning, reasoning about action, change, resources, strategies, etc. In return, asprilo allows users to study alternative solutions as regards effectiveness and scalability. Although asprilo relies on Answer Set Programming and Python, it is readily usable by any system complying with its fact-oriented interface format. This makes it attractive for benchmarking and teaching well beyond logic programming. More precisely, asprilo consists of a versatile benchmark generator, solution checker and visualizer as well as a bunch of reference encodings featuring various ASP techniques. Importantly, the visualizer's animation capabilities are indispensable for complex scenarios like intra-logistics in order to inspect valid as well as invalid solution candidates. Also, it allows for graphically editing benchmark layouts that can be used as a basis for generating benchmark suites.
登录
查看更多内容
通过答案集编程进行班次设计
DOI：
10.3233/fi-2016-1396
发表时间：
2015
期刊：
Proceedings of the AAAI Conference on Artificial Intelligence
影响因子：
--
作者：
Michael Abseher;M. Gebser;Nysret Musliu;Torsten Schaub;S. Woltran
通讯作者：
S. Woltran
DOI：
10.7551/mitpress/4298.003.0033
发表时间：
1995
期刊：
2024 IEEE Texas Power and Energy Conference (TPEC)
影响因子：
--
作者：
Pawel Cholewinski;V. Marek;A. Mikitiuk;M. Truszczynski
通讯作者：
M. Truszczynski
Clingo 对实数和整数进行线性约束*
影响因子：
1.4
作者：
T. Janhunen;Roland Kaminski;M. Ostrowski;S. Schellhorn;P. Wanko;Torsten Schaub
通讯作者：
Torsten Schaub
影响因子：
64.8
作者：
EREZ, J
通讯作者：
EREZ, J
Ricochet Robots：横向 ASP 基准
DOI：
10.1007/978-3-642-40564-8_35
发表时间：
2013
期刊：
Proceedings of the AAAI Conference on Artificial Intelligence
影响因子：
--
作者：
M. Gebser;H. Jost;Roland Kaminski;Philipp Obermeier;Orkunt Sabuncu;Torsten Schaub;M. Lindauer
通讯作者：
M. Lindauer