丹尼斯·波诺马利奥夫;米哈伊尔·苏琴斯基 分解局部效应作用理论的进展。 （英语） Zbl 1367.68292号 ACM事务处理。计算。日志。 第18条第2款第16条第41页（2017年）。 引用于2文件 MSC公司： 68T27型 人工智能中的逻辑 关键词：行动推理;分解，分解;忘记;不可分割性;进展 PDF格式BibTeX公司 XML格式引用 \textit{D.Ponomaryov}和\textit{M.Soutchanski}，ACM翻译。计算。日志。18，第2号，第16条，第41页（2017年；Zbl 1367.68292） 全文： 内政部 arXiv公司 参考文献： [1] 埃亚尔·阿米尔。2000.（De）情境演算理论的构成。在第十七届全国人工智能会议和第十二届人工智能创新应用会议（AAAI/IAAI’；00）的会议记录中，Henry A.Kautz和Bruce W.Porter（编辑）。AAAI出版社/麻省理工学院出版社，456–463。 [2] 埃亚尔·阿米尔。2002.分解情境演算中的投影。在《第八届国际原则与知识表示与推理会议论文集》（KR’；02）中，Dieter Fensel、Fausto Giunchiglia、Deborah L.McGuinness和Mary-Anne Williams（编辑）。摩根·考夫曼，315-326。 [3] Eyal Amir和Sheila A.McIlraith。2005.一阶理论和命题理论的基于划分的逻辑推理。Artif公司。智力。162, 1–2 (2005), 49–88. 内政部：http://dx.doi.org/10.1016/j.artint.2004.11.004 ·Zbl 1132.68672号 ·doi:10.1016/j.artint.2004.11.004 [4] 斯蒂芬·库克和刘永美。2003年。区块世界的完整公理化。J.日志。计算。13，4（2003），581–594·Zbl 1046.68101号 ·doi:10.1093/logcom/13.4.581 [5] 威廉·克雷格。1957.Herbrand-Gentzen定理在关联模型理论和证明理论中的三个应用。J.塞姆。日志。22, 3 (1957), 269–285. ·Zbl 0079.24502号 ·doi:10.2307/2963594 [6] 威廉·克雷格。2008.通向逻辑两个定理的道路。综合164，3（2008），333–339·Zbl 1171.03017号 ·doi:10.1007/s11229-008-9353-3 [7] 朱塞佩·德贾科莫（Giuseppe De Giacomo，Yves Lesp）é；rance和Fabio Patrizi。2012年，有限情境演算行动理论和可判定验证。在《第十三届知识表示和推理原则国际会议论文集》（KR’；12）中，Gerhard Brewka、Thomas Eiter和Sheila A.McIlraith（编辑）。AAAI出版社。 [8] 朱塞佩·德贾科莫和托尼·曼奇尼。2004年。使用关系数据库技术扩大行动推理。《第十九届全国人工智能会议论文集，第十六届人工智能创新应用会议》（AAAI’；04），Deborah L.McGuinness和George Ferguson（编辑）。AAAI出版社/麻省理工学院出版社，245-256。 [9] 帕维尔·埃梅利亚诺夫（Pavel Emelyanov）和丹尼斯·波诺马约夫（Denis Ponomaryov）。2015.布尔公式的AND分解算法问题。程序。计算。柔和。41, 3 (2015), 162–169. ·Zbl 1339.94099号 ·doi:10.1134/S0361768815030032 [10] 于。L.埃尔肖夫。1980年，决策问题和构造模型。（俄语）。莫斯科瑙卡。416页·Zbl 0495.03009号 [11] 哈维·弗里德曼。1976.明确定义的复杂性。高级数学。20（1976），18-29·Zbl 0355.02010 ·doi:10.1016/0001-8708（76）90167-5 [12] Silvio Ghilardi、Carsten Lutz、Frank Wolter和Michael Zakharyaschev。2006.模态逻辑中的保守扩展。在AiML-6程序中。大学出版物，187-207·兹比尔1148.03014 [13] 伯纳多·昆卡·格劳（Bernardo Cuenca Grau）、伊恩·霍洛克斯（Ian Horrocks）、叶夫根尼·哈扎科夫（Yevgeny Kazakov）和乌尔里克·萨特勒（Ulrike Sattler）。本体的模块化重用：理论与实践。J.阿蒂夫。国际决议31，1（2008年2月），273–318·Zbl 1183.68479号 [14] C.科德尔·格林。1969.定理证明在问题解决中的应用。在第一届国际人工智能联合会议（IJCAI’；69）的会议记录中，Donald E.Walker和Lewis M.Norton（编辑）。威廉·考夫曼（William Kaufmann），219-240岁。 [15] Michael Grü；ninger、Torsten Hahmann、Ali Hashemi、Darren Ong和Atalay；zgö；vde公司。2012.通过存储库将一阶本体模块化。申请。安托尔。7, 2 (2012), 169–209. [16] 顾依兰（Yilan Gu）和米哈伊尔·苏琴斯基（Mikhail Soutchanski）。2010年，基于描述逻辑的情境演算。安。数学。Artif公司。智力。58, 1–2 (2010), 3–83. ·Zbl 1205.68405号 [17] 鲍里斯·科涅夫（Boris Konev）、卡斯滕·卢茨（Carsten Lutz）、丹尼斯·波诺马利夫（Denis Ponomaryov）和弗兰克·沃尔特（Frank Wolter）。2010.分解描述逻辑本体。在《第十二届知识表示与推理原理国际会议论文集》（KR’；10）中，林方珍、乌尔里克·萨特勒和米罗斯瓦夫·特鲁兹琴斯基（编辑）。AAAI出版社。 [18] 鲍里斯·科涅夫、卡斯滕·卢茨、德克·沃尔特和弗兰克·沃尔特。2009.模块化的形式属性。在《模块本体论》中，海纳·斯塔肯施密特（Heiner Stuckenschmidt）、克里斯汀·帕伦特（Christine Parent）和斯特凡诺·斯帕卡皮埃特拉（Stefano Spacapietra）（编辑）。计算机科学讲义，第5445卷。施普林格，25-66岁·Zbl 1242.68315号 ·doi:10.1007/978-3-642-01907-4_3 [19] 鲍里斯·科涅夫、卡斯滕·卢茨、德克·沃尔特和弗兰克·沃尔特。2013.描述逻辑本体的模型理论不可分割性和模块性。Artif公司。智力。203（2013），66–103。内政部：http://dx.doi.org/10.1016/j.artint.2013.07.004 ·Zbl 1329.68248号 ·doi:10.1016/j.artint.2013.07.004 [20] 乔治·库鲁西亚斯和大卫·梅金森。2007.信念变化中的平行插值、分裂和相关性。J.塞姆。日志。72, 3 (2007), 994–1002. ·兹比尔1124.03004 ·doi:10.2178/jsl/1191333851 [21] Gerhard Lakemeyer和Hector J.Levesque。2002.在一阶知识库中使用析取信息进行基于评估的推理。程序中。第KR-02条。73–81. [22] Hector Levesque和Gerhard Lakemeyer。2007.认知机器人（第24章）。在《知识表示手册》中，Frank van Harmelen、Vladimir Lifschitz和Bruce Porter（编辑）。爱思唯尔，869-886。 [23] 林芳珍，2001年。在最强必要条件和最弱充分条件下。Artif公司。智力。128, 1–2 (2001), 143–159. ·Zbl 0971.68127号 [24] 林芳珍.2004。发现状态不变量。在第九届知识表示和推理原则国际会议论文集（KR’；04）中，Didier Dubois、Christopher A.Welty和Mary-Anne Williams（编辑）。AAAI出版社，536–544。 [25] 林芳珍和雷·赖特。1994.忘掉它&excl；AAAI秋季相关性研讨会论文集。154–159. [26] 林芳珍（Fangzhen Lin）和雷蒙德·雷特（Raymond Reiter）。1997年。如何处理数据库。Artif公司。智力。92 (1997), 131–167. ·Zbl 1017.68510号 ·doi:10.1016/S0004-3702（96）00044-6 [27] 刘永美（Yongmei Liu）和格哈德·莱克梅耶（Gerhard Lakemeyer）。2009.关于局部效应行动及其后进展的一阶可定义性和可计算性。《第21届国际人工智能联合会议论文集》（IJCAI’；09），Craig Boutiler（Ed.）。860–866. ·兹比尔1341.68216 [28] 刘永美（Yongmei Liu）和Hector J.Levesque。2005.具有上下文相关动作的动态系统中具有不完全一阶知识的可追踪推理。在第十九届国际人工智能联合会议（IJCAI’；05）的会议记录中，Leslie Pack Kaelbling和Alessandro Saffiotti（编辑）。专业图书中心，522-527。 [29] 卡斯滕·卢茨、德克·沃尔特和弗兰克·沃尔特。2007年a。表达描述逻辑中的保守扩展。程序中。IJCAI-2007的标准。AAAI出版社，453-459。 [30] 卡斯滕·卢茨、德克·沃尔特和弗兰克·沃尔特。2007年b。表达描述逻辑中的保守扩展。在第20届国际人工智能联合会议（IJCAI’；07）的会议记录中，Manuela M.Veloso（Ed.）。453–458. [31] 卡斯滕·卢茨和弗兰克·沃尔特。2009.生命科学本体论的数学逻辑。在第16届逻辑、语言、信息和计算国际研讨会（WoLLIC’；09）（计算机科学讲稿）的会议记录中，小野弘、金泽诚和奎罗斯（编辑），卷；施普林格37岁至47岁·兹比尔1246.68211 ·doi:10.1007/978-3-642-02261-64 [32] 卡斯滕·卢茨和弗兰克·沃尔特。2010.确定描述逻辑EL.J.Symb中的不可分割性和保守扩展。计算。45, 2 (2010), 194–228. ·Zbl 1187.68572号 ·doi:10.1016/j.jsc.2008.10.07 [33] 约翰·麦卡锡。1963.形势、行动和因果关系法。备忘录2。斯坦福大学计算机科学系。转载于：“；语义信息处理”；（M.Minsky，Ed.），麻省理工学院出版社，马萨诸塞州剑桥，1968年，第410-417页。 [34] 约翰·麦卡锡和帕特里克·海斯。1969.从人工智能的角度来看一些哲学问题。《机器智能》，B.Meltzer和D.Michie（编辑）。第4卷。爱丁堡大学出版社，重印于“；常识的形式化：约翰·麦卡锡的论文；（V.Lifschitz，编辑），Ablex，Norwood，NJ，1990，463–502·Zbl 0226.68044号 [35] 安德烈·莫罗佐夫（Andrey Morozov）和丹尼斯·波诺马利夫（Denis Ponomaryov）。2010。关于有限理论的可分解性问题的可判定性。西伯利亚数学。J.51，4（2010），667-674·Zbl 1226.03022号 ·doi:10.1007/s11202-010-0068-6 [36] 丹尼尔·蒙迪奇（Daniele Mundici）。1982.Craig的复杂性；s插值。基金。Informat公司。5 (1982), 261–278. ·Zbl 0507.03025号 [37] 菲奥拉·皮里和雷·雷特。1999.对情境演算元理论的一些贡献。《美国医学会期刊》46，3（1999），325-364·Zbl 1065.68627号 ·doi:10.1145/316542.316545 [38] 丹尼斯·波诺马利夫。关于逻辑计算中的可分解性。牛市。新西伯利亚计算机。中心28（2008），111-120·Zbl 1249.03044号 [39] 丹尼斯·波诺马利夫。2014.一阶逻辑片段中可分解性的算法复杂性。手稿。摘要将出现在符号逻辑公告中。http://persons.iis.nsk.su/files/persons/pages/sigdecomp.pdf。 [40] 丹尼斯·波诺马利夫和米哈伊尔·苏琴斯基。2013年，分解情境演算理论的进展。在第二十七届AAAI人工智能会议（AAAI’；13）的会议记录中，Marie desJardins和Michael L.Littman（编辑）。AAAI出版社·Zbl 1367.68292号 [41] 丹尼斯·波诺马利夫和德米特里·弗拉索夫。2013年，EL-TBoxs丰富模型中的概念可定义性和插值。《描述逻辑》（CEUR研讨会论文集），托马斯·艾特（Thomas Eiter）、伯特·格利姆（Birte Glimm）、叶夫根尼·卡扎科夫（Yevgeny Kazakov）和马库斯·克里（Markus Kr）；tzsch（编辑），第1014卷。CEUR-WS.org，898–916。 [42] 雷蒙德·雷特。1993.证明情境演算中状态的性质。Artif公司。智力。64, 2 (1993), 337–351. 内政部：http://dx.doi.org/10.1016/0004-3702（93）90109-O·兹比尔0788.68139 ·doi:10.1016/0004-3702（93）90109-O [43] 雷蒙德·雷特。2001.行动中的知识：描述和实现动态系统的逻辑基础。麻省理工学院出版社·Zbl 1018.03022号 [44] Balder ten Cate、Enrico Franconi和Inanç；塞兰。2013年，Beth在表达性描述逻辑中的可定义性。J.阿蒂夫。智力。第48号决议（2013年），347–414。内政部：http://dx.doi.org/10.1613/jair.4057 ·Zbl 1442.68223号 [45] 斯塔夫罗斯·瓦索斯（Stavros Vassos）和赫克托尔·莱夫斯克（Hector J.Levesque）。2008年，关于情境演算基本行动理论的进展：解决一个10年前的猜想。在第二十届AAAI人工智能会议（AAAI’；08）的会议记录中，Dieter Fox和Carla P.Gomes（编辑）。AAAI出版社，1004–1009。 [46] 斯塔夫罗斯·瓦索斯和法比奥·帕特里齐。2013年，情境演算中一阶可进行为理论的分类。在第23届国际人工智能联合会议（IJCAI’；13）的会议记录中，Francesca Rossi（编辑）。IJCAI/AAAI·Zbl 1432.68450号 [47] 奇亚拉·德尔·韦斯科沃（Chiara Del Vescovo）、比扬·帕西娅（Bijan Parsia）、乌尔里克·萨特勒（Ulrike Sattler）和托马斯·施奈德（Thomas Schneider）。2011.本体的模块化结构：原子分解。《第22届国际人工智能联合会议论文集》（IJCAI’；11），托比·沃尔什（Ed.）。IJCAI/AAAI，2232-2237。 [48] 瓦尔·叶希亚（Wael Yehia）、刘洪凯（Hongkai Liu）、马塞尔·利普曼（Marcel Lippmann）、弗兰兹·巴德（Franz Baader）和米哈伊尔·苏琴斯基（Mikhail Soutchanski）。2012.基于描述逻辑的行动形式中解决投影问题的实验结果。在Description Logics（CEUR研讨会论文集）中，Yevgeny Kazakov、Domenico Lembo和Frank Wolter（编辑），第846卷。CEUR-WS.org。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。