马丁·斯洛塔;约昂·莱特;特蕾莎·斯威夫特 由本体和规则组成的混合知识库的更新。 （英文） Zbl 1344.68231号 Artif公司。智力。 229, 33-104 (2015). 摘要：在过去十年中，两种不同的知识表示范式已经标准化，以在Web上捕获丰富的元数据：本体语言基于经典逻辑和推理规则基于逻辑编程。两者都为知识表示提供了重要的功能，对它们的集成的兴趣最近导致了以下框架：混合知识库其由本体和规则组件组成。在本文中，我们不是通常的混合知识静态视图，而是动力学并特别关注更新。我们开发了两种混合更新语义，它们适合混合知识的特定用例的需求，并在特定应用领域中使用时提供预期结果。第一种语义使用给定的本体更新操作符更新混合知识库的本体组件在静态规则存在的情况下受实际应用的启发，基于分裂第二种语义提供了一种模块化联合具有规则更新语义的本体更新操作符。它可以用于执行由本体和规则层组成的混合知识库的更新，这些知识库通过基于规则的接口共享信息。这两个发展都为有限类混合知识库的混合更新问题提供了解决方案。我们检查了它们的基本形式属性，并表明，尽管它们背后的思想不同，但它们彼此完全兼容，即当两者都适用时，它们会导致相同的结果。 引用于4文件 MSC公司： 68立方英尺 知识表示 68N17号 逻辑编程 68T27型 人工智能中的逻辑 关键词：混合知识库;本体;描述逻辑;逻辑程序;规则;稳定模型;答案集;信仰改变;更新 软件：无HR PDF格式BibTeX公司 XML格式引用 \textit{M.Slota}等人，Artif。智力。229、33-104（2015；Zbl 1344.68231） 全文： 内政部 参考文献： [1] 阿尔贝蒂，M。；戈麦斯，A.S。；Gonçalves，R。；Leite，J。；Slota，M.，以混合知识库为代表的规范体系，（Leite，J.；Torroni，P.；Au gotnes，T.；Boella，G。；van der Torre，L.，《多智能体系统中的计算逻辑——第十二届国际研讨会论文集》。多智能体系统中的计算逻辑——第十二届国际研讨会论文集，CLIMA XII，西班牙巴塞罗那，2011年7月17日至18日。多智能体系统中的计算逻辑——第十二届国际研讨会论文集。多智能体系统中的计算逻辑——第十二届国际研讨会论文集，CLIMA XII，西班牙巴塞罗那，2011年7月17日至18日，计算机科学讲义，第6814卷（2011），Springer），330-346·Zbl 1348.68252号 [2] 阿尔贝蒂，M。；克诺尔，M。；戈麦斯，A.S。；莱特，J。；Gonçalves，R。；Slota，M.，规范系统需要混合知识库，（van der Hoek，W.；Padgham，L.；Conitzer，V.；Winikoff，M.《自治代理和多代理系统国际会议》，2012年6月4日至8日，西班牙巴伦西亚，AAMAS，2012年（3卷），IFAAMAS），1425-1426 [3] 阿尔丘隆，C.E。；Gärdefors，P。；Makinson，D.，《论理论变革的逻辑：部分满足收缩和修正功能》，J.Symb。日志。，50, 2, 510-530 (1985) ·Zbl 0578.03011号 [4] Alferes，J.J。；Pereira，L.M.，更新程序可以更新程序，（Dix，J.；Pereira，L.M.；Przymusinski，T.C.，NMELP'96《逻辑编程的非单调扩展的论文选集》。NMELP'96《逻辑编程的非单调扩展的论文选集》，Bad Honnef，德国，1996年9月5-6日。NMELP’96逻辑编程非单调扩展论文集。NMELP’96逻辑编程非单调扩展论文选集，Bad Honnef，德国，1996年9月5-6日，计算机科学讲义，第1216卷（1996），Springer），110-131 [5] Alferes，J.J。；Leite，J.A。；佩雷拉，L.M。；Przymusinska，H。；Przymusinski，T.C.，《动态逻辑编程》，（科恩，A.G.；舒伯特，L.K.；夏皮罗，S。C.，《第六届知识表示和推理原则国际会议记录》。《第六届知识表示和推理原则国际会议论文集》，KR’98，意大利特伦托，1998年6月2-5日（1998年），Morgan Kaufmann），98-111 [6] Alferes，J.J。；Leite，J.A。；佩雷拉，L.M。；Przymusinska，H。；Przymusinski，T.C.，非单调知识库的动态更新，J.Log。程序。，45、1-3、43-70（2000年9月/10月）·Zbl 0957.68108号 [7] Alferes，J.J。；班蒂，F。；布罗基，A。；Leite，J.A.，《动态逻辑编程语义的精细扩展原则》，Stud.Log。，79, 1, 7-32 (2005) ·Zbl 1101.68862号 [8] Alferes，J.J。；克诺尔，M。；Swift，T.，混合MKNF知识库的查询驱动程序，ACM Trans。计算。日志。，14, 2, 16 (2013) ·Zbl 1353.68271号 [9] 安德雷卡，H。；范·边沁，J。；Némati，I.，模态语言和谓词逻辑的有界片段，J.Philos。日志。，27, 217-274 (1998) ·Zbl 0919.03013号 [10] 巴德，F。；Brandt，S。；Lutz，C.，Pushing the EL envelope，（Kaelbling，L.P.；Saffiotti，A.，《第19届国际人工智能联合会议论文集》，第19届人工智能国际联合会议论文，IJCAI-05，英国苏格兰爱丁堡，2005年7月30日至8月5日（2005），专业图书中心），364-369 [11] （Baader，F.；Calvanee，D.；McGuinness，D.；Nardi，D.；Patel-Schneider，P.F.，《描述逻辑手册：理论、实现和应用》（2007），剑桥大学出版社）·Zbl 1132.68055号 [12] Babb，J。；Lee，J.，稳定模型一般理论的模定理，理论实践。日志。程序。，12, 4-5, 719-735 (2012) ·兹比尔1261.68037 [13] 班蒂，F。；Alferes，J.J。；布罗基，A。；Hitzler，P.，《多维动态逻辑程序的良好支持语义》（Baral，C.；Greco，G.；Leone，N。；Terracina，G.，第8届逻辑编程与非单调推理国际会议论文集。第八届逻辑程序设计和非单调推理国际会议论文集，LPNMR 2005，迪亚曼特，意大利，2005年9月5-8日。第八届逻辑程序设计和非单调推理国际会议论文集。第八届逻辑编程和非单调推理国际会议论文集，2005年LPNMR，意大利迪亚曼特，2005年9月5日至8日，《计算机科学讲义》，第3662卷（2005年），施普林格出版社，356-368·Zbl 1152.68398号 [14] Bonatti，P.，《无限稳定模型的推理》，Artif。智力。，156, 75-111 (2004) ·Zbl 1085.68681号 [15] Bong，Y.，The description logic ABox update problem reviewed（2007年2月），德累斯顿理工大学：德累斯顿科技大学，德国德累斯顿，硕士论文 [16] Brewka，G.，《走向反应性多上下文系统》，（Cabalar，P.；Son，T.C.，《逻辑编程与非单调推理》，第12届国际会议。《逻辑编程和非单调推理，第12次国际会议》，LPNMR 2013。逻辑程序设计与非单调推理，第12届国际会议。逻辑编程和非单调推理，第12届国际会议，LPNMR 2013，计算机科学讲义，第8148卷（2013），Springer），1-10·Zbl 1405.68374号 [17] Brewka，G。；Eiter，T.，异质非单调多上下文系统的平衡，（第22届AAAI人工智能会议论文集。第22届AI人工智慧会议论文集，加拿大不列颠哥伦比亚省温哥华，2007年7月22日至26日（2007年），AAAI出版社），385-390 [18] Brewka，G。；艾特，T。；芬克，M。；Weinzierl，A.，《托管多上下文系统》（Walsh，T.，IJCAI（2011），IJCIA/AAAI），786-791 [19] Brewka，G。；Ellmauthaler，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年逻辑程序设计国际会议论文集》，1999年国际逻辑程序设计会议论文集，1999年，美国新墨西哥州拉斯克鲁塞斯，1999年11月29日至12月4日（1999），麻省理工学院出版社），79-93 [21] Calvanee，D。；Kharlamov，E。；纳特·W。；Zheleznyakov，D.，《DL-Lite知识库的演变》（Patel-Schneider，P.F.；Pan，Y.；Hitzler，P.；Mika，P.，Zhang，L.；潘，J.Z.；Horrocks，I.；Glimm，B.，《国际语义网络会议》（1）。国际语义网络会议（1），中国上海，2010年11月7日至11日。国际语义网络会议（1）。国际语义网络会议（1），中国上海，2010年11月7日至11日，计算机科学讲义，第6496卷（2010年），施普林格），112-128 [22] 科尔梅劳尔，A。；卡努伊，H。；罗塞尔，P。；Pasero，R.，Un systéme de communication homme-machine en français（1973），法国爱克斯马赛第二大学情报人工小组，技术报告 [23] 科斯塔，N。；克诺尔，M。；Leite，J.，NoHR的下一步：OWL 2 QL。；Staab，S.，《语义网络——ISWC 2015——第14届国际语义网络会议》。语义网——2015年国际语义网大会——第14届国际语义网会议，美国宾夕法尼亚州伯利恒，2015年10月11日至15日。语义网-ISWC 2015-第14届国际语义网会议。语义网-ISWC 2015-第14届国际语义网会议，美国宾夕法尼亚州伯利恒，2015年10月11日至15日，计算机科学讲义（2015），施普林格） [24] Dalal，M.，《知识库修正理论研究》，（第七届全国人工智能会议论文集。第七届国家人工智能会议文献集，1988年，美国明尼苏达州圣保罗，1988年8月21日至26日（1988年），美国人工智能出版社/麻省理工学院出版社），475-479 [25] de Bruijn，J。；皮尔斯，D。；Poleres，A。；Valverde，A.，混合知识库的语义框架，Knowl。信息系统。，25，1，81-104（2010年） [26] de Bruijn，J。；艾特，T。；Poleres，A。；Tompits，H.，《将非圆逻辑程序嵌入知识库组合的自认知逻辑》，ACM Trans。计算。日志。，12, 3, 20 (2011) ·Zbl 1351.68273号 [27] 德贾科莫，G。；Lenzerini，M。；Poggi，A。；Rosati，R.，关于实例级描述逻辑本体的更新，（《第21届全国人工智能会议和第18届人工智能创新应用会议论文集》，第21届国家人工智能会议论文集和第18次人工智能创新运用会议论文集，美国马萨诸塞州波士顿，2006年7月16日至20日（2006），AAAI出版社） [28] 德贾科莫，G。；Lenzerini，M。；Poggi，A。；Rosati，R.，《描述逻辑中实例级更新和擦除的近似》，（第22届AAAI人工智能会议论文集。第22届人工智能会议文献集，2007年，加拿大不列颠哥伦比亚省温哥华，2007年7月22日至26日（2007），AAAI出版社），403-408 [29] 德贾科莫，G。；Lenzerini，M。；Poggi，A。；Rosati，R.，《描述逻辑本体论中的实例级更新和擦除》，J.Log。计算。，19, 5, 745-770 (2009) ·Zbl 1181.68274号 [30] Delgrand，J.P.，《根据答案集语义修改逻辑程序的程序级方法》，第26届国际会议。逻辑编程会议（ICLP’10）。第26届国际。逻辑程序设计会议（ICLP’10），理论与实践。日志。程序。，10、4-6、565-580（2010年7月），（特刊）·Zbl 1209.68090号 [31] Delgrade，J.P。；Schaub，T。；Tompits，H.，更新逻辑程序的基于偏好的框架，（Baral，C.；Brewka，G.；Schlipf，J。第九届逻辑程序设计和非单调推理国际会议论文集。第九届逻辑程序设计和非单调推理国际会议论文集，LPNMR 2007，美国亚利桑那州坦佩，2007年5月15日至17日。第九届逻辑程序设计和非单调推理国际会议论文集。第九届逻辑程序设计和非单调推理国际会议论文集，LPNMR 2007，美国亚利桑那州坦佩，2007年5月15日至17日，计算机科学讲义，第4483卷（2007），斯普林格），71-83·Zbl 1149.68328号 [32] Delgrade，J.P。；Schaub，T。；托姆皮茨，H。；Woltran，S.，答案集语义下逻辑程序的信念修正，（Brewka，G.；Lang，J.，知识表示与推理原理：第十一届国际会议论文集。知识表示与推理原理：第十一届国际会议论文集，KR'08（2008），AAAI出版社）， 411-421 [33] Delgrade，J.P。；Schaub，T。；汤皮特斯，H。；Woltran，S.，答案集编程中信念改变的模型理论方法，ACM Trans。计算。日志。，14, 2, 14 (2013) ·兹比尔1353.68261 [34] Dix，J.，《正常逻辑程序语义的分类理论：I.强属性》，Fundam。通知。，22, 3, 227-255 (1995) ·Zbl 0829.68021号 [35] 多尔蒂，P。；卢卡斯泽维奇，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。；刘，H。；巴德，F。；斯坦克，P。；Thielscher，M.，《将ABox更新付诸行动》，（第八届IJCAI非蒙特推理、行动和变革国际研讨会论文集。第八届国际JCAI非蒙特推理，行动和变革研讨会论文集，NRAC-09（2009））·Zbl 1193.68233号 [37] 艾特，T。；芬克，M。；萨巴蒂尼，G。；Tompits，H.，《基于因果拒绝的更新序列特性》，理论与实践。日志。程序。，2, 6, 721-777 (2002) [38] 艾特，T。；伊安尼，G。；辛德劳，R。；Tompits，H.，《答案集编程中高阶推理和外部评估的统一集成》（Kaelbling，L.P。；Saffiotti，A.，《第19届国际人工智能联合会议论文集》。第19届国际人工智能联合会议记录，IJCAI-05，英国苏格兰爱丁堡，2005年7月30日至8月5日（2005年），专业图书中心，90-96 [39] Forbus，K.D.，《将行动引入定性模拟》，（Sridharan，N.S.，《第十一届国际人工智能联合会议论文集》，第十一届人工智能国际联合会议论文，1989年8月，美国密歇根州底特律，1989年，摩根考夫曼），1273-1278·Zbl 0718.68099号 [40] Gärdenfors，P.，《信念修正：导论》（信念修正（1992），剑桥大学出版社），1-28·Zbl 0801.68151号 [41] Gelder，A.V。；Ross，K.A。；Schlipf，J.S.，《通用逻辑程序的良好语义》，J.ACM，38，3，620-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] 戈麦斯，S。；Alferes，J。；Swift，T.，混合MKNF知识库的查询应答的目标导向实现，理论与实践。日志。程序。，14, 2, 239-264 (2014) ·兹比尔1286.68427 [45] Gonçalves，R。；克诺尔，M。；Leite，J.，《进化的多上下文系统》，（Schaub，T.；Friedrich，G.；O'Sullivan，B.，ECAI 2014-第21届欧洲人工智能会议。ECAI 2014-第21届欧洲人工智能会议，人工智能与应用前沿，第263卷（2014），IOS出版社），375-380·Zbl 1366.68305号 [46] S.O.Hansson，《逆转列维身份》，J.Philos。日志。，22637-669（1993年12月）·Zbl 0788.03033号 [47] Hegner，S.J.，《更新不完整信息数据库程序的规范和实施》，（Vardi，M.Y.，第六届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集。第六届AC M SIGACT SIGMOD-SIGART数据库系统原理会议论文集，PODS’87（1987），ACM），146-158 [48] Herzig，A.，The PMA reviewed，（Aiello，L.C.；Doyle，J.；Shapiro，S.C.，《第五届知识表示与推理原则国际会议论文集》，KR’96，美国马萨诸塞州剑桥，1996年11月5-8日（1996），Morgan Kaufmann），40-50岁 [49] Herzig，A.，《关于诚信约束的更新》，（Delgrand，J.P.；Lang，J.；Rott，H.；Tallon，J.-M，《理性代理中的信念变化：来自人工智能、哲学和经济学的观点》，2005年8月7日至12日。理性主体的信念改变：来自人工智能、哲学和经济学的观点。理性主体中的信念变化：从人工智能、哲学和经济学的角度，2005年8月7日至12日，达格斯图尔研讨会论文集，第05321卷（2005），国际Begegnungs-und Forschungszentrum für Informatik（IBFI）：国际Begegnongs-und forschungscentrum für-Informatik [50] Herzig，A。；Rifi，O.，《更新操作：综述》，（Prade，H.，《第13届欧洲人工智能会议论文集》，第13届欧盟人工智能会议文献集，ECAI'98，英国布莱顿，1998年8月23日至28日（1998年），John Wiley and Sons），13-17 [51] Herzig，A。；Rifi，O.，命题信念库更新和最小变化，Artif。智力。，115, 1, 107-138 (1999) ·Zbl 0939.68852号 [52] 希茨勒，P。；Parsia，B.，《本体论和规则》，（Staab，S.；Studer，R.，《本体手册》·Zbl 1429.68001号 [53] 伊万诺夫。；克诺尔，M。；Leite，J.，《非单调规则的（EL）查询工具》，（Alani，H.；Kagal，L.；Fokoue，A.；Groth，P.T.；Biemann，C.；Parreira，J.X.；Aroyo，L.，Noy，N.F.；Welty，C.；Janowicz，K.，《第十二届国际语义网络会议论文集》（ISWC'13），第一部分，第一部分，计算机科学课堂讲稿，第8218卷（2013年），施普林格出版社，216-231 [54] Janhunen，T。；Oikarinen，E。；托姆皮茨，H。；Woltran，S.，《析取稳定模型的模块性方面》，J.Artif。智力。研究，35，813-857（2009）·Zbl 1192.68129号 [55] 卡明斯基，T。；克诺尔，M。；Leite，J.，《利用本体论和规则进行高效次协调推理》，（Yang，Q.；Wooldridge，M.，《第二十四届国际人工智能联合会议论文集》，第二十四届人工智能国际联合会议论文，2015年，阿根廷布宜诺斯艾利斯，2015年7月25日至31日（2015），AAAI出版社），3098-3105 [56] Katsuno，H。；Mendelzon，A.O.，《关于更新知识库和修改知识库之间的差异》（Allen，J.F.；Fikes，R。；Sandewall，E.，《第二届知识表示和推理原则国际会议论文集》。第二届知识表示与推理原则国际会议论文集，KR'91，美国马萨诸塞州剑桥，1991年4月22日至25日（1991年），Morgan Kaufmann出版社，387-394·Zbl 0765.68197号 [57] 凯勒，A.M。；Winslett，M.，《关于使用扩展关系模型来处理不断变化的不完整信息》，IEEE Trans。柔和。工程师，11，7，620-633（1985） [58] Kharlamov，E。；Zheleznyakov博士。；Calvanee，D.，捕获实例级基于模型的本体进化：DL-Lite案例，J.Compute。系统。科学。，79, 6, 835-872 (2013) ·Zbl 1307.68078号 [59] 克诺尔，M。；Alferes，J.J。；Hitzler，P.，《基于良好语义的描述逻辑的局部封闭世界推理》，Artif。智力。，175, 9-10, 1528-1554 (2011) ·Zbl 1225.68249号 [60] 克诺尔，M。；Leite，J。；斯洛塔，M。；Homola，M.，如果没有混合推理机怎么办？多上下文系统中的混合MKNF，J.Log。计算。，1-32 (2013) [61] Kowalski，R.A.，谓词逻辑作为编程语言，（IFIP大会（1974）），569-574·Zbl 0297.68006号 [62] Krötzsch，M。；鲁道夫，S。；Hitzler，P.，《描述逻辑规则》（Ghallab，M.；Spyropoulos，C.D.；Fakotakis，N.；Avouris，N.，《第十八届欧洲人工智能会议论文集》，ECAI2008，希腊帕特拉斯，2008年7月（2008），IOS出版社），80-84 [64] Lee，J。；Palla，R.，《在一阶稳定模型语义中集成规则和本体》（初步报告），（Delgrand，J.P.；Faber，W.，《逻辑编程和非单调推理——第十一届国际会议》，《逻辑程序设计和非单调理论——第十一次国际会议》（Logic Programming and Non-monotonic Reasoning），LPNMR 2011。逻辑程序设计与非单调推理——第11届国际会议。逻辑编程和非单调推理——第11届国际会议，LPNMR 2011，计算机科学讲稿，第6645卷（2011），Springer），248-253·Zbl 1327.68065号 [65] Leite，J.A.，《进化知识库》，《人工智能和应用前沿》，第81卷（2003年），IOS出版社，第xvii+307页，精装本·Zbl 1056.68138号 [66] Leite，J.A。；Pereira，L.M.，概括更新：从模型到程序。C.，第三届逻辑编程和知识表示国际研讨会论文集。1997年10月17日，美国纽约杰斐逊港，第三届逻辑编程和知识表示国际研讨会论文集，LPKR’97。第三届逻辑程序设计和知识表示国际研讨会论文集。第三届逻辑编程和知识表示国际研讨会论文集，LPKR’97，杰斐逊港，美国纽约，1997年10月17日，计算机科学讲义，第1471卷（1997），Springer），224-246 [67] Lenzerini，M。；Savo，D.F.，《关于DL-Lite知识库实例层次的演变》，（Rosati，R.；Rudolph，S.；Zakharyaschev，M.，《第24届描述逻辑国际研讨会论文集》，DL 2011，西班牙巴塞罗那，2011年7月13日至16日。第24届描述逻辑国际研讨会论文集。第24届描述逻辑国际研讨会论文集，DL 2011，西班牙巴塞罗那，2011年7月13日至16日，CEUR研讨会论文集，第745卷（2011）） [68] Lifschitz，V.，《情境空间中的框架》，Artif。智力。，46, 3, 365-376 (1990) ·兹比尔0743.68122 [69] Lifschitz，V.，《非单调数据库和认知查询》，（《第十二届国际人工智能联合会议论文集》，第十二届人工智能国际联合会议论文，1991年），381-386·Zbl 0747.68086号 [70] Lifschitz，V.，《作为失败的最小信念和否定》，人工制品。智力。，70, 1-2, 53-72 (1994) ·Zbl 0820.03016号 [71] Lifschitz，V。；Turner，H.，Splitting a logic program，（Hentenryck，P.V.，Proceedings of the 11th International Conference on logic Programming，第11届国际逻辑编程会议论文集，ICLP 1994，Santa Margherita Ligure，意大利，1994年6月13-18日（1994），麻省理工学院出版社），23-37 [72] Lifschitz，V。；皮尔斯，D。；Valverde，A.，《强等效逻辑程序》，ACM Trans。计算。日志。，2, 4, 526-541 (2001) ·Zbl 1365.68149号 [73] 刘，H。；卢茨，C。；米利奇奇，M。；Wolter，F.，更新描述逻辑ABoxes，（Doherty，P.；Mylopoulos，J.；Welty，C。第十届知识表示和推理原则国际会议论文集。《第十届知识表示和推理原则国际会议论文集》，KR'06，英国湖区，2006年6月2-5日（2006），AAAI出版社），46-56 [74] Lloyd，J.W.，《逻辑编程基础》（1987），施普林格出版社·Zbl 0547.68005号 [75] Makinson，D.，《累积推理的一般理论》，（Michael，R.；De Kleer，J.；Ginsberg，M.L.；Sandewall，E.，《第二届非单调推理国际研讨会论文集》，NMR’88，格拉索，FRG，1988年6月13日至15日。第二届非单调推理国际研讨会论文集。第二届非单调推理国际研讨会论文集，NMR’88，Grassau，FRG，1988年6月13-15日，计算机科学讲义，第346卷（1988），Springer），1-18·Zbl 0675.03007号 [76] 马雷克，V.W。；Truszczynski，M.，修订编程，Theor。计算。科学。，190, 2, 241-277 (1998) ·Zbl 0893.68054号 [77] 莫蒂克，B。；Rosati，R.，《协调描述逻辑和规则》，J.ACM，57，5，93-154（2010）·Zbl 1327.68257号 [78] 奥索里奥，M。；Cuevas，V.，《答案集编程中的更新：基于基本结构属性的方法》，理论与实践。日志。程序。，7, 4, 451-479 (2007) ·Zbl 1120.68037号 [79] Papadimitriou，C.，计算复杂性（1994），Addison-Wesley·Zbl 0833.68049号 [80] Sakama，C。；Inoue，K.，《计算知识库更新的诱因框架》，理论与实践。日志。程序。，3, 6, 671-713 (2003) ·Zbl 1085.68545号 [81] Scott，D.，《两个变量中句子有效性的判定方法》，J.Symb。日志。，27 (1962) [82] Šefránek，J.，静态和动态语义：初步报告，（墨西哥国际人工智能会议（2011年）），36-42 [83] 斯洛塔，M。；Leite，J.，《将稳定模型与信念更新相结合》，（第十三届非单调推理国际研讨会论文集。第十三届国际非单调推理研讨会论文集，NMR 2010（2010）） [84] 斯洛塔，M。；Leite，J.，《走向动态开放世界中的封闭世界推理》，《第26届逻辑编程国际会议论文集》（ICLP'10）。第26届逻辑程序设计国际会议论文集，理论与实践。日志。程序。，10，4-6，547-564（2010），（特刊）·Zbl 1209.68099号 [85] 斯洛塔，M。；Leite，J.，《关于应答程序的语义更新操作符》，（Coelho，H.；Studer，R.；Wooldridge，M.，《第19届欧洲人工智能会议论文集》。《第19次欧洲人工智能大会论文集》，2010年ECAI，葡萄牙里斯本，2010年8月16-20日。第19届欧洲人工智能会议记录。《第19届欧洲人工智能会议记录》，ECAI 2010，葡萄牙里斯本，2010年8月16日至20日，《人工智能与应用前沿》，第215卷（2010），IOS出版社，957-962·Zbl 1211.68426号 [86] 斯洛塔，M。；Leite，J.，《规则和SE模型之间的来来回回》（Delgrand，J.P.；Faber，W.，《第十一届逻辑编程和非单调推理国际会议论文集》，第十一届国际逻辑编程与非单调推理会议论文集，LPNMR-11，加拿大温哥华，2011年5月16-19日。第十一届逻辑程序设计和非单调推理国际会议论文集。第十一届逻辑编程和非单调推理国际会议论文集，LPNMR-11，加拿大温哥华，2011年5月16-19日，计算机科学讲义，第6645卷（2011），斯普林格），174-186·Zbl 1327.68071号 [87] 斯洛塔，M。；Leite，J.，《应答程序语义更新的鲁棒等价模型》（Brewka，G.；Eiter，T.；McIlraith，S.）。第十三届知识表示与推理原则国际会议论文集。《第十三届知识表示与推理原则国际会议论文集》，KR 2012，意大利罗马，2012年6月10日至14日（2012），AAAI出版社，158-168 [88] 斯洛塔，M。；Leite，J.，《关于知识更新的统一观点》（del Cerro，L.F.；Herzig，A.；Mengin，J.），《第13届欧洲人工智能逻辑会议论文集》。《第13次欧洲人工智能逻辑学会议论文集，JELIA 2012》，法国图卢兹，2012年9月26日至28日。第13届欧洲人工智能逻辑会议论文集。《第13届欧洲人工智能中的逻辑会议论文集》，JELIA 2012，法国图卢兹，2012年9月26日至28日，人工智能中逻辑（LNAI），第7519卷（2012），斯普林格），372-384·Zbl 1362.68268号 [89] 斯洛塔，M。；Leite，J.，《关于浓缩答案集编程中的一系列更新》（Rossi，F.，《第23届国际人工智能联合会议论文集》，第23届人工智能国际联合会议论文，IJCAI’13（2013），IJCIA/AAAI），1097-1103 [90] 斯洛塔，M。；Leite，J.，基于SE模型的语义规则更新的兴衰，理论与实践。日志。程序。，14, 6, 869-907 (2014) ·Zbl 1302.68254号 [91] 斯洛塔，M。；Leite，J。；Swift，T.，分割和更新混合知识库，第27届逻辑编程国际会议论文集（ICLP'11）。第27届逻辑程序设计国际会议论文集，理论与实践。日志。程序。，11，4-5，801-819（2011），（特刊）·Zbl 1218.68165号 [92] Turner，H.，分裂默认理论，（《第十三届全国人工智能大会和第八届人工智能创新应用大会论文集》。《第十三届全国人工智能大会和第八届人工智能创新应用大会论文集》，AAAI 96，IAAI 96，俄勒冈州波特兰，1996年8月4日至8日，第1卷（1996），AAAI出版社/麻省理工学院出版社），645-651 [93] Turner，H.，《很容易实现强等价：嵌套表达式和权重约束》，理论实践。日志。程序。，3，4-5609-622（2003年）·Zbl 1079.68017号 [94] Wang，Y。；庄，Z。；Wang，K.，非单调多上下文系统中的信念变化，（Cabalar，P.；Son，T.C.，LPNMR.LPNMR，计算机科学讲义，第8148卷（2013），Springer），543-555·兹比尔1405.68380 [95] Winslett，M.，《使用可能的模型方法推理行动》，（第七届全国人工智能会议论文集。第七届国家人工智能会议文献集，1988年，美国明尼苏达州圣保罗，1988年8月21日至26日（1988年），美国人工智能学会出版社/麻省理工学院出版社），89-93 [96] Winslett，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届全国人工智能会议论文集》，第20届国家人工智能会议文献集，2005年7月9日至13日，美国宾夕法尼亚州匹兹堡，2005（2005），美国人工智能学会出版社/麻省理工学院出版社），707-713 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。