佩德罗·卡巴拉尔；豪尔赫·范丁诺；托尔斯滕·绍布；塞巴斯蒂安·谢尔霍恩 Gelfond-Zhang聚合为命题公式。 （英语） Zbl 1491.68198号 Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10377, 117-131 (2017). 总结：我们表明，在Gelfond和Zhang（GZ）语义下解释的任何ASP聚合都可以被命题公式取代（在强等价性下）。受限于原始GZ语法，所得公式可简化为文字连词的析取，但即使语法扩展到允许条件中的任意公式（包括嵌套聚合），该公式仍然适用。一旦GZ聚合被表示为公式，我们就建立了一个与费拉里斯（F）聚合的形式比较（根据此处和那里的逻辑），后者由包含嵌套含义的不同公式转换定义。特别地，我们证明了如果我们用规则头中的GZ聚合替换F聚合，我们不会丢失答案集（尽管可以获得更多）。这扩展了先前已知的结果，即规则体中发生了相反的情况，即用正文中的F聚合替换GZ聚合可能会产生更多的答案集。最后，我们描述了GZ和F语义一致的一类聚合。关于整个系列，请参见[Zbl 1367.68005号]. 引用于三文件 MSC公司： 68T27型 人工智能中的逻辑 68立方英尺 知识表示 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人，Lect。注释计算。科学。10377117-131（2017年；兹bl 1491.68198） 全文： 内政部 链接