在答案集编程（ASP）中，线性约束的整合显著扩展了其应用范围，但现有的混合求解器往往依赖于缺乏统一逻辑基础的不同语义。为填补这一空白，我们引入了一种多排序的边界基础逻辑（HTb）变体，提供了一个灵活的框架，能够对扩展了线性约束的ASP的各种替代语义进行平衡模型的表征。
我们将这一框架应用于差异约束的设置，重点关注 clingo[DL] 的语义特征。我们的方法的核心是对数值变量的基础性进行形式化。通过研究不同的混合系统（如 clingo[DL]、clingcon 和 flingo）如何证明约束原子，我们揭示了它们行为差异的语义根源。
这一研究结果形成了一个单一且一致的框架，不仅为当前系统如 clingo[DL] 的基础进行形式化，还促进了对程序简化的严谨研究以及未来不同语义原则的整合。
博主点评： 本文提出的多排序边界基础逻辑为答案集编程提供了新的理论基础，尤其是在处理线性约束时展现了强大的灵活性。这一框架的引入为进一步的研究提供了可能性，尤其是在程序简化和语义整合方面，具有重要的学术价值和应用前景。