×
尼古拉·赞帕纳基;西奥多·帕特科斯;乔治·弗洛里斯;普列克索萨基斯，迪米特里斯

修改事件演算理论以从意外观察中恢复。 （英语） Zbl 1511.68270号

安。数学。Artif公司。智力。 89，编号1-2，209-236（2021）.
摘要：事件演算的最近扩展产生了强大的形式主义，能够对因果领域中的许多常识现象进行推理，包括认知概念、函数流和概率方面等。当观察结果与关于世界状态的推论相矛盾时，自动修改（更正）知识库的问题很少受到关注。尽管在相关的信念修正领域已经有了成熟的工作，但将这些结果应用到行动理论的案例中是非常重要的。本文描述了如何通过在事件演算上下文中提出一个通用框架，以及修订算法的ASP编码和基于web的形式主义实现测试仪，来解决确定性但部分可观察的领域的这个问题。

MSC公司：

68T27型 人工智能中的逻辑
03B42号 知识和信念的逻辑（包括信念变化）
68N17号 逻辑编程
68立方英尺 知识表示

关键词：

事件演算;信念修正;行动理论;答案集编程

软件：

Potassco公司
PDF格式BibTeX公司 XML格式引用
\textit｛N.Tsampanaki｝等人，Ann.Math。Artif公司。因特尔。89，编号1--2，209--236（2021；Zbl 1511.68270）
全文： DOI程序

参考文献：

