arXiv:2412.17143v4 说明类型：替换 摘要：DLV2 是一个用于知识表示与推理的 AI 工具，支持基于逻辑的声明形式化的回答集编程（ASP），已在学术和工业应用中成功应用。给定一个表示计算问题的逻辑程序，DLV2 的执行会产生所谓的回答集，这些回答集与问题的实际解一一对应。DLV2 的计算过程依赖于典型的“地面化与求解”方法，其中地面化步骤将输入程序转换为一个新的等价的地面程序，随后的求解步骤则应用命题算法来寻找这些回答集。最近，在流推理和事件处理等背景下，新兴应用对多轮推理提出了需求：在这种情况下，系统需要在快速变化的数据上反复执行时保持反应性。在这项工作中，我们介绍了一个新的增量推理器，它是 DLV2 向迭代推理演化而来的。与从头开始重新计算不同，系统在多次执行中保持活跃，并且逐步处理内部的地面化过程。在每次执行中，系统利用之前的计算来构建和维护一个更大、更通用的地面程序，从这个程序中确定并使用一个更小但仍然等价的部分来计算回答集。值得注意的是，增量过程对用户来说是完全透明的。我们描述了该系统、其用法、适用范围和在某些实际相关领域的性能。该论文正在《逻辑编程理论与实践》（TPLP）上审稿中。