×
安德烈亚斯·赫齐格;伊万·瓦尔津扎克

行动元理论：超越一致性。 （英语） Zbl 1168.68567号

Artif公司。智力。 171，编号16-17，951-984（2007）.
总结：传统上，在基于逻辑的行为推理方法中，一致性是衡量理论质量的唯一标准。这项工作超越了这一点，通过研究一个好的域描述应该具有哪些其他属性，为动作的元理论做出了贡献。我们陈述了一些关于这个痛处的元理论假设。当所有假设都满足时，我们称之为行动理论模块。除了在麦卡锡的意义上更容易理解和更能容忍精细化之外，模块化理论还具有有趣的特性。我们指出了违反模块性假设时出现的问题，并提出了可以帮助动作理论设计者克服这些问题的算法检查。

引用于6文件

MSC公司：

68T27型 人工智能中的逻辑

关键词：

关于行动的推理;作用论;模块化;后果

软件：

CCalc公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Herzig}和\textit{I.Varzinczak}，Artif。智力。171，编号16--17，951-984（2007；Zbl 1168.68567）
全文： DOI程序 链接

参考文献：

[1] 德贾科莫，G。；Lenzerini，M.，基于PDL的行动推理框架，（Gori，M.；Soda，G.，《意大利人工智能协会第四届大会议事录》（（text{IA}^ast）AI'95）。程序。意大利人工智能协会第四届大会。智力。，第992卷（1995），斯普林格·弗拉格），103-114
[2] F.Lin，在具体说明行动的间接影响时采用因果关系，载于：Mellish[62]；F.Lin，在指定行为的间接影响时拥抱因果关系，in：Mellish[62]
[3] N.McCain，H.Turner，《后果和资格的因果理论》，载于：Mellish[62]；N.McCain，H.Turner，《后果和限制的因果理论》，收录于：Mellish[62]
[4] M.Thielscher，通过后处理计算分支，收录于：Mellish[62]；M.Thielscher，通过后处理计算分支，见：Mellish[62]
[5] 卡斯蒂略，M。；Gasquet，O。；Herzig，A.，《模态逻辑的形式化行为和变化I：框架问题》，《逻辑与计算杂志》，9，5，701-735（1999）·Zbl 0941.03021号
[6] 张，D。；Foo，N.，EPDL:因果推理逻辑，（Nebel，B.，Proc.第17届国际人工智能联合会议（IJCAI'01）。程序。第17届国际人工智能联合会议（IJCAI'01），西雅图（2001），摩根考夫曼出版社，131-138
[7] Harel，D.，《动态逻辑》（Gabbay，D.；Günthner，F.，《哲学逻辑手册》，第二卷（1984），D.Reidel:D.Reidel Dordrecht），497-604·Zbl 0875.03076号
[8] 麦卡锡，J。；Hayes，P.，《从人工智能的角度来看的一些哲学问题》，（Meltzer，B.；Mitchie，D.，《机器智能》，第4卷（1969年），爱丁堡大学出版社），463-502·Zbl 0226.68044号
[9] Gelfond，M。；Lifschitz，V.，《用逻辑程序表示动作和变化》，《逻辑编程杂志》，17，2/3-4，301-321（1993）·Zbl 0783.68024号
[10] 北卡罗来纳州卡塔。；Lifschitz，V.，《具有间接影响的行动（初步报告）》，（Doyle，J.；Sandewall，E.；Torasso，P.，Proc.4th Internal.Conf.on Krealedge Representation and Reasoning（KR’94）。程序。第四届知识表示与推理国际会议（KR’94），波恩（1994），摩根考夫曼出版社，341-350
[11] Giunchiglia，E。；Kartha，G。；Lifschitz，V.，《代表行动：不确定性和后果》，人工智能，95，2，409-438（1997）·Zbl 0894.68140号
[12] A.Herzig，I.Varzinczak，《聚合、耦合和作用的元理论》，载于：Kaelbling和Saffiotti[60]；A.Herzig，I.Varzinczak，凝聚、耦合和作用元理论，见：Kaelbling和Saffiotti[60]
[13] Herzig，A。；Varzinczak，I.，《（ALC）片段的模块化方法》，（Fisher，M.；van der Hoek，W.；Konev，B.；Lisitsa，A.，《第十届欧洲人工智能逻辑大会》（JELIA’2006）。程序。第十届欧洲人工智能逻辑会议（JELIA’2006），演讲笔记Artif。智力。，第4160卷（2006），施普林格·弗拉格），216-228·Zbl 1152.68605号
[14] （Baader，F.；Calvanee，D.；McGuinness，D.；Nardi，D.；Patel-Schneider，P.，《描述逻辑手册》（2003），剑桥大学出版社）·Zbl 1058.68107号
[15] Herzig，A。；Varzinczak，I.，领域描述应该是模块化的，（López de Mántaras，R.；Saitta，L.，Proc.16th Eur.Conf.on Artificial Intelligence（ECAI'04）。程序。第16届欧洲人工智能会议（ECAI'04），瓦伦西亚（2004），IOS出版社，348-352
[16] Harel，D。；Tiuryn，J。；Kozen，D.，《动态逻辑》（2000），麻省理工学院出版社：麻省理学院出版社，剑桥·Zbl 0976.68108号
[17] Kracht，M。；Wolter，F.，独立公理化双模逻辑的性质，符号逻辑杂志，56，4，1469-1485（1991）·Zbl 0743.03013号
[18] Kracht，M。；Wolter，F.，《模态逻辑中的模拟和传递结果：一项调查》，Studia Logica，59149-177（1997）·兹伯利0960.03014
[19] Popkorn，S.，《模态逻辑的第一步》（1994），剑桥大学出版社·兹伯利0921.03019
[20] 布莱克本，P。；de Rijke，M。；《模态逻辑》，《剑桥理论计算机科学丛书》（2001），剑桥大学出版社·兹伯利0988.03006
[21] Fitting，M.，《模态和直觉主义逻辑的证明方法》（1983），D.Reidel:D.Reidel Dordrecht·兹伯利0523.03013
[22] 汉克斯，S。；McDermott，D.，《缺省推理、非单调逻辑和框架问题》（Kehler，T.；Rosenschein，S.，Proc.5th Natl.Conf.on Artificial Intelligence）（AAAI'86）。程序。第五届国家。人工智能大会（AAAI'86），费城（1986），摩根考夫曼出版社，328-333
[23] M.Castilho、A.Herzig、I.Varzinczak，这取决于上下文！基于三元依赖关系的行动和计划的可判定逻辑，见：S.Benferhat，E.Giunchiglia（编辑），非单调推理研讨会（NMR’02），图卢兹，2002年，第343-348页；M.Castilho、A.Herzig、I.Varzinczak，这取决于上下文！基于三元依赖关系的行动和计划的可判定逻辑，见：S.Benferhat，E.Giunchiglia（编辑），非单调推理研讨会（NMR’02），图卢兹，2002年，第343-348页
[24] McCarthy，J.，《人工智能的认识论问题》，（Sridharan，N.，Proc.第五届国际人工智能联合会议（IJCAI’77）。程序。第五届国际人工智能联合会议（IJCAI’77），马萨诸塞州剑桥（1977），摩根考夫曼出版社，1038-1044
[25] Ginsberg，M。；Smith，D.，《行动推理II：资格问题》，人工智能，35，3，311-342（1988）·Zbl 0645.68110号
[26] 舒伯特，L.，《情境演算中框架问题的单调解：具有完全指定动作的世界的一种有效方法》（Kyberg，H.；Loui，R.；Carlson，G.，《知识表示和可推迟推理》（1990），Kluwer学术出版社），23-67
[27] 多尔蒂，P。；Łukaszewicz，W。；Szałas，A.，解释解释结束，（Proc.9th Intl.Symposium on Methodologies for Intelligent Systems.Proc.9st Intl.Chakopane，Poland智能系统方法论研讨会，第9 Intl.Proc。智能系统方法研讨会，波兰扎科帕内，计算机讲稿。科学。，第1079卷（1996），施普林格-弗拉格）
[28] J.Finger，《设计综合中的约束开发》，斯坦福大学博士论文，斯坦福，1987年；J.Finger，《在设计合成中利用约束》，斯坦福大学博士论文，斯坦福，1987年
[29] Demolombe，R。；Herzig，A。；Varzinczak，I.，模态逻辑中的回归，应用非经典逻辑杂志（JANCL），13，2，165-185（2003）·Zbl 1185.03028号
[30] Reiter，R.，《情境演算中的框架问题：目标回归的简单解决方案（有时）和完整结果》，（Lifschitz，V.，《人工智能和计算数学理论：约翰·麦卡锡荣誉论文》（1991），学术出版社：圣地亚哥学术出版社），359-380·Zbl 0755.68124号
[31] Varzinczak，什么是好的域描述？《评价和修正动态逻辑中的行动理论》，保罗·萨巴蒂尔大学博士论文，图卢兹，2006年；Varzinczak，什么是好的域描述？《评价和修正动态逻辑中的行动理论》，保罗·萨巴蒂尔大学博士论文，图卢兹，2006年
[32] Reiter，R.，《行动中的知识：指定和实现动态系统的逻辑基础》（2001年），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥·Zbl 1018.03022号
[33] 卡斯蒂略，M。；Gasquet，O。；Herzig，A.，《具有不确定和间接影响的基于依赖的行动框架》（1998年2月），技术代表RT-98-04-R，图卢兹信息研究所（IRIT），保罗·萨巴蒂尔大学
[34] C.Schwind，行为理论中的因果关系，计算机和信息科学中的Linköping电子文章4（4）；C.Schwind，行动理论中的因果关系，Linköping计算机与信息科学电子文章4（4）·Zbl 0956.03027号
[35] 马奎斯，P.，《结果发现算法》（Gabbay，D.；Smets，P.《可防御和不确定推理的算法》，S.Moral，J.Kohlas（编辑），《可防御推理和不确定性管理系统手册》，第5卷（2000），Kluwer学术出版社），41-145，第2章·Zbl 1015.68197号
[36] Inoue，K.，结果发现的线性分辨率，人工智能，56，2-3301-353（1992）·Zbl 0805.68105号
[37] Herzig，A。；Varzinczak，I.，《论理论的模块性》，（Schmidt，R.；Pratt-Hartmann，I.；Reynolds，M.；Wansing，H.，《模态逻辑的进展》，第5卷（2005年），King’s College Publications），第93-109页，AiML 2004精选论文，也可在·Zbl 1107.68108号
[38] F.Lin，在指定行动的不确定性影响时拥抱因果关系，in：Shrobe和Senator[61]；F.Lin，在指定行动的不确定性影响时拥抱因果关系，收录于：Shrobe和Senator[61]
[39] Thielscher，M.，《分枝与因果关系》，人工智能，89，1-2，317-364（1997）·Zbl 1018.03514号
[40] Lifschitz，V。；Ren，W.，《走向模块化动作描述语言》，（Proc.21th Natl.Conf.on Artificial Intelligence（AAAI’2006）。程序。第21届国家。人工智能大会（AAAI’2006），波士顿（2006），AAAI出版社/麻省理工学院出版社
[41] Pirri，F。；Reiter，R.，《对情境演算元理论的一些贡献》，《ACM杂志》，46，3，325-361（1999）·Zbl 1065.68627号
[42] Amir，E.，（De）情境演算理论的构成（Proc.17 Natl.Conf.on Artificial Intelligence，AAAI’2000）。程序。第17届国家。人工智能会议（AAAI’2000），奥斯汀（2000），AAAI出版社/麻省理工学院出版社，456-463
[43] 林，F。；Reiter，R.，《重新审视国家约束》，《逻辑与计算杂志》，4，5，655-678（1994）·Zbl 0815.68096号
[44] McIlraith，S.，《整合行动和状态约束：分支问题的封闭式解决方案（有时）》，《人工智能》，116，1-2，87-121（2000）·Zbl 0939.68840号
[45] Sommerville，I.，软件工程（1985），Addison-Wesley·Zbl 0646.68003号
[46] Pressman，R.，《软件工程：实践者的方法》（1992），麦格劳-希尔出版社·Zbl 0925.68076号
[47] 张，D。；肖普拉，S。；Foo，N.，动作描述的一致性，（Ishizuka，M.；Sattar，A.，《第七届环太平洋国际人工智能会议：人工智能趋势》，《第7届环太平洋国家人工智能会议会议：人工智慧趋势》，计算机科学讲义，第2417卷（2002年），斯普林格-Verlag），70-79·Zbl 1013.68209号
[48] 朗·J。；林，F。；Marquis，P.，《行动因果理论——计算核心》（Sorge，V.；Colton，S.；Fisher，M.；Gow，J.，Proc.第18届国际人工智能联合会议（IJCAI'03）。程序。第18届国际人工智能联合会议（IJCAI'03），阿卡普尔科（2003），摩根考夫曼出版社，1073-1078
[49] L.Cholvy，使用SOL-resolution检查法规一致性，见程序。第七届国际人工智能与法律大会，奥斯陆，1999年，第73-79页；L.Cholvy，使用SOL-resolution检查法规一致性，见程序。第七届国际人工智能与法律会议，奥斯陆，1999年，第73-79页
[50] Giunchiglia，E。；Lee，J。；Lifschitz，V。；麦凯恩。；Turner，H.，非单调因果理论，人工智能，153，1-2，49-104（2004）·Zbl 1085.68161号
[51] R.Li，L.Pereira，《被相信的就是被解释的》，载于：Shrobe和Senator[61]；R.Li，L.Pereira，《相信的就是解释的：Shrobe和参议员》[61]
[52] P.Liberatore，信念更新框架，摘自：Proc。第七届欧洲人工智能逻辑会议（JELIA’2000），2000年，第361-375页；P.Liberatore，信念更新框架，摘自：Proc。第七届欧洲人工智能逻辑会议（JELIA’2000），2000年，第361-375页·Zbl 0998.03012号
[53] T.Eiter，E.Erdem，M.Fink，J.Senko，更新动作域描述，收录于：Kaelbling和Saffiotti[60]；T.Eiter，E.Erdem，M.Fink，J.Senko，更新动作域描述，收录于：Kaelbling和Saffiotti[60]·Zbl 1225.68251号
[54] Herzig，A。；佩鲁塞尔，L。；Varzinczak，I.，《精化领域描述》（Brewka，G.；Coradeschi，S.；Perini，A.；Traverso，P.，Proc.17 Eur.Conf.on Artificial Intelligence）（ECAI'06）。程序。第17届欧洲人工智能会议（ECAI'06），Riva del Garda（2006），IOS出版社，397-401
[55] Garson，J.，《模块化和相关逻辑》，《圣母院形式逻辑杂志》，30，2，207-223（1989）·Zbl 0693.03010号
[56] Cuenca Grau，B。；巴西娅，B。；Sirin，E。；Kalyanpur，A.，《模块化和网络本体论》（Doherty，P.；Mylopoulos，J.；Welty，C.，《知识表示和推理第十届国际会议议事录》（KR’2006）。程序。第十届国际知识表示与推理大会（KR’2006），湖区（2006），摩根考夫曼出版社，198-208
[57] 卡卡斯，A。；迈克尔·L。；Miller，R.，（M\）模块-\（E\）：分支和限定问题的一种细化容忍方法，（Baral，C.；Greco，G.；Leone，N.；Terracina，G.，Proc.8th Intl.Conf.Logic Programming and Non-monotonic Reasoning。Proc.8st Intl.Conf.LogicProgrammining and Non-单调推理，Diamante（2005），Springer-Verlag），211-226·Zbl 1152.68607号
[58] 古斯塔夫森，J。；Doherty，P.，《在指定动作的间接影响时拥抱遮挡》（Aiello，L.；Doyle，J.；Shapiro，S.，Proc.第五届国际知识表示与推理大会（KR’96）。程序。第五届国际知识表示与推理大会（KR’96），马萨诸塞州剑桥（1996），摩根考夫曼出版社，87-98
[59] P.Marquis，利用理论素数暗示进行知识汇编，in：Mellish[62]；P.Marquis，《利用理论素数蕴涵的知识汇编》，收录于：Mellish[62]
[60] （Kaelbling，L.；Saffiotti，A.，Proc.19国际人工智能联合会议（IJCAI'05）。程序。第19届国际人工智能联合会议（IJCAI'05），爱丁堡（2005），摩根考夫曼出版社
[61] （Shrobe，H.；Senator，T.，Proc.13th Natl.Conf.on Artificial Intelligence（AAAI’96）。程序。第13届国家。人工智能会议（AAAI'96），波特兰（1996），AAAI出版社/麻省理工学院出版社
[62] （Mellish，C.，Proc.第14届国际人工智能联合会议（IJCAI'95）。程序。第14届国际人工智能联合会议（IJCAI'95），蒙特利尔（1995），摩根考夫曼出版社·兹比尔0823.00022
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。