×

兹马思-数学第一资源

ASP中的遗忘:遗忘属性。(英语) Zbl 06658185号
Michael,Loizos(编辑)等,《人工智能中的逻辑》。第15届欧洲会议,JELIA 2016,塞浦路斯拉纳卡,2016年11月9日至11日。诉讼程序。查姆:斯普林格(ISBN 978-3-319-48757-1/pbk;978-3-319-48758-8/电子书)。计算机科学讲义10021。人工智能课堂讲稿,543-550(2016年)。
摘要:近年来,在答案集编程(ASP)中,人们提出了许多遗忘的方法,这些方法都是以特定的算子或算子类的形式,遵循不同的原理,遵循不同的性质。最近出版的一份对现有运营商和房地产的全面概述提供了一个统一的景观图,包括许多关于物业和运营商之间关系的新颖(甚至令人惊讶)结果。然而,这篇综述在很大程度上遗漏了Wong提出的一个额外的遗忘属性集,本文旨在弥补这一差距。结果表明,虽然这些性质中的一些与先前研究的性质密切相关,但其中四个性质不同,提供了新颖的结果和见解,进一步加强了现有运算符之间的既定关系。
整个系列请参见[Zbl 1350.68015].
理学硕士:
68T27型 人工智能中的逻辑
软件:
诺尔;钾肥
PDF格式 双歧杆菌 XML 引用
全文: 内政部
参考文献:
[1] Lin,F.,Reiter,R.:如何开发数据库。人工制品。因特尔。92(1-2),131-167(1997年)·Zbl 1017.68510·doi:10.1016/S0004-3702(96)00044-6
[2] Rajaratnam,D.,Levesque,H.J.,Pagnucco,M.,Thielscher,M.:行动中的遗忘。In:Baral,C.,Giacomo,G.D.,Eiter,T.(编辑),《KR.AAAI出版社论文集》(2014)
[3] Lang,J.,Liberatore,P.,Marquis,P.:命题独立性:公式变量独立性和遗忘。J、 人工制品。因特尔。(JAIR)第18391-443号决议(2003年)·Zbl 1056.68112
[4] 张勇,傅,纽约:通过强遗忘和弱遗忘解决逻辑程序冲突。人工制品。因特尔。170(8-9),739-778(2006年)·Zbl 1131.68037·doi:10.1016/j.artint.2006.02.002
[5] Eiter,T.,Wang,K.:答案集编程中的语义遗忘。人工制品。因特尔。172(14),1644–1672(2008年)·Zbl 1184.68159·doi:10.1016/j.artint.2008.05.002
[6] Kontchakov,R.,Wolter,F.,Zakharyaschev,M.:基于逻辑的本体比较和模块提取,以及在DL-Lite上的应用。人工制品。因特尔。174(15),1093–1141(2010年)·Zbl 1238.68154·doi:10.1016/j.artint.2010.06.003
[7] Konev,B.,Lutz,C.,Walther,D.,Wolter,F.:描述逻辑本体论的模型论不可分离性和模块化。人工制品。因特尔。20366-103(2013年)·Zbl 1329.68248·doi:10.1016/j.artint.2013.07.004
[8] Larrosa,J.,Morancho,E.,Niso,D.:关于变量消去在约束优化问题中的实际应用:“静物”作为一个案例研究。J、 人工制品。因特尔。第(JAIR)23421-440号决议(2005年)·Zbl 1081.90074
[9] Alferes,J.,Leite,J.,Pereira,L.M.,Przymusinska,H.,Przymusinski,T.:非单调知识库的动态更新。J、 日志。程序。45(1-3),43-70(2000年)·Zbl 0957.68108·doi:10.1016/S0743-1066(99)00065-5
[10] Eiter,T.,Fink,M.,Sabbatini,G.,Tompits,H.:基于因果拒绝的更新序列的性质。理论。实践。日志。程序。(TPLP)2(6),721–777(2002年)·Zbl 1105.68326
[11] 莱特,J.A.:进化知识库。人工智能与应用的前沿,xviii+307页。精装本,第81卷。IOS出版社(2003)·Zbl 1056.68138
[12] 斯洛塔,M.,莱特,J.:知识更新的统一视角。作者:del Cerro,L.F.,Herzig,A.,Mengin,J.(编辑),JELIA 2012年。LNCS,第7519卷,第372-384页。斯普林格,海德堡(2012)·68ZB2688升·doi:10.1007/978-3-642-33353-8_29
[13] 黄K.S.:逻辑程序中的遗忘,博士论文。新南威尔士大学(2009)
[14] Wang,Y.,Wang,K.,Zhang,M.:重温忘记答案集程序。在:罗西,F.(编辑)会议记录。IJCAI/AAAI(2013年)
[15] Knorr,M.,Alferes,J.J.:在遗忘的同时保持强等价性。摘自:Fermé,E.,Leite,J.(编辑),JELIA 2014年。LNCS,第8761卷,第412-425页。斯普林格,海德堡(2014)·Zbl 1432.68059·doi:10.1007/978-3-319-11558-0_29
[16] Wang,Y.,Zhang,Y.,Zhou,Y.,Zhang,M.:答案集编程中的知识遗忘。J、 人工制品。因特尔。第(JAIR)50号决议,第31-70号决议(2014年)·Zbl 1442.68228
[17] Delgrande,J.P.,Wang,K.:析取逻辑程序中语法无关的遗忘方法。在:Bonet,B.,Koenig,S.(编辑),《AAAI会议记录》,第1482-1488页。AAI出版社(2015)
[18] 张勇,周勇:知识遗忘:性质与应用。人工制品。因特尔。第173页(16-17页),第1525-1537页(2009年)·Zbl 1187.03015·doi:10.1016/j.artint.2009.07.005
[19] Gonçalves,R.,Knorr,M.,Leite,J.:ASP中遗忘的终极指南。摘自:Baral,C.,Delgrande,J.P.,Wolter,F.(编辑),《KR论文集》,第135-144页。AAI出版社(2016)
[20] Lifschitz,V.,Pearce,D.,Valverde,A.:强等价逻辑程序。ACM传输。计算机。日志。2(4),526–541(2001年)·Zbl 1365.68149·内政部:10.1145/383779.383783
[21] Lifschitz,V.,Tang,L.R.,Turner,H.:逻辑程序中的嵌套表达式。安。数学。人工制品。因特尔。第25卷第3-4页,第369-389页(1999年)·Zbl 0940.68075·doi:10.1023/A:1018978005636
[22] Cabalar,P.,Ferraris,P.:命题理论与逻辑程序有很强的等价性。TPLP 7(6),745–759(2007年)·Zbl 1132.68321
[23] Gonçalves,R.,Knorr,M.,Leite,J.:你不能总是忘记你想要的:答案集编程中遗忘的极限。摘自:Fox,M.S.,Kaminka,G.A.(编辑),《ECAI会议记录》。IOS出版社(2016)·Zbl 1403.68030
[24] Truszczynski,M.:命题理论的还原,可满足关系和逻辑程序语义的推广。人工制品。因特尔。174年(16-17年),1285-1306年(2010年)·Zbl 1209.68101·doi:10.1016/j.artint.2010.08.004
[25] Alferes,J.J.,Knorr,M.,Wang,K.:良好语义下的遗忘。In:Cabalar,P.,Son,T.C.(编辑)LPNMR 2013。LNCS,第8148卷,第36-41页。斯普林格,海德堡(2013)·Zbl 1405.68336·doi:10.1007/978-3-642-40564-8_4
[26] Knorr,M.,Alferes,J.J.,Hitzler,P.:良好语义下描述逻辑的局部封闭世界推理。人工制品。因特尔。175年(9月10日),1528年至1554年(2011年)·Zbl 1225.68249·doi:10.1016/j.artint.2011.01.007
[27] Gonçalves,R.,Alferes,J.J.:参数化逻辑编程。在:Janhunen,T.,NiemeläI.(编辑)JELIA 2010。LNCS,第6341卷,第182-194页。斯普林格,海德堡(2010)·Zbl 1306.68009·doi:10.1007/978-3-642-15675-5_17
[28] Slota,M.,Leite,J.,Swift,T.:关于由本体和规则组成的混合知识库的更新。人工制品。因特尔。22933–104(2015年)·Zbl 1344.68231·2015年7月10日
[29] Gonçalves,R.,Knorr,M.,Leite,J.:进化的多上下文系统。摘自:Schaub,T.,Friedrich,G.,O'Sullivan,B.(编辑),《ECAI会议记录》,第375-380页。IOS出版社(2014)·Zbl 1366.68305
[30] Brewka,G.,Ellmouthaler,S.,Pührer,J.:动态环境中反应性推理的多上下文系统。摘自:Schaub,T.,Friedrich,G.,O'Sullivan,B.(编辑),《ECAI会议记录》,第159-164页。IOS出版社(2014)·Zbl 1366.68280
[31] Gebser,M.,Kaufmann,B.,Kaminski,R.,Ostrowski,M.,Schaub,T.,Schneider,M.T.:Potasco:波茨坦答案集求解集合。人工智能公社。第24卷第2期,第107-124页(2011年)·Zbl 1215.68214
[32] Ivanov,V.,Knorr,M.,Leite,J.:一个使用非单调规则的 \[ \mathcal EL \] 的查询工具。In:Alani,H.等人(编辑),ISWC 2013年。LNCS,第8218卷,第216-231页。斯普林格,海德堡(2013年)。doi:10.1007/978-3-642-41335-3_14·Zbl 06392574·doi:10.1007/978-3-642-41335-3_14
[33] Costa,N.,Knorr,M.,Leite,J.:NoHR的下一步:OWL 2 QL.In:Arenas,M.等人(编辑)ISWC 2015。LNCS,第9366卷,第569-586页。斯普林格,海德堡(2015)。doi:10.1007/978-3-319-25007-6·doi:10.1007/978-3-319-25007-6_33
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。