[1] 范·哈梅伦，F。；Lifschitz，V。；波特，B.，《知识表示手册》（2007），圣地亚哥：爱思唯尔科学，圣地亚戈·Zbl 1183.68611号
[2] 科瓦尔斯基，R。；Sergot，M.，《基于逻辑的事件演算》，N.Gener。计算。，4, 1, 67-95 (1986) ·Zbl 1356.68221号 ·doi:10.1007/BF03037383
[3] 米勒，R。；Shanahan，M.，事件演算的一些替代公式，计算逻辑逻辑编程及其以外，R.Kowalski荣誉论文第2部分，2408，1，452-490（2002）·Zbl 1012.68192号 ·doi:10.1007/3-540-45632-5_17
[4] Miller，R.，Morgenstern，L.，Patkos，T.：认知事件演算中关于知识和行为的推理。In:Commonsense-13（2013）
[5] Ma，J.，Miller，R.，Morgenstern，L.，Patkos，T.：基于ASP的过去、现在和未来知识推理的认知事件演算。收录于：LPAR-13，第75-87页（2013年）
[6] Patkos，T.，Plexousakis，D.：在动态和不确定领域中利用知识、行动和时间进行推理。In:IJCAI-09（2009）
[7] 斯卡拉蒂迪斯，A。；Artikis，A。；菲利波，J。；Paliouras，G.，概率逻辑编程事件演算，TPLP，15，213-245（2015）·兹比尔1379.68305
[8] D'Asaro，F.A.，Bikakis，A.，Dickens，L.，Miller，R.：概率事件演算的基础。收录于：LPNMR-17，第57-63页（2017年）·Zbl 1491.68201号
[9] 费拉里斯，P。；Lee，J。；Lifschitz，V.，稳定模型和边界，Artif。整数。，175, 1, 236-263 (2011) ·Zbl 1227.68103号 ·doi:10.1016/j.artint.2010.04.011
[10] Lee，J。；Palla，R.，《在稳定模型的一般理论和答案集编程中重新定义情境演算和事件演算》，JAIR，43，1571-620（2012）·Zbl 1246.68210号 ·doi:10.1613/jair.3489
[11] 夏皮罗，S。；Pagnucco，M。；Lespérance，Y。；莱维斯克，HJ，情境演算中的迭代信念变化，人工制品。整数。，175, 1, 165-192 (2011) ·Zbl 1216.68275号 ·doi:10.1016/j.artint.2010.04.003
[12] Schwering，C.，Lakemeyer，G.，Pagnucco，M.：认知情境演算中知识库的信念修正和进步。In:IJCAI-15（2015）·Zbl 1419.68148号
[13] Alchourron，C。；Gärdefors，P。；Makinson，D.，《论理论变革的逻辑：部分满足收缩和修正功能》，J.Symb。日志。，50, 510-530 (1985) ·Zbl 0578.03011号 ·doi:10.2307/2274239
[14] Tsanpanaki，N.，Flouris，G.，Patkos，T.：事件演算中基于常识的信念修正步骤。摘自：第十三届常识推理国际研讨会论文集，Commonsense（2017）
[15] Miller，R，Shanahan，M：事件演算的一些替代公式。收录：《计算逻辑：逻辑编程及其以外》，第452-490页。斯普林格（2002）·Zbl 1012.68192号
[16] ET穆勒，《常识推理：基于事件演算的方法》（Commonsense Reasoning:A Event Calculus Based Approach）（2015），旧金山：摩根考夫曼出版社，旧金山
[17] 费金，R。；JY Halpern；摩西，Y。；MY Vardi，《知识推理》（Reasoning About Knowledge）（2003），剑桥：麻省理工学院出版社，剑桥·兹伯利083968095
[18] Dalal，M.：知识库修正理论调查：初步报告。收录于：AAAI-88，第475-479页（1988年）
[19] Katsuno，H.，Mendelzon，A.O.：关于更新知识库和修改知识库之间的差异。摘自：KR-91（1991）·Zbl 0765.68197号
[20] Gardenfors，P.，Makinson，D.：使用认知巩固对知识系统进行修订。收录于：TARK-88，第83-95页（1988年）·Zbl 0711.03009号
[21] Georgiadis，P.，Kapantaidakis，I.，Christophides，V.，Nguer，E.M.，Spyratos，N.：首选项查询的高效重写算法。在：IEEE第24届国际数据工程会议，2008年。ICDE 2008，第1101-1110页。IEEE（2008年）
[22] Kießling，W.：数据库系统中首选项的基础。摘自：《第28届超大数据库国际会议论文集》，第311-322页。VLDB捐赠（2002年）
[23] Gebser先生。；考夫曼，B。；卡明斯基，R。；奥斯特罗斯基，M。；Schaub，T。；Schneider，M.，Potassco:The Potsdam答案集求解集合，AI Commun。，24, 2, 107-124 (2011) ·Zbl 1215.68214号 ·doi:10.3233/AIC-2011-0491
[24] Denecker，M。；Vennekens，J。；弗莱明克，H。；Wittocx，J。；Bruynooghe，M.，《答案集编程对经典逻辑的贡献》，12-32（2011），柏林：施普林格出版社，柏林·Zbl 1326.68054号
[25] Gebser，M.、Kaminski，R.、Kaufmann，B.、Schaub，T.：实践中的答案集求解。摩根&克莱普尔出版社（2012）·Zbl 1251.68060号
[26] Flouris，G.、Plexousakis，D.、Antoniou，G.：关于AGM假设的概括。收录于：楼梯-06，第132-143页（2006年）
[27] Qi，G.，Du，J.：描述逻辑中术语的基于模型的修订运算符。收录于：IJCAI-09，第891-897页（2009年）
[28] 里贝罗，MM；Wassermann，R。；弗洛里斯，G。；Antonioum，G.，《最小变化：相关性和恢复重访》，201，59-80（2013）·Zbl 1334.03012号
[29] 摩尔，R.C.：知识与行动的形式理论。摘自：Hobbs，J.，Moore，R.（编辑）《常识世界的形式理论》，第319-358页（1985）
[30] 谢尔，R。；Levesque，H.，《知识、行动和框架问题》，Artif。整数。，144, 1-2, 1-39 (2003) ·Zbl 1079.68625号 ·doi:10.1016/S0004-3702（02）00365-X
[31] Thielscher，M.：代表机器人的知识。收录于：KR-00，第109-120页（2000年）
[32] Scherl，R.B.：情境演算中知识、时间和并发动作的交互推理。收录于：IJCAI-03，第1091-1096页（2003年）
[33] Kelly，R.F.，Pearce，A.R.：情境演算中的复杂认识模式。收录于：KR-08，第611-620页（2008年）
[34] Morgenstern，L.：行动和计划的知识前提。In:IJCAI-87（1987）
[35] Demolombe，R.，Pozos-Parra，M.P.：情境演算到认知逻辑的简单且易处理的扩展。收录于：ISMIS-00，第515-524页（2000年）·Zbl 0983.68187号
[36] 儿子，TC；Baral，C.，《形式化传感行动——基于过渡函数的方法》，Artif。整数。，125, 1-2, 19-91 (2001) ·Zbl 0969.68152号 ·doi:10.1016/S0004-3702（00）00080-1
[37] Petrick，R.，Levesque，H.：联合行动理论中的知识等效。收录于：KR-02，第303-314页（2002年）
[38] Vassos，S.，Levesque，H.：不完全信息情境演算行动理论的进展。In:IJCAI-07（2007）
[39] Liu，Y.，Lakemeyer，G.：关于局部效应作用及其以外的级数的一阶可定义性和可计算性。In:IJCAI-09（2009）·Zbl 1341.68216号
[40] Van Zee，M.、Doder，D.、Dastani，M.和Van Der Torre，L.：AGM对行动和时间信念的修订。收录于：IJCAI15，第3250-3256页（2015年）
[41] Katzouris，N。；Artikis，A。；Paliouras，G.，《使用归纳逻辑编程的事件定义增量学习》，马赫。学习。，1002555-585（2015年）·Zbl 1341.68159号 ·doi:10.1007/s10994-015-5512-1
[42] Katzouris，N.、Artikis，A.、Paliouras，G.：事件定义的平行在线学习。In:归纳逻辑编程——第27届国际会议，ILP 2017，法国奥尔良，2017年9月4-6日，修订论文集，第78-93页（2017）·Zbl 1379.68072号
[43] Darwiche，A.，Pearl，J.：关于反复信念修正的逻辑。摘自：第五届知识推理理论方面会议记录，第5-23页。摩根考夫曼出版公司（1994）·兹伯利1018.03012
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。