阿米莉亚·哈里森；弗拉基米尔·利夫希茨 讲述答案集编程的两种方言。 （英语） Zbl 1434.68074号 理论与实践。日志。程序。 19，第5-6号，1006-1020（2019）. 摘要：答案集求解器的输入语言粘着物基于Paolo Ferraris提出的稳定模型定义。ASP标准化工作组开发的ASP-Core语言的语义使用了Wolfgang Faber、Nicola Leone和Gerald Pfeifer提出的稳定模式方法。这两种语言基于不同版本的稳定模型语义，ASP-Core文档要求“为了实现无争议的语义”，程序避免通过聚合使用递归。在本文中，我们证明了通过聚合的递归的缺失确实保证了稳定模型语义的两个版本之间的等价性，并说明了如何在不违反等价性的情况下放宽该要求。 引用于2文件 MSC公司： 68N17号 逻辑编程 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：答案集编程；答案集求解器；稳定模型；骨料 软件：格林戈；克林戈 PDF格式BibTeX公司 XML格式引用 \textit{A.Harrison}和\textit{V.Lifschitz}，理论与实践。日志。程序。19，编号5--6，1006--1020（2019；Zbl 1434.68074） 全文： 内政部 arXiv公司 参考文献： [1] Bartholomew，M.、Lee，J.和Meng，Y.2011。通过修改的限定对FLP稳定模型语义进行一阶扩展。国际人工智能联合会议（IJCAI）论文集。724-730. [2] Faber，W.、Leone，N.和Pfeifer，G.2004。析取逻辑程序中的递归聚合：语义和复杂性。《欧洲人工智能逻辑会议论文集》（JELIA）。200-212. ·兹比尔1111.68380 [3] Faber，W.、Pfeifer，G.和Leone，N.2011。答案集编程中递归聚合的语义和复杂性。人工智能175，278-298·Zbl 1216.68263号 [4] Ferraris，P.2005。命题理论的答案集。《逻辑程序设计和非单调推理国际会议论文集》。119-131. ·Zbl 1152.68408号 [5] Ferraris，P.、Lee，J.和Lifschitz，V.2006。Lin-Zhao定理的推广。数学与人工智能年鉴47，79-101·Zbl 1105.68015号 [6] Gebser，M.、Harrison，A.、Kaminski，R.、Lifschitz，V.和Schaub，T.2015。摘要格林戈。逻辑编程的理论与实践15449-463·兹比尔1379.68031 [7] Gelfond，M.和Zhang，Y.2014。恶性循环原理和带有聚合的逻辑程序。逻辑程序设计理论与实践14，4-5，587-601·Zbl 1309.68032号 [8] Harrison，A.2017年。答案集编程的形式化方法。德克萨斯大学奥斯汀分校博士论文。 [9] Harrison，A.、Lifschitz，V.、Pearce，D.和Valverde，A.2017。无穷均衡逻辑和强等价逻辑程序。人工智能246，22-33·Zbl 1419.68120号 [10] 海廷，A.1930。直觉主义逻辑规范。Sitzungsberichte der Preussischen Akademie von Wissenschaften公司。Physikalisch-mathematische Klasse，42-56·JFM 56.0823.01号机组 [11] Truszczynski，M.2010年。命题理论的约简、可满足关系和逻辑程序语义的推广。人工智能174，16，1285-1306·Zbl 1209.68101号 [12] Truszczynski，M.2012年。通过还原连接一阶ASP和逻辑FO（ID）。《正确推理：以弗拉基米尔·利夫施奇茨（Vladimir Lifschitz）、E.Erdem、J.Lee、Y.Lierler和D.Pearce为荣的基于逻辑的人工智能论文》（Eds.Springer），第543-559页·Zbl 1357.68225号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。