×

兹马思-数学第一资源

本体与规则混合知识库的更新研究。(英语) Zbl 1344.68231
在过去的二十年里,对丰富的元数据进行了标准化的描述:在过去的二十年里,我们对互联网上的知识进行了标准化描述:本体语言基于经典逻辑和推理规则基于逻辑编程。两者都提供了知识表示的重要特性,最近人们对它们的集成感兴趣,从而形成了混合知识库由本体和规则组件组成。本文提出了混合知识的静态观点,而不是通常的静态观点动力学尤其关注更新. 我们开发了两种混合更新语义,以满足混合知识的特定用例的需要,并在特定的应用领域中提供了预期的结果。第一种语义使用给定的本体更新算子来更新混合知识库的本体组件在静态规则存在的情况下. 受实际应用的启发,基于分裂,从逻辑编程中知道,第二个语义提供了一种方法模块化组合具有规则更新语义的本体更新操作符。它可以用于执行由本体和规则层组成的混合知识库的更新,这些知识库通过基于规则的接口共享信息。
这两个发展都是对混合知识库有限类的混合更新问题的解决方案。我们研究了它们的基本形式属性,并表明尽管它们背后的思想不同,它们彼此完全兼容,即当两者都适用时,它们会产生相同的结果。

理学硕士:
68T30型 知识表示
68N17 逻辑程序设计
68T27型 人工智能中的逻辑
软件:
诺尔
PDF格式 双歧杆菌 XML 引用
全文: 内政部
参考文献:
[1] Alberti,M.;Gomes,A.S.;Gonsçalves,R.;Leite,J.;Slota,M.《以混合知识库为代表的规范性系统》(Leite,J.;Torroni,P.;gotnes,T.;Boella,G.;van der Torre,L.《多智能体系统中的计算逻辑——第12届国际研讨会论文集》,CLIMA XII,西班牙巴塞罗那,2011年7月17日至18日,演讲稿计算机科学,第6814卷,(2011),斯普林格,330-346·Zbl 1348.68252
[2] Alberti,M.;Knorr,M.;Gomes,A.S.;Leite,J.;Gonçalves,R.;Slota,M.,《规范性系统需要混合知识库》,(van der Hoek,W.;Padgham,L.;Conitzer,V.;Winikoff,M.,《自主代理和多智能体系统国际会议》,AAMAS 2012年,西班牙瓦伦西亚,2012年6月4日至8日(3卷),(2012年),Ifamas),1425-1426年
[3] Alchourrón,C.E.;Gärdenfors,P.;Makinson,D.,《论理论变化的逻辑:部分满足收缩和修正函数》,J.Symb。日志,50,2510-530,(1985年)·Zbl 0578.03011
[4] Alferes,J.J.;Pereira,L.M.,《更新程序可以更新程序》,(Dix,J.;Pereira,L.M.;Przymusinski,T.C.,NMELP'96《逻辑编程的非单调扩展选文》,Bad Honnef,德国,1996年9月5日至6日,计算机科学课堂讲稿,第1216卷,(1996年),Springer),110-131
[5] Alferes,J.J.;Leite,J.A.;Pereira,L.M.;Przymusinska,H.;Przymusinski,T.C.,动态逻辑编程,(Cohn,A.G.;Schubert,L.K.;Shapiro,S.C.,《第六届知识表示和推理原则国际会议论文集》,KR'98,意大利特伦托,1998年6月2日至5日,(1998年),摩根考夫曼),98-111
[6] Alferes,J.J.;Leite,J.A.;Pereira,L.M.;Przymusinska,H.;Przymusinski,T.C.,《非单调知识库的动态更新》,J.Log。程序,45,1-3,43-70,(2000年9月/10月)
[7] Alferes,J.J.;Banti,F.;Brogi,A.;Leite,J.A.,《动态逻辑编程语义的精化扩展原理》,Stud。日志,79,1,7-32,(2005)·Zbl 1101.68862
[8] Alferes,J.J.;Knorr,M.;Swift,T.,《混合MKNF知识库的查询驱动过程》,ACM Trans。计算机。日志,14,2,16,(2013年)·Zbl 1353.68271
[9] Andréka,H.;van Bentham,J.;Némati,I.,《模态语言和谓词逻辑的有界片段》,J.Philos。日志,27,217-274,(1998年)·Zbl 0919.03013
[10] Baader,F.;Brandt,S.;Lutz,C.,《推动EL信封》,(Kaelbling,L.P.;Saffiotti,A.,《第19届国际人工智能联合会议论文集》,IJCAI-05,爱丁堡,苏格兰,英国,2005年7月30日至8月5日,(2005年),专业图书中心),364-369
[11] (Baader,F.;Calvanese,D.;McGuinness,D.L.;Nardi,D.;Patel Schneider,P.F.,《描述逻辑手册:理论、实现和应用》(2007年),剑桥大学出版社)·Zbl 1132.68055
[12] Babb,J.;Lee,J.,稳定模型一般理论的模定理,理论实践。日志。计划,12,4-5,719-735,(2012年)·Zbl 1261.68037
[13] Banti,F.;Alferes,J.J.;Brogi,A.;Hitzler,P.,《多维动态逻辑程序的良好支持语义》(Baral,C.;Greco,G.;Leon,N.;Terracina,G.,《第八届逻辑编程和非单调推理国际会议论文集》,LPNMR 2005,意大利Diamante,2005年9月5日至8日,计算机科学课堂讲稿,第3662卷,(2005),斯普林格,356-368·Zbl 1152.68398
[14] Bonatti,P.,用无限稳定模型推理,人工制品。国际期刊,15675-111,(2004)·Zbl 1085.68681
[15] Bong,Y.,描述逻辑abox更新问题再探讨,(2007年2月),德国德累斯顿理工大学硕士论文
[16] Brewka,G.,《面向反应性多上下文系统》,(Cabalar,P.;Son,T.C.,逻辑编程和非单调推理,第12届国际会议,LPNMR 2013,计算机科学讲座笔记,第8148卷,(2013),Springer),1-10·Zbl 1405.68374
[17] Brewka,G.;Eiter,T.,《异质非单调多背景系统中的平衡》,《第22届AAAI人工智能会议论文集》,加拿大不列颠哥伦比亚省温哥华,2007年7月22日至26日,(2007年),AAAI出版社,385-390
[18] Brewka,G.;Eiter,T.;Fink,M.;Weinzierl,A.,《管理的多上下文系统》(Walsh,T.,IJCAI,(2011),IJCAI/AAAI),786-791
[19] Brewka,G.;Ellmouthaler,S.;Pührer,J.,《动态环境中反应性推理的多上下文系统》(Schaub,T.;Friedrich,G.;O'Sullivan,B.,ECAI 2014-第21届欧洲人工智能大会,人工智能与应用前沿,第263卷,(2014),IOS出版社),159-164·Zbl 1366.68280
[20] Buccafurri,F.;Faber,W.;Leone,N.,《带继承的析取逻辑程序》(Schreye,D.D.,《1999年逻辑程序设计国际会议论文集》,ICLP 1999年,美国新墨西哥州拉斯克鲁斯,1999年11月29日至12月4日,(1999年),麻省理工学院出版社),79-93
[21] Calvanese,D.;Kharlamov,E.;Nutt,W.;Zheleznyakov,D.,《DL-lite知识库的演变》,(Patel-Schneider,P.F.;Pan,Y.;Hitzler,P.;Mika,P.;Zhang,L.;Pan,J.Z.;Horrocks,I.;Glimm,B.,《国际语义网络会议(1)》,中国上海,2010年11月7日至11日,《计算机科学讲座笔记》,第6496卷,(2010),Springer),112-128年
[22] Colmerauer,A.;Kanoui,H.;Roussel,P.;Pasero,R.,《法国通信机器联合国系统》(1973年),艾克斯-马赛第二大学,技术报告
[23] Costa,N.;Knorr,M.;Leite,J.,《nohr的下一步:OWL 2 QL》,(Arenas,M.;Corcho,O.;Simperl,E.;Strohmaier,M.;d'Aquin,M.;Srinivas,K.;Groth,P.;Dumontier,M.;Heflin,J.;Thirunarayan,K.;Staab,S.《语义网-ISWC 2015-第14届国际语义网会议》,美国宾夕法尼亚州伯利恒,2015年10月11日至15日,《计算机科学讲座笔记》(2015年)
[24] Dalal,M.,《知识库修正理论的调查》,(第七届全国人工智能会议论文集,AAAI 1988,St.Paul,MN,USA,1988年8月21-26日,(1988年),AAAI出版社/麻省理工学院出版社),475-479
[25] de Bruijn,J.;Pearce,D.;Polleres,A.;Valverde,A.,《混合知识库的语义框架》,Knowl。《信息系统》,25,1,81-104,(2010年)
[26] de Bruijn,J.;Eiter,T.;Polleres,A.;Tompits,H.《将非地面逻辑程序嵌入到知识库组合的自认知逻辑中》,ACM Trans。计算机。日志,12,3,20,(2011)·Zbl 1351.68273
[27] De Giacomo,G.;Lenzerini,M.;Poggi,A.;Rosati,R.,《实例级描述逻辑本体论的更新》,《第21届全国人工智能大会暨第18届人工智能创新应用大会论文集》,美国马萨诸塞州波士顿,2006年7月16日至20日,(2006年),AAAI出版社)
[28] De Giacomo,G.;Lenzerini,M.;Poggi,A.;Rosati,R.,《描述逻辑中实例级更新和删除的近似》(第22届AAAI人工智能会议论文集,2007年AAAI大会,加拿大不列颠哥伦比亚省温哥华,2007年7月22日至26日,(2007年),AAAI出版社),403-408
[29] De Giacomo,G.;Lenzerini,M.;Poggi,A.;Rosati,R.,《描述逻辑本体论中的实例级更新和删除》,J.Log。计算机,19,5745-770,(2009年)·Zbl 1181.68274号
[30] 德尔格兰德,J.P.,《在答案集语义下修改逻辑程序的程序级方法》,第26届国际逻辑程序设计会议(ICLP'10),理论与实践。日志。计划,10,4-6,565-580,(2010年7月),(特刊)
[31] Delgrande,J.P.;Schaub,T.;Tompits,H.,《基于偏好的逻辑程序更新框架》(Baral,C.;Brewka,G.;Schlipf,J.S.,《第九届逻辑编程和非单调推理国际会议论文集》,LPNMR 2007,坦佩,亚利桑那州,美国,2007年5月15日至17日,《计算机科学讲座笔记》,第4483卷,(2007年),斯普林格,71-83年·Zbl 1149.68328
[32] Delgrande,J.P.;Schaub,T.;Tompits,H.;Woltran,S.,《答案集语义下逻辑程序的信念修正》(Brewka,G.;Lang,J.,《知识表示与推理原理:第十一届国际会议论文集》,KR'08,(2008),AAAI出版社,411-421
[33] Delgrande,J.P.;Schaub,T.;Tompits,H.;Woltran,S.,《答案集编程中信念变化的模型理论方法》,ACM Trans。计算机。日志,14,2,14,(2013)·Zbl 1353.68261
[34] Dix,J.,《正常逻辑程序语义的分类理论:I.强属性》,Fundam。通知,22,3,227-255,(1995)·Zbl 0829.68021
[35] Doherty,P.;Lukaszewicz,W.;Madalinska Bugaj,E.《PMA和相对化最小变化的行动更新》,(Cohn,A.G.;Schubert,L.K.;Shapiro,S.C.,《第六届知识表示和推理原则国际会议论文集》,KR'98,意大利特伦托,1998年6月2日至5日,(1998年),Morgan Kaufmann),258-269
[36] Drescher,C.;Liu,H.;Baader,F.;Steinke,P.;Thielscher,M.,《将abox更新付诸行动》,《第八届IJCI非本体推理、行动与变革国际研讨会论文集》,NRAC-09,(2009年)·Zbl 1193.68233
[37] Eiter,T.;Fink,M.;Sabbatini,G.;Tompits,H.《基于因果排斥的更新序列的性质》,理论实践。日志。程序,2,6,721-777,(2002年)
[38] Eiter,T.;Ianni,G.;Schindlauer,R.;Tompits,H.,《答案集编程中高阶推理和外部评估的统一集成》,(Kaelbling,L.P.;Saffiotti,A.,《第19届国际人工智能联合会议论文集》,IJCAI-05,爱丁堡,苏格兰,英国,2005年7月30日至8月5日,(2005年),专业版图书中心),90-96
[39] Forbus,K.D.,《将行为引入定性模拟》(Sridharan,N.S.,第11届国际人工智能联席会议论文集,1989年8月,美国密歇根州底特律,1989年8月,(1989年),摩根考夫曼),1273-1278·Zbl 0718.68099
[40] Gärdenfors,P.,《信念修正:导论》(1992年),剑桥大学出版社,1-28
[41] Gelder,A.V.;Ross,K.A.;Schlipf,J.S.,《通用逻辑程序的良好基础语义》,J.ACM,38,3620-650,(1991)·Zbl 0799.68045
[42] Gelfond,M.;Lifschitz,V.,《逻辑编程的稳定模型语义》(Kowalski,R.A.;Bowen,K.A.,《第五届逻辑编程国际会议和研讨会论文集》,ICLP/SLP 1988,西雅图,华盛顿,1988年8月15日至19日,(1988年),麻省理工学院出版社,1070-1080
[43] Gelfond,M.;Lifschitz,V.,《逻辑程序和析取数据库中的经典否定》,新一代。计算机,9,3-4,365-385,(1991年)·Zbl 0735.68012
[44] Gomes,S.;Alferes,J.;Swift,T.,《混合MKNF知识库查询应答的目标导向实现》,《理论与实践》。日志。计划,14,2,239-264,(2014年)·Zbl 1286.68427
[45] Gonçalves,R.;Knorr,M.;Leite,J.,《进化的多上下文系统》,(Schaub,T.;Friedrich,G.;O'Sullivan,B.,ECAI 2014-第21届欧洲人工智能会议,人工智能与应用前沿,第263卷,(2014),IOS出版社),375-380·Zbl 1366.68305
[46] 汉森,S.O.,颠倒列维身份,J.Philos。日志,22,6,637-669,(1993年12月)
[47] Hegner,S.J.,更新不完整信息数据库程序的规范和实施,(Vardi,M.Y.,第六届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集》,PODS'87,(1987),ACM),146-158
[48] Herzig,A.,《重新审视PMA》,(Aiello,L.C.;Doyle,J.;Shapiro,S.C.,《第五届知识表示和推理原则国际会议论文集》,KR'96,美国马萨诸塞州剑桥,1996年11月5日至8日,(1996年),Morgan Kaufmann),40-50
[49] Herzig,A.,《完整性约束下的更新》,(Delgrande,J.P.;Lang,J.;Rott,H.;Tallon,J.-M.,《理性代理人的信念变化:来自人工智能、哲学和经济学的视角》,2005年8月7日至12日,达格斯图尔研讨会论文集,第05321卷,(2005年),德国达格斯图尔国际足球俱乐部)
[50] Herzig,A.;Rifi,O.,《更新操作:回顾》(Prade,H.,《第13届欧洲人工智能会议论文集》,ECAI'98,英国布莱顿,1998年8月23日至28日,(1998年),John Wiley and Sons),第13-17页
[51] Herzig,A.;Rifi,O.,《命题信念基础更新与最小变化》,人工制品。国际期刊,11510107-138,(1999)·Zbl 0939.68852
[52] Hitzler,P.;Parsia,B.,《本体论和规则》(Staab,S.;Studer,R.,《本体论手册》,《信息系统国际手册》(2009年),斯普林格-柏林),111-132
[53] Ivanov,V.;Knorr,M.;Leite,J.,《具有非单调规则的\(\mathcal{EL}\)的查询工具,(Alani,H.;Kagal,L.;Fokoue,A.;Groth,P.T.;Biemann,C.;Parreira,J.X.;Aroyo,L.;Noy,N.F.;Welty,C.;Janowicz,K.,《第12届国际语义网络会议记录》(ISWC'13),第一部分,《计算机科学课堂讲稿》,第8218卷,(2013年),斯普林格出版社,216-231
[54] Janhunen,T.;Oikarinen,E.;Tompits,H.;Woltran,S.,《析取稳定模型的模块化方面》,J.Artif。因特尔。第35813-857号决议(2009年)·Zbl 1192.68129
[55] Kaminski,T.;Knorr,M.;Leite,J.,《基于本体论和规则的高效次一致推理》(Yang,Q.;Wooldridge,M.,《第二十四届人工智能联合会议论文集》,IJCAI 2015,阿根廷布宜诺斯艾利斯,2015年7月25日至31日,(2015年),AAAI出版社,3098-3105
[56] Katsuno,H.;Mendelzon,A.O.,关于更新知识库和修改知识库之间的区别,(Allen,J.F.;Fikes,R.;Sandwell,E.,《第二届知识表示和推理原则国际会议论文集》,KR'91,马萨诸塞州剑桥,1991年4月22日至25日,(1991年),摩根考夫曼出版社,387-394·Zbl 0765.68197
[57] Keller,A.M.;Winslett,M.,《关于使用扩展关系模型来处理不断变化的不完整信息》,IEEE Trans。软。工程学,11,7,620-633,(1985年)
[58] Kharlamov,E.;Zheleznyakov,D.;Calvanese,D.,《在实例级别捕获基于模型的本体论演化:DL-lite的案例》,J.Comput。系统。《科学》,79,6835-872,(2013年)·Zbl 1307.68078号
[59] Knorr,M.;Alferes,J.J.;Hitzler,P.,《良好基础语义下的局部封闭世界推理与描述逻辑》,人工制品。国际期刊,1759-101528-1554,(2011)·Zbl 1225.68249
[60] Knorr,M.;Leite,J.;Slota,M.;Homola,M.,“如果没有混合推理机,该怎么办?”?多上下文系统中的混合MKNF。2013年第32-1期
[61] 《作为程序设计语言的谓词逻辑》,(IFIP大会,(1974年)),569-574
[62] Krötzsch,M.;Rudolph,S.;Hitzler,P.,《描述逻辑规则》(Ghallab,M.;Spyropoulos,C.D.;Fakotakis,N.;Avouris,N.,《第18届欧洲人工智能会议论文集》,2008年7月,希腊帕特拉斯,2008年7月,(2008年),IOS出版社),80-84
[63] P、 Krümpelmann,G.Kern Isberner,扩展逻辑程序依赖关系的信念动力学,载:第13届非单调推理国际研讨会论文集,加拿大多伦多,2010年5月。
[64] Lee,J.;Palla,R.,《在一阶稳定模型语义中整合规则和本体论(初步报告)》(Delgrande,J.P.;Faber,W.,《逻辑编程和非单调推理——第11届国际会议》,LPNMR 2011,计算机科学讲稿,第6645卷,(2011年),Springer),248-253页·Zbl 1327.68065
〔65〕 Leite,J.A.,进化知识库,人工智能与应用的前沿,第81卷,(2003年),IOS出版社,xviii + 307页,精装·Zbl 1056.68138
[66] Leite,J.A.;Pereira,L.M.,《概括更新:从模型到程序》,(Dix,J.;Pereira,L.M.;Przymusinski,T.C.,《第三届逻辑编程和知识表示国际研讨会论文集》,LPKR'97,杰斐逊港,美国纽约,1997年10月17日,《计算机科学讲座笔记》,第1471卷,(1997年),斯普林格,224-246号
[67] Lenzerini,M.;Savo,D.F.,《DL-lite知识库实例级的演化》(Rosati,R.;Rudolph,S.;Zakharyaschev,M.,《第24届描述逻辑国际研讨会论文集》,第2011年第DL期,西班牙巴塞罗那,2011年7月13-16日,CEUR研讨会论文集,第745卷,(2011年))
[68] Lifschitz,V.,情境空间中的框架,人工制品。国际期刊,46,3,365-376,(1990年)·Zbl 0743.68122
〔69〕 Lifschitz,V.,非单调数据库和认知查询,(第12届国际人工智能联席会议论文集,1991年),第381-386页·Zbl 0747.68086
[70] Lifschitz,V.,《最小信念与失败的否定》,人工制品。国际,70,1-2,53-72,(1994年)·Zbl 0820.03016
[71] Lifschitz,V.;Turner,H.,《拆分逻辑程序》(Hentenryck,P.V.,《第11届逻辑程序设计国际会议论文集》,ICLP 1994,Santa Margherita Ligure,意大利,1994年6月13日至18日,(1994年),麻省理工学院出版社,23-37
[72] Lifschitz,V.;Pearce,D.;Valverde,A.,强等效逻辑程序,ACM Trans。计算机。日志,2,4,526-541,(2001年)·Zbl 1365.68149
[73] Liu,H.;Lutz,C.;Miličić,M.;Wolter,F.《更新描述逻辑aboxes》,(Doherty,P.;Mylopoulos,J.;Welty,C.A.,《第十届知识表示和推理原则国际会议论文集》,KR'06,英国湖区,2006年6月2日至5日,(2006年),AAI出版社),46-56
[74] 《逻辑程序设计基础》(1987),施普林格·Zbl 0547.68005
[75] Makinson,D.,《累积推理的一般理论》,(Michael,R.;De Kleer,J.;Ginsberg,M.L.;Sandwell,E.,《第二届非单调推理国际研讨会论文集》,NMR'88,Grassau,FRG,1988年6月13-15日,计算机科学课堂讲稿,第346卷,(1988年),Springer),1-18页
[76] Marek,V.W.;Truszczynski,M.,修订编程,理论。计算机。《科学》第190卷第241-277页,(1998年)·Zbl 0893.68054
[77] Motik,B.;Rosati,R.,《协调描述逻辑和规则》,J.ACM,57,5,93-154,(2010)·Zbl 1327.68257
[78] Osorio,M.;Cuevas,V.,《答案集编程的更新:基于基本结构属性的方法》,理论实践。日志。程序,7,4,451-479,(2007年)·Zbl 1120.68037
[79] Papadimitriou,C.,计算复杂性,(1994),Addison-Wesley·邮政编码:0833.68049
[80] Sakama,C.;Inoue,K.,《计算知识库更新的诱因性框架》,理论实践。日志。程序,3,6,671-713,(2003年)·Zbl 1085.68545
[81] Scott,D.,《两个变量中句子有效性的判定方法》,J.Symb。日志,27,(1962年)
[82] 《静态和动态语义学:初步报告》,(墨西哥人工智能国际会议,(2011年)),第36-42页
[83] Slota,M.;Leite,J.,《将稳定模型与信念更新相结合》,《第13届非单调推理国际研讨会论文集》,2010年(2010年)
[84] 斯洛塔,M.;莱特,J.,《动态开放世界中的封闭世界推理》,第26届国际逻辑编程会议论文集(ICLP'10),理论实践。日志。计划,10,4-6,547-564,(2010年),(特刊)·Zbl 1209.68099
[85] Slota,M.;Leite,J.,《答案集程序的语义更新运算符》(Coelho,H.;Studer,R.;Wooldridge,M.,《第19届欧洲人工智能会议论文集》,ECAI 2010,里斯本,葡萄牙,2010年8月16日至20日,《人工智能与应用前沿》,第215卷,(2010年),IOS出版社),957-962·Zbl 1211.68426
[86] Slota,M.;Leite,J.,《规则与SE模型之间的反复》(Delgrande,J.P.;Faber,W.,《第11届逻辑编程和非单调推理国际会议论文集》,LPNMR-11,加拿大温哥华,2011年5月16-19日,《计算机科学课堂讲稿》,第6645卷,(2011年),Springer),174-186·Zbl 1327.68071
[87] Slota,M.;Leite,J.,《答案集程序语义更新的鲁棒等价模型》,(Brewka,G.;Eiter,T.;McIlraith,S.A.,第十三届知识表示和推理原则国际会议论文集》,KR 2012,意大利罗马,2012年6月10日至14日,(2012年),AAAI出版社),158-168
[88] Slota,M.;Leite,J.,《知识更新的统一视角》,(del Cerro,L.F.;Herzig,A.;Mengin,J.,《第十三届欧洲人工智能逻辑会议论文集》,JELIA 2012,图卢兹,法国,2012年9月26日至28日,《人工智能逻辑》(LNAI),第7519卷,(2012年),斯普林格),372-384·68ZB2688升
[89] Slota,M.;Leite,J.,《答案集编程中的一系列更新的浓缩》(Rossi,F.,《第23届国际人工智能联合会议论文集》,IJCAI'13,(2013),IJCAI/AAAI),1097-1103
[90] Slota,M.;Leite,J.,《基于SE模型的语义规则更新的兴衰》,《理论与实践》。日志。计划,146869-907,(2014年)·Zbl 1302.68254
[91] Slota,M.;Leite,J.;Swift,T.,《混合知识库的拆分与更新》,第27届逻辑程序设计国际会议论文集(ICLP'11),理论与实践。日志。计划,11,4-5,801-819,(2011年),(特刊)·Zbl 1218.68165
[92] Turner,H.,《分裂缺省理论》,(第13届全国人工智能大会和第8届人工智能创新应用会议论文集》,AAAI 96,IAAI 96,俄勒冈州波特兰,1996年8月4日至8日,第1卷,(1996年),AAAI出版社/麻省理工学院出版社),645-651
[93] Turner,H.,《强等价性变得容易:嵌套表达式和权重约束》,理论实践。日志。程序,3,4-5,609-622,(2003年)·Zbl 1079.68017
[94] Wang,Y.;Zhang,Z.;Wang,K.,《非单调多语境系统中的信念变化》,(Cabalar,P.;Son,T.C.,LPNMR,《计算机科学课堂讲稿》,第8148卷,(2013年),Springer),543-555·Zbl 1405.68380号
[95] Winslett,M.,《使用可能的模型方法推理行为》(第七届全国人工智能会议论文集,AAAI 1988,明尼苏达州圣保罗,美国,1988年8月21-26日,(1988年),AAAI出版社/麻省理工学院出版社),89-93
[96] 温斯莱特,M.,更新逻辑数据库,(1990),剑桥大学出版社,纽约,美国·Zbl 0728.68053
[97] Zhang,Y.,基于逻辑程序的更新,ACM Trans。计算机。日志,7,3,421-472,(2006年)·Zbl 1367.68045
[98] Zhang,Y.;Foo,N.Y.,《表示逻辑程序更新的统一框架》,(Veloso,M.M.;Kambhampati,S.,《第20届全国人工智能会议论文集》,美国宾夕法尼亚州匹兹堡,2005年7月9日至13日,(2005年),AAI出版社/麻省理工学院出版社),707-713
此参考列表基于出版商或数字数学图书馆提供的信息。它的数学和标识符可能包含启发式匹配的数据项。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。