托马斯·艾特;芬克，迈克尔 稳定模型语义下逻辑程序的一致等价。 （英语） Zbl 1204.68052号 Palamidessi，Catuscia（编辑），《逻辑编程》。2003年12月9日至13日在印度孟买举行的第19届国际会议，ICLP 2003。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20642-6/pbk）。莱克特。注释计算。科学。2916, 224-238 (2003). 摘要：在最近关于非单调逻辑程序设计的研究中，逻辑程序（P\）和（Q\）被反复地考虑了强等价性，如果程序（P\cup R\）和程序（Q\cup R \）对任何其他程序（R\）都具有相同的稳定模型，则这一点成立。这个属性加强了\（P\）和\（Q\）关于稳定模型的等价性（这是\（R=\emptyset）的特例），并在程序优化中有一个应用。在本文中，我们考虑了更为自由的一致等价概念，其中R仅涵盖事实集，而不是所有规则集。这个众所周知的概念对于评估程序（P）和（Q）是否等价于模块化结构的逻辑程序中的组件特别有用。我们给出了析取逻辑程序和一些受限类一致等价的语义刻画，并分析了命题（基）情况下一致等价的计算代价。我们的结果自然扩展到了答案集语义，补充了逻辑程序强等价性的结果，并为答案集求解器作为基于输入的问题求解工具的优化铺平了道路。关于整个系列，请参见[兹比尔1029.00063]. 引用于29文件 MSC公司： 68N17号 逻辑编程 68问题55 计算理论中的语义学 关键词：一致等价;强等价性;稳定模型;答案集语义;计算复杂度;程序优化 软件：亚萨特;斯莫德尔斯 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{M.Fink}，莱克特。注释计算。科学。2916224-238（2003年；兹bl 1204.68052） 全文： 内政部