作为嵌套表达式的权重约束

我们比较了逻辑程序回答集（稳定模型）语义的两种近期扩展。其中一种由 Lifschitz、Tang 和 Turner 提出，允许规则体和头部包含嵌套表达式。另一种由 Niemela 和 Simons 提出，使用权重约束。我们证明，存在一种简单、模块化的翻译方法，可以将权重约束语言翻译为嵌套表达式语言，且保持程序的回答集不变。在该翻译结果中，可以通过引入附加原子来消除嵌套表达式。该翻译使得利用可满足性求解器计算带有权重约束的某些程序的回答集成为可能，并能够利用“此时此地”逻辑证明带有权重约束的程序之间的强等价性。