×

答案集编程中遗忘的极限。 (英语) Zbl 1493.68350号

摘要:在许多领域,包括知识表示和推理领域,选择性地遗忘信息,同时保留最重要的信息正变得越来越重要。根据手头的应用程序,遗忘操作符被定义为服从不同的期望属性集。事实证明,在答案集编程中,在遗忘的背景下讨论了无数可取的属性,坚持不懈它对程序遗忘前和遗忘后的答案集之间的对应施加了一定的条件,并且与未被遗忘的原子有一定的独立性,似乎最能抓住它的本质,并且总体上是可取的。然而,在遵守强持久性的同时,是否总是有可能忘记程序中的一组原子,这仍然是一个悬而未决的问题。本文研究了答案集编程中遗忘的极限。在证明了在遵循这一特性的同时,不可能总是忘记程序中的一组原子之后,我们继续前进,通过提出一个必要和充分的标准,精确地描述了程序中可以忘记和不能忘记的内容。这种特征化使我们能够得出关于特定类逻辑程序遗忘算子存在性的一些重要结论,以刻画遗忘算子类的特征,这些遗忘算子类可以在可能发生遗忘时获得正确的结果,并研究确定我们可以从特定逻辑程序中忘记什么的相关问题。随后,我们解决了当我们必须忘记一组原子,但不能不违反这个属性。为此,我们研究了当遗忘不违反强持续性是不可能的时,遗忘的三种自然替代方法,结果表明这三种方法对应于强持续性特征的不同自然可能放松。此外,在总结之前,我们讨论了计算复杂性问题,即根据我们引入的不同类别的遗忘算子,检查新标准是否成立,以及某个程序是否是结果,并讨论了相关文献。

MSC公司:

68立方英尺 知识表示
68N17号 逻辑编程

软件:

