BriefGPT.xyz
Dec, 2008
具有命题连接词和聚合运算的逻辑程序
Logic programs with propositional connectives and aggregates
HTML
PDF
Paolo Ferraris
TL;DR
提出了一种基于命题连词的比喻来定义aggregates的方法，可以在ASP范式下，对任意命题理论进行扩展，将aggregates定义为基础构造，并且结合了表达能力和简洁性。该定义还继承了关于具有嵌套表达式的程序的许多定理，例如强等价性和拆分定理。
Abstract
answer set programming
(
asp
) is a logic programming paradigm that can be used to solve complex combinatorial search problems.
aggregates
a
→