大卫·皮尔斯；阿古斯汀·瓦尔弗德 平衡逻辑和逻辑程序的统一等价。 （英语） Zbl 1122.68384号 Lifschitz，Vladimir（编辑）等人，《逻辑编程和非单调推理》。第七届国际会议，LPNMR 2004，美国佛罗里达州劳德代尔堡，2004年1月6日至8日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20721-X/pbk）。计算机科学课堂讲稿2923。《194-206年人工智能课堂讲稿》（2004）。 摘要：对于给定的语义，如果两个逻辑程序\（\Pi_｛1｝\）和\（\Pi_｛2｝\）具有相同的预期模型，则可以说它们是等价的；如果任何程序\（X，\Pi_｛1｝\cup X\）和\（\Pi_｛2｝\cup X\）是等价的，则可以说它们是强等价的。Eiter和Fink最近在答案集语义下研究并表征了一致等价的进一步相关属性，其中扩展（X）需要是一组原子。我们将其主要结果推广到均衡逻辑中的命题理论，并描述了一个用于检查一致等价性的表证明系统。我们还证明，通过改变扩展（X）中表达式的逻辑形式，没有获得新的等价形式。最后，研究了一些示例，包括嵌套规则和广义规则的特殊情况。关于整个系列，请参见[Zbl 1120.68006号]. 引用于11文件 MSC公司： 68N17号 逻辑编程 68问题55 计算理论中的语义学 03B70型 计算机科学中的逻辑 PDF格式BibTeX公司 XML格式引用 \textit{D.Pearce}和\textit{A.Valverde}，Lect。注释计算。科学。2923194-206（2004；Zbl 1122.68384） 全文： DOI程序