迈克尔·盖尔芬德；张元林 基于ASP的语言中的恶性循环原理、集合和集合的形成。 （英语） Zbl 1478.68041号 Artif公司。智力。 275, 28-77 (2019). 摘要：本文介绍了原始答案集Prolog（ASP）的一种扩展，它使用了几个集合结构，包括集合，定义为集合上的函数。新语言名为\（\mathcal{A}\mathrm{log}\），允许基于Poincaré和Russell提出的邪恶循环原则创建集合，该原则消除了通过聚合在现有ASP扩展中发现的许多问题。我们认为，尽管\（\mathcal{A}\mathrm{log}\）没有ASP的其他聚合扩展那样具有表现力，但其语法和语义的清晰性、几个新的基于集合的结构的添加、简单性和易用性使其成为这些语言的可行竞争对手。我们还研究了该语言的一些重要属性，并展示了如何利用其设计中使用的思想来概括和简化ASP另一个重要扩展的定义。 引用于4文件 MSC公司： 68N17号 逻辑编程 68立方英尺 知识表示 关键词：骨料；答案集编程；逻辑程序设计；知识表示；语言设计 软件：WASP公司；C模型；斯莫德尔斯；格林戈；亚萨特 PDF格式BibTeX公司 XML格式引用 \textit{M.Gelfond}和\textit{Y.Zhang}，Artif。智力。275、28-77（2019年；Zbl 1478.68041） 全文： 内政部 参考文献： [1] Gelfond，M.，《分层自认知理论》（第六届全国人工智能会议论文集（1987）），207-212 [2] Gelfond，M。；Lifschitz，V.，逻辑编程的稳定模型语义，（ICLP-88（1988）会议记录），1070-1080 [3] Gelfond，M。；Lifschitz，V.，逻辑程序和析取数据库中的经典否定，新世代。计算。，9, 3/4, 365-386 (1991) ·Zbl 0735.68012号 [4] 尼梅拉，I。；西蒙斯，P。；Soininen，T.，《扩展和实现稳定模型语义》，Artif。智力。，第138页，第181-234页（2002年）·Zbl 0995.68021号 [5] 林，F。；Zhao，Y.，ASSAT：SAT解析器计算逻辑程序的答案集，Artif。智力。，157, 1-2, 115-137 (2004) ·Zbl 1085.68544号 [6] Lierler，Y.，Cmodels-基于SAT的析取答案集求解器（LPNMR（2005）），447-451 [7] Lin，Z。；Zhang，Y。；Hernandez，H.，基于SAT的快速答案集求解器（AAAI会议记录（2006）），92-97 [8] 塞拉利昂，北。；Pfeifer，G。；Faber，W。；艾特，T。；Gottlob，G。；佩里，S。；Scarcello，F.，《用于知识表示和推理的DLV系统》，ACM Trans。计算。日志。，7, 499-562 (2006) ·Zbl 1367.68308号 [9] Faber，W。；Pfeifer，G。；塞拉利昂，北。；Dell'Armi，T。；Ielpa，G.，DLV系统中聚合功能的设计与实现，理论与实践。日志。程序。，8, 5-6, 545-580 (2008) ·Zbl 1156.68010号 [10] Gebser，M。；考夫曼，B。；Neumann，A。；Schaub，T.，冲突驱动的答案集枚举，（逻辑编程和非单调推理国际会议（2007），Springer），136-148·Zbl 1149.68332号 [11] 詹胡宁，T。；Niemelä，I.，非析取答案集程序到命题子句的紧凑翻译，（逻辑编程、知识表示和非单调推理（2011），Springer），111-130·Zbl 1326.68058号 [12] Gebser，M。；考夫曼，B。；Schaub，T.，《冲突驱动的答案集解决：从理论到实践》，Artif。智力。，187，52-89（2012年）·Zbl 1251.68060号 [13] 阿尔维亚诺，M。；多达罗，C。；Faber，W。；塞拉利昂，北。；Ricca，F.，WASP：基于约束学习的本地ASP求解器，（逻辑编程和非单调推理国际会议（2013），Springer），54-66 [14] 马拉泰阿，M。；Pulina，L。；Ricca，F.，ASP的多级算法选择，（逻辑编程和非单调推理国际会议（2015），Springer），439-445·兹比尔1467.68027 [15] Balduccini，M。；Baral，C。；Lierler，Y.，《知识表示与问答》（《知识表示手册》（2006）），第21章 [16] Brewka，G。；艾特，T。；Truszczynski，M.，回答集编程一览，Commun。ACM，54，12，92-103（2011） [17] Erdem，E。；Gelfond，M。；Leone，N.，《答案集编程的应用》，AI Mag.，37，3，53-68（2016） [18] 福克纳，A。；弗里德里希·G。；Schekotihin，K。；灰褐色，R。；Teppan，E.C.，《答案集编程的工业应用》，Künstl。智力。，32, 2-3, 165-176 (2018) [19] Balduccini，M。；Gelfond，M.，《具有一致性恢复规则的逻辑程序》，（常识推理逻辑形式化国际研讨会。常识推理逻辑格式化国际研讨会，AAAI 2003年春季研讨会系列，第102卷（2003年），美国原子能学会出版社） [20] Baral，C。；Gelfond，M。；Rushton，J.N.，带答案集的概率推理，理论与实践。日志。程序。，9, 1, 57-144 (2009) ·Zbl 1170.68003号 [21] Pearce，D.，稳定模型和答案集的新逻辑特征，（逻辑程序设计的非单调扩展。逻辑程序设计非单调扩展，LNCS，第1216卷（1997），Springer Verlag），57-70 [22] 费拉里斯，P。；Lee，J。；Lifschitz，V.，《关于稳定模型的新观点》，（国际人工智能联合会议（IJCAI）会议记录（2007）），372-379 [23] 尼美拉，I。；Simons，P.，《用基数和权重约束扩展模型系统》（Logic-Based Artificial Intelligence（2000），Springer），491-521·Zbl 0979.68015号 [24] Buccafurri，F。；塞拉利昂，北。；Rullo，P.，析取数据日志中的强约束和弱约束，（国际逻辑编程和非单调推理会议（1997），施普林格），2-17 [25] 佩洛夫，N。；Denecker，M。；Bruynooghe，M.，《具有聚合的逻辑程序的良好和稳定语义》，理论与实践。日志。程序。，7, 355-375 (2007) ·Zbl 1111.68070号 [26] 儿子，T.C。；Pontelli，E.，《答案集编程中聚合的构造性语义表征》，理论与实践。日志。程序。，7, 3, 355-375 (2007) ·Zbl 1111.68072号 [27] Faber，W。；Pfeifer，G。；Leone，N.，《答案集编程中递归聚合的语义和复杂性》，Artif。智力。，175, 1, 278-298 (2011) ·Zbl 1216.68263号 [28] Gelfond，M.，《用A-prolog表示知识》，（Kakas，A.C.；Sadri，F.，《计算逻辑：逻辑编程及其以外》，《计算逻辑学：逻辑编程及以外》，Robert A.Kowalski荣誉论文，第二部分，第2408卷（2002），Springer Verlag:Springer Verlag Berlin），413-451·Zbl 1012.68545号 [29] 坎普，D.B。；Stuckey，P.J.，《具有聚合的逻辑程序语义》（ISLP，第91卷（1991），Citeser），387-401 [30] Gelfond，M。；张毅，《恶性循环原理与集合逻辑程序》，理论与实践。日志。程序。，2014年5月14日，第587-601页·Zbl 1309.68032号 [31] Gelfond，M。；张毅，基于ASP语言的Vicious圆原理与集合的形成，（逻辑编程与非单调推理国际会议（2017），施普林格），146-159·Zbl 1491.68043号 [32] 穆米克，美国。；Pirahesh，H。；Ramakrishnan，R.，《副本和聚合的魔力》（《第十六届超大数据库国际会议论文集》（1990年），摩根考夫曼出版社），264-277 [33] Ross，K.A。；Sagiv，Y.，演绎数据库中的单调聚合，J.Compute。系统。科学。，54, 1, 79-97 (1997) ·Zbl 0869.68042号 [34] 儿子，T.C。；彭泰利，E。；Elkabani，I.，《使用聚合进行逻辑编程的基于展开的语义》，CoRR [35] Gelfond，M。；Przymusinska，H.，《论自认知理论的一致性和完整性》，Fundam。通知。，16, 1, 59-92 (1992) ·Zbl 0766.03017号 [36] Lifschitz，V。；Turner，H.，分割逻辑程序，（第十一届逻辑程序设计国际会议论文集（ICLP94）（1994）），23-38 [37] Turner，H.，分裂默认理论，（AAAI-96（1996）会议记录），645-651 [38] Baral，C。；Gelfond，M.，《逻辑编程和知识表示》，J.Log。程序。，19, 20, 73-148 (1994) ·Zbl 0820.68028号 [39] Apt，K.R。；布莱尔，H.A。；Walker，A.，朝向陈述性知识理论，（演绎数据库和逻辑编程基础（1988），Morgan Kaufmann），89-148 [40] 阿尔维亚诺，M。；Faber，W.，《重新审视抽象辩证框架的稳定模型语义：逻辑编程视角》，（《第21届国际人工智能联合会议论文集》，IJCAI组织，《第21次国际人工智能联席会议论文集”，IJCAI组织，阿根廷布宜诺斯艾利斯（2015）)电话：2684-2690 [41] Cabalar，P。；范迪诺，J。；Schaub，T。；Schellhorn，S.，Gelfond-Zhang将集合作为命题公式，（逻辑编程和非单调推理国际会议（2017），Springer），117-131·Zbl 1491.68198号 [42] Gelfond，M。；Zhang，Y.，带聚合、预打印的邪恶圆原理和逻辑程序·Zbl 1309.68032号 [43] Lifschitz，V。；皮尔斯，D。；Valverde，A.，《强等效逻辑程序》，ACM Trans。计算。日志。，2, 4, 526-541 (2001) ·Zbl 1365.68149号 [44] 阿尔维亚诺，M。；Leone，N.，《答案集编程中GZ聚合的复杂性和编译》，理论与实践。日志。程序。，15, 4-5, 574-587 (2015) ·Zbl 1379.68035号 [45] 儿子，T.C。；彭泰利，E。；Tu，P.H.，《具有任意抽象约束原子的逻辑程序的答案集》，J.Artif。智力。研究，29，353-389（2007）·Zbl 1182.68044号 [46] 马雷克，V.W。；Truszczynski，M.，具有抽象约束原子的逻辑程序，（AAAI04（2004）论文集），86-91 [47] 马雷克，V.W。；Remmel，J.B.，《逻辑编程中的设置约束》（logic programming and Non-单调推理（2004），Springer），167-179·Zbl 1122.68381号 [48] 沈毅。；你，J。；Yuan，L.，具有任意约束原子的逻辑程序的稳定模型语义的表征，理论与实践。日志。程序。，9, 4, 529-564 (2009) ·Zbl 1177.68042号 [49] 刘，G。；Goebel，R。；詹胡宁，T。；尼美拉，I。；You，J.-H.，具有抽象约束原子的逻辑程序的强等价性，（《逻辑编程与非单调推理》（2011），Springer），161-173·兹比尔1327.68067 [50] Faber，W。；塞拉利昂，北。；Pfeifer，G.，析取逻辑程序中的递归聚合：语义和复杂性，（第八届欧洲人工智能会议论文集（JELIA 2004）（2004）），200-212·Zbl 1111.68380号 [51] 费拉里斯，P。；Lifschitz，V.，作为嵌套表达式的权重约束，理论与实践。日志。程序。，5, 1-2, 45-74 (2005) ·Zbl 1093.68017号 [52] Ferraris，P.，命题理论的答案集，（逻辑编程和非单调推理国际会议（2005），Springer），119-131·Zbl 1152.68408号 [53] Ferraris，P.，《带有命题连接词和集合的逻辑程序》，ACM Trans。计算。日志。，12, 4, 25 (2011) ·Zbl 1351.68053号 [54] Bogaerts，B。；Vennekens，J。；Denecker，M.，《固定不动点及其在知识表示中的应用》，Artif。智力。，224, 51-71 (2015) ·Zbl 1343.68233号 [55] Lee，J。；Lifschitz，V。；Palla，R.，《答案集编程中计数和选择的简化语义》，（第二十届人工智能AAAI会议论文集。第二十届AAAI人工智能会议论文集，2008年7月13日至17日，美国伊利诺伊州芝加哥，2008年（2008）），472-479 [56] Lee，J。；孟勇，《论答案集编程中集合的约简语义》，（逻辑编程与非单调推理（2009），施普林格），182-195·Zbl 1258.68032号 [57] 刘，L。；彭泰利，E。；儿子，T.C。；Truszczynski，M.，具有抽象约束原子的逻辑程序：计算的作用，人工制品。智力。，174, 3-4, 295-315 (2010) ·Zbl 1207.68119号 [58] 沈义德。；王凯。；艾特，T。；芬克，M。；Redl，C。；Krennwallner，T。；Deng，J.，FLP答案集语义，通用逻辑程序无循环证明，Artif。智力。，213, 1-41 (2014) ·Zbl 1391.68016号 [59] Gebser，M。；哈里森，A。；卡明斯基，R。；Lifschitz，V。；Schaub，T.，抽象外国语，理论与实践。日志。程序。，15, 4-5, 449-463 (2015) ·Zbl 1379.68031号 [60] 哈里森，A。；Lifschitz，V.，《讲述答案集编程的两种方言》（第17届非单调推理国际研讨会工作笔记（2018年））·Zbl 1434.68074号 [61] 阿尔维亚诺，M。；Faber，W。；Gebser，M.，《重写答案集编程中的递归聚合：回到单调性》，理论与实践。日志。程序。，15, 4-5, 559-573 (2015) ·Zbl 1379.68034号 [62] F.Calimeri，W.Faber，M.Gebser，G.Ianni，R.Kaminski，T.Krennwallner，N.Leone，F.Ricca，T.Schaub，Asp-core-2:输入语言格式，2015。；F.Calimeri、W.Faber、M.Gebser、G.Ianni、R.Kaminski、T.Krennwallner、N.Leone、F.Ricca、T.Schaub、Asp-core-2:输入语言格式，2015年。 [63] Feferman，S.，谓词（2002） [64] Wirth，N.，《关于编程语言的设计》（IFIP大会，第74卷（1974年）），386-393·Zbl 0296.68007号 [65] 哈里森·A·J。；Lifschitz，V。；Yang，F.，外国语和不定式命题公式的语义，（KR（2014）） [66] Gebser，M。；卡明斯基，R。；考夫曼，B。；林道尔，M。；奥斯特罗斯基，M。；罗梅罗，J。；Schaub，T。；Thiele，S。；Wanko，P.，《Potassco用户指南》（2019），波茨坦大学信息学院，2.2.0版 [67] Truszczynski，M.，通过简化连接一阶ASP和逻辑FO（ID），（正确推理（2012），Springer），543-559·Zbl 1357.68225号 [68] Gelfond，M.，认知规范的新语义，（逻辑编程和非单调推理（2011），Springer），260-265·Zbl 1327.68249号 [69] 阿尔维亚诺，M。；Leone，N.，《关于答案集编程中GZ-聚合的属性》（IJCAI（2016）），4105-4109 [70] Strass，H.，抽象辩证框架的近似运算符和语义，Artif。智力。，205, 39-70 (2013) ·Zbl 1334.68212号 [71] 李，C。；Wang，Y。；冯·R。；Li，Q.，模拟答案集程序的循环公式，（2017年计算机科学和人工智能国际会议论文集（2017），ACM），38-42 [72] Zhang，Y。；Rayatidamavandi，M.，《用聚合描述逻辑程序的语义》（IJCAI（2016）），1338-1344 [73] Lifschitz，V。；Tang，L.R。；特纳，H.，《逻辑程序中的嵌套表达式》，《数学年鉴》。Artif公司。智力。，25, 3-4, 369-389 (1999) ·Zbl 0940.68075号 [74] Cabalar，P。；范迪诺，J。；del Cerro，L.F。；Pearce，D.，具有内涵集的功能ASP：对Gelfond Zhang聚集体的应用，理论与实践。日志。程序。，18, 3-4, 390-405 (2018) ·Zbl 1451.68255号 [75] Dovier，A。；彭泰利，E。；罗西，G.，《CLP中的内涵集》，（逻辑编程，第19届国际会议，《逻辑编程》，第19次国际会议，2003年ICLP，印度孟买，2003年12月9日至13日（2003）），284-299·Zbl 1204.68051号 [76] 埃尔多安，S.T。；Lifschitz，V.，《答案集编程中的定义》（Lifschit，V.；Niemelä，I.，《逻辑编程和非单调推理国际会议论文集》（LPNMR）（2004）），114-126·Zbl 1121.68330号 [77] Dantsin，E。；艾特，T。；Gottlob，G。；Voronkov，A.，逻辑编程的复杂性和表达能力，ACM计算。调查。，33, 3, 374-425 (2001) [78] 艾特，T。；Gottlob，G.，《析取逻辑编程的计算成本：命题案例》，《数学年鉴》。Artif公司。智力。，15, 3-4, 289-323 (1995) ·Zbl 0858.68016号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。