arXiv:2502.04302v1 通知类型: 新 摘要: 在扩展的因果集编程 (Answer Set Programming, ASP) 与约束框架中，我们研究了强等价性的概念。如果简而言之，两组规则在任何上下文中都具有相同的含义，那么这两组规则被认为是强等价的。我们证明，在某些假设下，这种扩展设置中规则集的强等价性可以通过它们在带约束的Here-and-There逻辑中的等价性来精确地刻画。此外，我们提供了一种从几种基于clingo的处理约束的ASP求解器的语言转换到带约束的Here-and-There逻辑语言的方法。这种转换使我们能够利用Here-and-There逻辑来在这种求解器的上下文中推理强等价性。我们还探讨了在这种情况下确定强等价性的计算复杂性。