Clingo goes linear constraints over reals and integers*
Clingo goes linear constraints over reals and integers*
复制标题
Clingo 对实数和整数进行线性约束*
DOI：
--
复制
发表时间：
2017
影响因子：
1.4
通讯作者：
Torsten Schaub
中科院分区：
文献类型：
--
作者：
T. Janhunen;Roland Kaminski;M. Ostrowski;S. Schellhorn;P. Wanko;Torsten Schaub
摘要最近的系列5的答案集编程（ASP）系统clingo提供了通用的手段，以加强基本的ASP与理论推理能力。我们实例化这个框架与不同形式的线性约束，并阐述其正式属性。鉴于此，我们讨论了各自的实现，并提出了在反应式上下文中使用这些约束的技术。更确切地说，我们引入扩展到clingo的差异和线性约束的整数和实数，分别，并实现它们的互补方式。最后，我们经验性地评估了由此产生的clingo衍生物clingo[dl]和clingo[lp]对公共语言片段，并将其与相关ASP系统进行对比。
Abstract The recent series 5 of the Answer Set Programming (ASP) system clingo provides generic means to enhance basic ASP with theory reasoning capabilities. We instantiate this framework with different forms of linear constraints and elaborate upon its formal properties. Given this, we discuss the respective implementations, and present techniques for using these constraints in a reactive context. More precisely, we introduce extensions to clingo with difference and linear constraints over integers and reals, respectively, and realize them in complementary ways. Finally, we empirically evaluate the resulting clingo derivatives clingo[dl] and clingo[lp] on common language fragments and contrast them to related ASP systems.