arXiv:2502.09235v1 宣布类型: 新 摘要: 有序集编程(ASP)是一种解决现实世界问题的强大工具。然而，许多问题涉及数值和超出标准ASP求解器能力的复杂约束。通过使用特定约束的专门方法，像CLINGCON和CLINGO[DL]这样的混合求解器解决了这一问题。然而，这些求解器缺乏坚实的理论基础。 这个问题最初通过引入将约束逻辑(HT\_c)作为逻辑Here-and-There(HT)及其非单调扩展平衡逻辑的扩展来解决。如今，HT作为ASP的逻辑基础，帮助扩展了对该范式的理解。其思想是，HTC（和其他扩展）在混合ASP中发挥类似的作用。 关于这些逻辑的基本特征以及它们在求解器中的实际应用（例如，如何指导实现），仍有许多待解决的问题。 对这些混合逻辑的正式理解也对于更好地理解它们所应用于的实际问题的内在结构至关重要，并有助于改进它们在ASP中的表示。作为ASP应用的一个示例，我们使用产品配置。