- 简介答案集编程（ASP）是一种广泛使用的声明式编程范例，已经在解决复杂计算问题方面表现出巨大的潜力。然而，不能本地支持非整数算术已被指出是实际应用中的一个主要缺点。这个特性对于准确地模拟和管理实际数据和信息非常重要，如视频游戏角色的平滑移动、机械臂的三维运动和传感器流式传输的数据等。然而，在不影响其声明性质和其明确定义的语义的情况下，将ASP扩展到这个方向上面临着非常复杂的挑战；因此，没有任何ASP系统能够本地推理非整数域。事实上，广泛使用的浮点算术不适用于ASP情况，因为无法保证结果的再现性，而且无论使用的机器或求解器如何，ASP程序的语义都不会被唯一和声明性地确定。为了克服这些限制并在纯ASP领域内，本文提出了一种ASP扩展，其中非整数被近似为有理数，完全保证了再现性和声明性。我们为扩展了有理数的ASP-Core-2标准提供了一个明确定义的语义和实现。我们希望这项工作可以成为ASP语言更具表现力和多功能性的一个基石，可以处理更广泛的实际问题。
- 图表
- 解决问题在ASP中实现非整数算术运算的挑战
- 关键思路通过将非整数近似为有理数来扩展ASP，从而实现对非整数算术运算的支持
- 其它亮点论文提出了一个扩展ASP的方法，可以处理非整数算术运算，同时保持其声明性和确定性。作者提供了ASP-Core-2标准的扩展语义和实现，并展示了其在一些实际问题中的应用。
- 最近的相关研究包括“Answer Set Programming with Floating-Point Arithmetic”和“ASP modulo rational arithmetic”等论文。
提问交流