费利西达德·阿瓜多;佩德罗·卡巴拉尔;豪尔赫·范丁诺;大卫·皮尔斯;吉尔伯托·佩雷斯;康塞普西翁·维达尔 忘记叉子里的辅助原子。 （英语） Zbl 1478.68338号 Artif公司。智力。 275, 575-601 (2019). 摘要：在这项工作中，我们解决了检查可能包含局部辅助原子的逻辑程序的强等价性的问题，这些逻辑程序将从其稳定模型中删除，并且在任何外部环境中都将被禁止。我们称之为这处房产射影强等价（PSE）。最近已经证明，在PSE下，任何包含辅助原子的逻辑程序都不能作为没有辅助原子的另一个逻辑程序或公式进行重新计算，这就是所谓的强烈持续遗忘在本文中，我们引入了均衡逻辑及其单调的基础这里和那里，其中我们处理一个新的连接词“叉我们为fork提供了PSE的语义特征，并用它来表明，在这种扩展中，在强持久性下总是有可能忘记辅助原子。我们进一步定义了获得的fork何时可以表示为正则公式。 引用于1审查引用于9文件 MSC公司： 68T27型 人工智能中的逻辑 68N17号 逻辑编程 68立方英尺 知识表示 关键词：答案集编程;非单调推理;平衡逻辑;指称语义学;忘记;强等价性 软件：CP逻辑 PDF格式BibTeX公司 XML格式引用 \textit{F.Aguado}等人，Artif。智力。275575-601（2019年；Zbl 1478.68338） 全文： 内政部 哈尔 参考文献： [1] Baral，C.，《知识表示、推理和陈述式问题解决》（2003），剑桥大学出版社·Zbl 1056.68139号 [2] Gebser，M。；考夫曼，B。；Schaub，T.，《冲突驱动的答案集解决：从理论到实践》，Artif。智力。，187-188年，52-89年（2012年）·Zbl 1251.68060号 [3] Faber，W。；Pfeifer，G。；塞拉利昂，北卡罗来纳州。；Dell'Armi，T。；Ielpa，G.，DLV系统中聚合功能的设计与实现，理论与实践。日志。程序。，8, 5-6, 545-580 (2008) ·Zbl 1156.68010号 [4] Erdem，E。；Gelfond，M。；Leone，N.，《答案集编程的应用》，AI Mag.，37，3，53-68（2016） [5] Gelfond，M。；Lifschitz，V.，《逻辑编程的稳定模型语义》（The stable model semantics for logic programming），（Kowalski，R.；Bowen，K.，《第19届逻辑编程国际会议和研讨会论文集》（ICLP'88）（1988），麻省理工学院出版社，1070-1080 [6] Pearce，D.，《稳定模型和答案集的新逻辑特征》，（Dix，J.；Pereira，L.M.；Przymusinski，T.C.，《逻辑程序设计非单调扩展精选论文》（NMELP'96）。逻辑编程的非单调扩展（NMELP'96）的论文选集，人工智能讲义，第1216卷（1996），Springer-Verlag），57-70 [7] 皮尔斯，D.，《平衡逻辑》，《数学年鉴》。Artif公司。智力。，47, 1-2, 3-41 (2006) ·Zbl 1117.03039号 [8] 费拉里斯，P。；Lee，J。；Lifschitz，V.，《关于稳定模型的新观点》（Sangal，R.；Mehta，H.；Bagga，R.K.，《第20届国际人工智能联合会议论文集》（IJCAI'07）（2007），摩根考夫曼出版社），372-379 [9] 哈里森，A。；Lifschitz，V。；Truszczynski，M.，《关于稳定模型语义下无穷公式的等价性》，理论与实践。日志。程序。，15, 1, 18-34 (2015) ·Zbl 1379.68070号 [10] Gonçalves，R。；克诺尔，M。；Leite，J.，你不能总是忘记你想要什么：关于答案集编程中遗忘的极限，（Kaminka，G.A.；Fox，M.；Bouquet，P.；Hüllermier，E.；Dignum，V.；Dignom，F.；van Harmelen，F.，《第22届欧洲人工智能会议论文集》（ECAI'16）。《第22届欧洲人工智能会议论文集》（ECAI’16），《人工智能与应用前沿》，第285卷（2016），IOS出版社，957-965·兹比尔1403.68030 [11] Lifschitz，V。；皮尔斯，D。；Valverde，A.，《强等效逻辑程序》，ACM Trans。计算。日志。，2, 4, 526-541 (2001) ·Zbl 1365.68149号 [12] 艾特，T。；托姆皮茨，H。；Woltran，S.，《关于答案编程中的解决方案通信》，（Kaelbling，L.P.；Saffiotti，A.，《第十九届国际人工智能联合会议论文集》（2005），专业图书中心），97-102 [13] 卡巴拉，P。；皮尔斯，D。；Valverde，A.，《将均衡逻辑中的命题理论简化为逻辑程序》（Bento，C.；Cardoso，A.；Dias，G.，《第十二届葡萄牙人工智能进展会议论文集》（EPIA'05）。第十二届葡萄牙人工智能进展会议记录（EPIA’05），计算机科学讲稿，第3808卷（2005），施普林格出版社，4-17 [14] Cabalar，P。；Ferraris，P.，命题理论与逻辑程序，理论实践有着很强的等价性。日志。程序。，7, 6, 745-759 (2007) ·Zbl 1132.68321号 [15] Cabalar，P。；皮尔斯，D。；Valverde，A.，最小逻辑程序，（Dahl，V.；Niemelä，I.，《第23届逻辑程序设计国际会议论文集》，（ICLP'07）（2007），Springer），104-118·Zbl 1213.68171号 [16] Ferraris，P.，《命题理论的答案集》，（Baral，C.；Greco，G.；Leone，N.；Terracina，G.，《逻辑编程和非单调推理第八届国际会议论文集》（LPNMR’05）。程序。第八届逻辑编程和非单调推理国际会议（LPNMR’05），计算机科学讲稿，第3662卷（2005），施普林格出版社，119-131·Zbl 1152.68408号 [17] 阿瓜多，F。；Cabalar，P。；皮尔斯，D。；佩雷斯，G。；维达尔，C.，《平衡逻辑的指称语义学》，理论与实践。日志。程序。，15, 4-5, 620-634 (2015) ·Zbl 1379.68032号 [18] Pearce，D.，《ASP和平衡逻辑中的代数问题》（Ojeda Aciego，M.，Inma P.de Guzmán Festschrift（Liber Amicorum）（2010）） [19] Ben-Eliyahu，R。；Dechter，R.，选言逻辑程序的命题语义，《数学年鉴》。Artif公司。智力。，12, 1-2, 53-87 (1994) ·Zbl 0858.68012号 [20] 艾特，T。；芬克，M。；Woltran，S.，回答集编程中等价的语义特征和复杂性，ACM Trans。计算。日志。，8, 3, 17 (2007) ·Zbl 1367.68031号 [21] 皮尔斯，D。；托姆皮茨，H。；Woltran，S.，《描述平衡逻辑和嵌套逻辑程序的特征：约简和复杂性》，理论与实践。日志。程序。，9, 5, 565-616 (2009) ·Zbl 1186.68100号 [22] Leite，J.，《答案编程中遗忘的鸟瞰图》（Balduccini，M.；Janhunen，T.，《第14届逻辑编程与非单调推理国际会议论文集》（LPNMR’17）。程序。第14届国际逻辑编程与非单调推理会议（LPNMR’17），《计算机科学讲义》，第10377卷（2017），施普林格出版社，10-22·Zbl 1491.68218号 [23] 克诺尔，M。；Alferes，J.J.，《在遗忘的同时保持强等价性》（Fermé，E.；Leite，J.，人工智能中的逻辑学——第14届欧洲会议，JELIA 2014，葡萄牙马德拉Funchal，2014年9月24-26日）。诉讼程序。人工智能中的逻辑——第14届欧洲会议，JELIA 2014，Funchal，Madeira，葡萄牙，2014年9月24-26日。计算机科学论文集，第8761卷（2014年），施普林格出版社，412-425·Zbl 1432.68059号 [24] Fink，M.，《在这里和那里的逻辑中，通过对抗模型在回答集编程中等价性的一般框架》，《理论与实践》。日志。程序。，11, 2-3, 171-202 (2011) ·Zbl 1218.68070号 [25] 文内肯斯，J。；Denecker，M。；Bruynooghe，M.，《CP-logic：因果概率事件及其与逻辑编程的关系》，理论与实践。日志。程序。，9, 3, 245-308 (2009) ·Zbl 1179.68025号 [26] Bochman，A.，《论析取因果推理和非决定论》，（非单调推理、行动和变化研讨会论文集（NRAC'03）（2003）），45-50 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。