Potassco公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Gonçalves,R。;克诺尔,M。;Leite,J.,你不能总是忘记你想要什么:关于答案集编程中遗忘的极限,(Kaminka,G.A.;Fox,M.;Bouquet,P.;Hüllermier,E.;Dignum,V.;Dignom,F。;van Harmelen,F.,ECAI 2016-第22届欧洲人工智能会议,2016年8月29日至9月2日,荷兰海牙-包括著名的人工智能应用。ECAI 2016-第22届欧洲人工智能会议,2016年8月29日至9月2日,荷兰海牙-包括著名的人工智能应用,PAIS 2016(2016),IOS出版社,957-965·Zbl 1403.68030号
[2] 贡萨尔维斯,R。;克诺尔,M。;Leite,J。;Woltran,S.,《当你必须忘记:在答案集编程中忘记时超越强烈的持久性》,理论与实践。日志。程序。,17,5-6,837-854(2017),第33届逻辑编程国际会议论文集特刊·Zbl 1422.68022号
[3] 埃宾浩斯,H.,U.ber das Gedächtnis。《Untersuchungen zur实验者心理学》(1885),邓克与洪堡:邓克与汉堡莱比锡
[4] Shrestha,P.,《遗忘的意义和原因》,《心理学研究》(2017年11月17日)
[5] Davis,R.L。;Zhong,Y.,《遗忘的生物学——一个视角》,《神经元》,95,3,490-503(2017)
[6] 理查兹,B.A。;Frankland,P.W.,《记忆的持久性和短暂性》,《神经元》,94,6,1071-1084(2017)
[7] Kluge,A。;Gronau,N.,《组织中的有意遗忘:消除提取线索对实施新程序的重要性》,Front。心理医生。,01(2018年2月)
[8] 一般数据保护条例,Off.J.Eur.Union,L119/59(2016年5月)
[9] 拜尔勒,C。;Timm,I.J.,《有意遗忘:人工智能及其以外的新兴领域》,Künstl。智力。,33, 1, 5-8 (2019)
[10] 艾特,T。;克恩·伊斯伯纳(Kern-Isberner),G.,《从知识表征和推理角度对遗忘进行的简要调查》,Künstl。智力。,33, 1, 9-33 (2019)
[11] 林,F。;Reiter,R.,《如何处理数据库》,Artif。智力。,92, 1-2, 131-167 (1997) ·兹比尔1017.68510
[12] 刘,Y。;Wen,X.,《关于情境演算中知识的进步》(Walsh,T.,IJCAI 2011,第22届国际人工智能联合会议论文集。IJCAI2011,第二十二届国际人工智慧联合会议论文集中,西班牙加泰罗尼亚巴塞罗那,2011年7月16日至22日(2011),IJCIA/AAAI),976-982
[13] 拉贾拉特南,D。;莱维斯克,H.J。;Pagnucco,M。;Thielscher,M.,《行动中的遗忘》(Baral,C.;De Giacomo,G.;Eiter,T.,《知识表示和推理原则:第十四届国际会议论文集》,KR 2014,奥地利维也纳,2014年7月20日至24日(2014),AAAI出版社),498-507
[14] 朗·J。;利伯拉托雷,P。;Marquis,P.,《命题独立性:公式变量独立性和遗忘》,J.Artif。智力。决议,18,391-443(2003)·Zbl 1056.68112号
[15] Zhang,Y。;Foo,纽约,通过强弱遗忘解决逻辑程序冲突,Artif。智力。,170, 8-9, 739-778 (2006) ·Zbl 1131.68037号
[16] 艾特,T。;Wang,K.,《答案集编程中的语义遗忘》,Artif。智力。,172, 14, 1644-1672 (2008) ·Zbl 1184.68159号
[17] 朗·J。;Marquis,P.,《不一致性下的推理:基于遗忘的方法》,Artif。智力。,174、12-13、799-823(2010年)·Zbl 1206.68301号
[18] Delgrade,J.P。;Wang,K.,《析取逻辑程序中基于句法的遗忘方法》,(Bonet,B.;Koenig,S.,《第二十届AAAI人工智能会议论文集》,第二十届人工智能会议文献集,2015年1月25日至30日,美国德克萨斯州奥斯汀(2015),AAAI出版社),1482-1488
[19] 王,Z。;王凯。;托珀,R.W。;Pan,J.Z.,《忘记DL-lite中的知识库》,《数学年鉴》。Artif公司。智力。,58, 1-2, 117-151 (2010) ·Zbl 1205.68410号
[20] 康查科夫,R。;Wolter,F。;Zakharyaschev,M.,基于逻辑的本体比较和模块提取,以及dl-lite应用,Artif。智力。,174, 15, 1093-1141 (2010) ·Zbl 1238.68154号
[21] 科涅夫,B。;路德维希,M。;沃尔瑟,D。;Wolter,F.,轻量级描述逻辑的逻辑差异EL,J.Artif。智力。研究,44,633-708(2012)·Zbl 1253.68303号
[22] 科涅夫,B。;卢茨,C。;Walther,D。;Wolter,F.,《描述逻辑本体论的模型理论不可分割性和模块性》,Artif。智力。,203,66-103(2013)·Zbl 1329.68248号
[23] Gelfond,M。;Lifschitz,V.,《逻辑编程的稳定模型语义》(ICLP的Procs.of ICLP Procs.,Seattle,Washington(1988))
[24] Gelfond,M。;Lifschitz,V.,逻辑程序和析取数据库中的经典否定,新世代。计算。,9, 3-4, 365-385 (1991) ·Zbl 0735.68012号
[25] Gebser,M。;考夫曼,B。;卡明斯基,R。;奥斯特罗斯基,M。;Schaub,T。;Schneider Potassco,M.T.,Potsdam答案集求解集合,AI Commun。,24, 2, 107-124 (2011) ·Zbl 1215.68214号
[26] 塞拉利昂,北卡罗来纳州。;Pfeifer,G。;Faber,W。;艾特,T。;Gottlob,G。;佩里,S。;Scarcello,F.,《用于知识表示和推理的DLV系统》,ACM Trans。计算。日志。,7, 3, 499-562 (2006) ·Zbl 1367.68308号
[27] Lewis,C.I.,《符号逻辑概览》(1960),加利福尼亚大学出版社:多佛,再版
[28] 布莱索,W.W。;Hines,L.M.,《基于解析的不等式证明器中的变量消除和链接》,(Bibel,W.;Kowalski,R。A.,第五届自动扣除会议。1980年7月8日至11日,法国Les Arcs,第五届自动扣除会议,会议记录。第五届自动扣除会议。第五届自动扣除会议,法国莱斯阿尔茨,1980年7月8日至11日,LNCS,第87卷(1980),斯普林格出版社,70-87·Zbl 0438.68050号
[29] Larrosa,J.,通过变量消除提高搜索速度, (Dechter,R.,《约束编程的原则和实践——CP 2000》,第六届国际会议。约束编程的原理和实践——CP2000,第六次国际会议,新加坡,2000年9月18日至21日,会议记录。约束编程原则和实践-CP 2000,第6届国际会议,原则和实践约束编程实践——CP 2000,第六届国际会议,新加坡,2000年9月18日至21日,LNCS,第1894卷(2000),Springer),291-305·Zbl 1044.68777号
[30] Larrosa,J。;莫兰乔,E。;Niso,D.,《变量消除在约束优化问题中的实际应用:“静态生活”案例研究》,J.Artif。智力。Res.,23,421-440(2005)·Zbl 1081.90074号
[31] 米德尔多普,A。;奥库,S。;Ida,T.,《惰性收缩:强完整性和急切的变量消除》,Theor。计算。科学。,167, 1&2, 95-130 (1996) ·Zbl 0874.68157号
[32] Moinard,Y.,《用不同的命题符号遗忘文字》,J.Log。计算。,17, 5, 955-982 (2007) ·Zbl 1132.68053号
[33] 韦伯,A.,更新命题公式,(专家数据库系统,第一届国际会议论文集。专家数据库系统:第一届国际大会论文集,美国南卡罗来纳州查尔斯顿,1986年4月1日至4日(1986年)),487-500
[34] Gabbay,医学博士。;施密特,R.A。;Szalas,A.,《二阶量词消除:基础、计算方面和应用》(2008),大学出版物·Zbl 1165.03011号
[35] Alferes,J.J。;Leite,J.A。;佩雷拉,L.M。;Przymusinska,H。;Przymusinski,T.C.,非单调知识库的动态更新,J.Log。程序。,45, 1-3, 43-70 (2000) ·Zbl 0957.68108号
[36] 艾特,T。;芬克,M。;萨巴蒂尼,G。;Tompits,H.,《基于因果拒绝的更新序列特性》,理论与实践。日志。程序。,2, 6, 721-777 (2002)
[37] Sakama,C。;Inoue,K.,《计算知识库更新的诱因框架》,理论与实践。日志。程序。,3,6671-713(2003年)·Zbl 1085.68545号
[38] 斯洛塔,M。;Leite,J.,《应答程序语义更新的鲁棒等价模型》(Brewka,G.;Eiter,T.;McIlraith,S.)。《知识表示和推理原则:第十三届国际会议论文集》。《知识表示和推理原理:第十三届国际会议论文集》,KR 2012,意大利罗马,2012年6月10日至14日(2012),AAAI出版社),158-168
[39] 斯洛塔,M。;Leite,J.,《关于知识更新的统一观点》(del Cerro,L.F.;Herzig,A.;Mengin,J.),《人工智能中的逻辑——第十三届欧洲会议》。《人工智能的逻辑——欧洲第十三届会议》,JELIA 2012,法国图卢兹,2012年9月26日至28日。诉讼程序。人工智能中的逻辑——第13届欧洲会议。人工智能中的逻辑——第13届欧洲会议,JELIA 2012,法国图卢兹,2012年9月26-28日。《诉讼》,LNAI,第7519卷(2012年),施普林格出版社,372-384·Zbl 1362.68268号
[40] Delgrade,J.P。;Schaub,T。;托姆皮茨,H。;Woltran,S.,回答集编程中信念变化的模型理论方法,ACM Trans。计算。日志。,14, 2, 14 (2013) ·Zbl 1353.68261号
[41] 斯洛塔,M。;Leite,J.,基于se-models的语义规则更新的兴衰,理论与实践。日志。程序。,14, 6, 869-907 (2014) ·Zbl 1302.68254号
[42] Wong,K.S.,《逻辑程序中的遗忘》(2009),新南威尔士大学博士论文
[43] Wang,Y。;Zhang,Y。;周,Y。;张,M.,《强等价条件下逻辑程序中的遗忘》(Brewka,G.;Eiter,T.;McIlraith,S.)。《知识表示和推理原则:第十三届国际会议论文集》。《知识表示和推理原理:第十三届国际会议论文集》,KR 2012,意大利罗马,2012年6月10日至14日(2012),AAAI出版社),643-647
[44] Wang,Y。;王凯。;Zhang,M.,《忘记重温答案集程序》,(Rossi,F.,IJCAI 2013,第23届国际人工智能联合会议记录。IJCAI2013,第二十三届国际人工智慧联合会议记录,中国北京,2013年8月3-9日(2013),IJCIA/AAAI),1163-1168
[45] 克诺尔,M。;Alferes,J.J.,《在遗忘的同时保持强等价性》(Fermé,E.;Leite,J.,人工智能中的逻辑——第14届欧洲会议),人工智能逻辑——第十四届欧洲会议,JELIA 2014,Funchal,Madeira,葡萄牙,2014年9月24-26日。诉讼程序。人工智能中的逻辑——第14届欧洲会议。人工智能中的逻辑——第14届欧洲会议,JELIA 2014,Funchal,Madeira,葡萄牙,2014年9月24-26日。《法律程序》,LNCS,第8761卷(2014年),Springer),412-425·Zbl 1432.68059号
[46] Wang,Y。;Zhang,Y。;周,Y。;Zhang,M.,《答案集编程中的知识遗忘》,J.Artif。智力。决议,50,31-70(2014)·兹比尔1442.68228
[47] Zhang,Y。;周瑜,《知识遗忘:性质和应用》,Artif。智力。,173, 16-17, 1525-1537 (2009) ·Zbl 1187.03015号
[48] 黄铜,S。;Dix,J.,基于部分求值的(析取)逻辑程序语义,J.Log。程序。,40, 1, 1-46 (1999) ·Zbl 0946.68088号
[49] Gonçalves,R。;克诺尔,M。;Leite,J.,《答案集编程中遗忘的终极指南》(Baral,C.;Delgrand,J。;Wolter,F.,《知识表示和推理原则:第十五届国际会议论文集》。《知识表示和推理原理:第十五届国际会议论文集》,KR 2016,南非开普敦,2016年4月25日至29日(2016),AAAI出版社),135-144
[50] 艾特,T。;芬克,M。;Woltran,S.,《答案集编程中等价物的语义特征和复杂性》,ACM Trans。计算。日志。,8, 3, 1-53 (2007) ·兹比尔1367.68031
[51] Lifschitz,V。;Tang,L.R。;特纳,H.,《逻辑程序中的嵌套表达式》,《数学年鉴》。Artif公司。智力。,25, 3-4, 369-389 (1999) ·Zbl 0940.68075号
[52] Gelfond,M。;Lifschitz,V.,逻辑程序和析取数据库中的经典否定,新世代。计算。,9, 3-4, 365-385 (1991) ·Zbl 0735.68012号
[53] Heyting,A.,《逻辑直觉的形式规则》,Sitz.ber。普劳斯。阿卡德。威斯。物理学-数学。Kl.(1930年)·JFM 56.0823.01号机组
[54] 皮尔斯,D.,稳定推理作为直觉有效性,J.Log。程序。,38, 1, 79-91 (1999) ·Zbl 0911.68136号
[55] Lifschitz,V。;皮尔斯,D。;Valverde,A.,《强等效逻辑程序》,ACM Trans。计算。日志。,2, 4, 526-541 (2001) ·Zbl 1365.68149号
[56] Cabalar,P。;Ferraris,P.,命题理论与逻辑程序,理论实践有着很强的等价性。日志。程序。,7, 6, 745-759 (2007) ·Zbl 1132.68321号
[57] 艾特,T。;托姆皮茨,H。;Woltran,S.,《关于答案集编程中的解决方案通信》(Kaelbling,L.P。;Saffiotti,A.,IJCAI-05,第十九届国际人工智能联合会议论文集。IJCAI-05,《第十九届国际人工智能联合会议论文集》,2005年7月30日至8月5日,英国苏格兰爱丁堡(2005),专业图书中心),97-102
[58] 艾特,T。;芬克,M。;托姆皮茨,H。;Woltran,S.,《关于消除稳定逻辑编程中的析取》(Dubois,D.;Welty,C.A。;威廉姆斯,M.,《知识表示和推理原则:第九届国际会议论文集》。《知识表示和推理原理:第九届国际会议论文集》,KR2004,加拿大惠斯勒,2004年6月2-5日(2004),AAAI出版社),447-458
[59] 艾特,T。;芬克,M。;托姆皮茨,H。;Woltran,S.,在一致和强等价下简化逻辑程序,(Lifschitz,V。;《逻辑程序设计与非单调推理》,第七届国际会议。逻辑编程与非单调推理,第七届国际会议,LPNMR 2004,美国佛罗里达州劳德代尔堡,2004年1月6-8日,会议记录。逻辑程序设计与非单调推理,第七届国际会议。逻辑编程和非单调推理,第七届国际会议,LPNMR 2004,美国佛罗里达州劳德代尔堡,2004年1月6日至8日,LNCS,第2923卷(2004),Springer),87-99·Zbl 1122.68369号
[60] 艾特,T。;Gottlob,G.,《析取逻辑编程的计算成本:命题案例》,《数学年鉴》。Artif公司。智力。,15, 3-4, 289-323 (1995) ·兹比尔0858.68016
[61] Wong,K.S.,《SE序列的健全和完整推理规则》,J.Artif。智力。决议,31,205-216(2008)·Zbl 1183.68160号
[62] Delgrand,J.P.,《遗忘的知识层面解释》,J.Artif。智力。决议,60,1165-1213(2017)·Zbl 1423.68488号
[63] 阿瓜多,F。;卡巴拉,P。;范迪诺,J。;皮尔斯,D。;佩雷斯,G。;维达尔,C.,《忘记叉子中的辅助原子》,(博加特,B。;Harrison,A.,《第十届答案集编程和其他计算范式研讨会论文集》,与第十四届逻辑编程和非单调推理国际会议合办。与第十四届逻辑编程和非单调推理国际会议合办的第十届答案集编程和其他计算范式研讨会会议记录,ASPOCP@LPNMR2017年7月3日,芬兰埃斯波。第十届答案集编程和其他计算范式研讨会论文集,与第十四届逻辑编程和非单调推理国际会议同期举行。与第十四届逻辑编程和非单调推理国际会议合办的第十届答案集编程和其他计算范式研讨会会议记录,ASPOCP@LPNMR2017年,芬兰埃斯波,2017年7月3日,CEUR研讨会论文集,第1868卷(2017),CEUR-WS.org)·Zbl 1478.68338号
[64] 阿瓜多,F。;Cabalar,P。;范丁诺,J。;皮尔斯,D。;佩雷斯,G。;维达尔,C.,《忘记叉子中的辅助原子》,Artif。智力。,275, 575-601 (2019) ·Zbl 1478.68338号
[65] Lifschitz,V.,什么是答案集编程?,(Fox,D.;Gomes,C.P.,《第二十届AAAI人工智能会议论文集》,第二十届人工智能会议文献集,2008年,美国伊利诺伊州芝加哥,2008年7月13日至17日(2008),AAAI出版社),1594-1597
[66] Janhunen,T。;Oikarinen,E。;托姆皮茨,H。;Woltran,S.,《析取稳定模型的模块性方面》,J.Artif。智力。研究,35,813-857(2009)·Zbl 1192.68129号
[67] Gonçalves,R。;Janhunen,T。;克诺尔,M。;Leite,J。;Woltran,S.,忘记模块化答案集编程, (第三十三届AAAI人工智能会议,2019年AAAI,第三十届人工智能创新应用会议,2019IAAI,人工智能教育进步第九届AAAI-研讨会2019年国际人工智能学会(IAAI 2019),第九届美国人工智能学会人工智能教育进展研讨会,2019年美国夏威夷檀香山,2019(2019)年1月27日至2月1日,美国人工智能出版社,2843-2850
[68] Berthold,M。;Gonçalves,R。;克诺尔,M。;Leite,J.,《满足强持久性的遗忘句法操作符》,理论与实践。日志。程序。,19,5-6,1038-1055(2019)·Zbl 1434.68561号
[69] Truszczynski,M.,命题理论的约简,可满足关系,逻辑程序语义的推广,Artif。智力。,174, 16-17, 1285-1306 (2010) ·Zbl 1209.68101号
[70] Alferes,J.J。;克诺尔,M。;Wang,K.,《在根深蒂固的语义下遗忘》,(Cabalar,P.;Son,T.C.,《逻辑编程和非单调推理》,第十二届国际会议。《逻辑编程与非单调推理,第十二次国际会议》,LPNMR 2013,西班牙科伦纳,2013年9月15日至19日。诉讼程序。逻辑程序设计与非单调推理,第12届国际会议。逻辑编程和非单调推理,第十二届国际会议,LPNMR 2013,西班牙科伦纳,2013年9月15日至19日。《法律程序》,LNCS,第8148卷(2013),Springer),第36-41页·Zbl 1405.68336号
[71] Gelder,A.V。;Ross,K.A。;Schlipf,J.S.,《通用逻辑程序的良好语义》,J.ACM,38,3,620-650(1991)·Zbl 0799.68045号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。