×
方良达;刘永梅;汉斯·范·迪特马什

多智能体模态逻辑中的遗忘。 （英语） Zbl 1478.68351号

Artif公司。智力。 266, 51-80 (2019).
摘要：在过去的几十年里，遗忘被研究了许多逻辑，并在知识表示和推理中发现了许多应用。本文研究了多智能体模态逻辑中的遗忘问题。我们采用存在互模拟量词的语义定义作为遗忘的语义定义。我们求助于莫斯介绍的模态逻辑的规范公式。任意模态公式等价于一组唯一的可满足正则公式的析取。我们证明，对于\（\mathsf的逻辑{克}_{\mathsf{n}}，\mathsf{D}（D）_{\mathsf{n}}，\mathsf{T}（T）_{\mathsf{n}}、\mathsf{K}45_{\mathrsf{n}{、\mathsf{KD}45_}和\（\mathsf1{S}5_{\mathsf{n}），从一个可满足的正则公式中忘记一个原子的结果可以通过简单地用\（\top）替换原子的文字来计算。因此，我们证明了这些逻辑在遗忘下是闭合的，因此具有一致插值。最后，我们将上述结果推广到包含命题公式的公共知识。

引用于三文件

MSC公司：

68T27型 人工智能中的逻辑
03B42号 知识和信念的逻辑（包括信念变化）
03B45号 模态逻辑（包括规范逻辑）
68T42型 Agent技术与人工智能

关键词：

多智能体模态逻辑;忘记;均匀插值
PDF格式BibTeX公司 XML格式引用
\textit{L.Fang}等人，Artif。智力。266、51-80（2019年；Zbl 1478.68351）
全文： 内政部

参考文献：

[1] Ackermann，W.，Untersuchungüber das elimination sproblem der mathematischen logik，数学。安，110，390-413（1935）
[2] Aucher，G。；Belle，V.，《克里普克星球上只知道多智能体》，（第二十四届国际人工智能联合会议论文集（IJCAI-2015）（2015），IJCAI/AAAI出版社），2713-2719
[3] Baral，C。；Zhang，Y.，《知识更新：语义和复杂性问题》，Artif。智力。，164, 209-243 (2005) ·Zbl 1132.68720号
[4] Bílková，M.，模态逻辑中的一致插值和命题量词，Stud.Log。，85，1-31（2007年）·Zbl 1113.03017号
[5] Boole，G.，《思想规律的调查》（1854年），沃尔顿和马布里
[6] 十Cate，B。；康拉德，W。；马克思，M。；Venema，Y.，《确定性完整描述逻辑》，（第十届知识表示与推理原则国际会议论文集（KR-2006）（2006），AAAI出版社），79-89
[7] 达戈斯蒂诺，G。；霍伦伯格，M.，《关于微积分的逻辑问题：插值》，林登和塔斯基，J.Symb。日志。，65, 310-332 (2000) ·Zbl 0982.03011号
[8] 达戈斯蒂诺，G。；Lenzi，G.，《关于显式插值的模态微积分》，J.Appl。日志。，4, 256-278 (2006) ·Zbl 1106.03024号
[9] 达戈斯蒂诺，G。；Lenzi，G.，关于互模拟量词和及物框架上不动点的注释，J.Log。计算。，18, 601-614 (2007) ·Zbl 1173.03018号
[10] van Ditmarsch，H。；Herzig，A。；朗·J。；马奎斯，P.，《反思性遗忘》，《综合》，169405-423（2009）·Zbl 1180.03018号
[11] 艾特，T。；Wang，K.，《答案集编程中的语义遗忘》，Artif。智力。，172, 1644-1672 (2008) ·Zbl 1184.68159号
[12] 方，L。；刘，Y。；van Ditmarsch，H.，《多智能体模态逻辑中的遗忘》，（第二十五届国际人工智能联合会议论文集（IJCAI-2016）（2016），IJCAI/AAAI出版社），1066-1073
[13] Fine，K.，模态逻辑中的范式，圣母院J.Form.Log。，16, 229-237 (1975) ·Zbl 0245.02025号
[14] French，T.N.，模态逻辑的互模拟量词（2006），西澳大利亚大学博士论文·Zbl 1186.03054号
[15] 加巴伊，D。；Ohlbach，H.J.，二阶谓词逻辑中的量词消除，（《第三届知识表示与推理原则国际会议论文集》（KR-1992）（1992），Morgan Kaufmann），425-435
[16] Gabbay，D.M。；施密特，R.A。；Szalas，A.，《二阶量词消除：基础、计算方面和应用》（《逻辑研究：数学逻辑和基础》，第12卷（2008年），大学出版物）·Zbl 1165.03011号
[17] Ghilardi，S.，《正规形式的代数理论》，《纯粹应用》。逻辑，71189-245（1995）·兹伯利0815.03010
[18] 吉拉尔迪，S。；Zawadowski，M.W.，模态系统S4中命题量词的不确定性，Stud.Log。，55, 259-271 (1995) ·兹比尔08310.3008
[19] Gonçalves，R。；克诺尔，M。；Leite，J.，《答案集编程中遗忘的终极指南》（《第十五届知识表示与推理原则国际会议论文集》（KR-2016）（2016），AAAI出版社），135-144
[20] Hales，J。；法语，T。；Davies，R.，《多智能体知识和信念的精炼量化逻辑》，（第九届模态逻辑进展会议论文集（AiML-2012）（2012），大学出版社），317-338·Zbl 1301.03019号
[21] Halpern，J.Y。；Moses，Y.，《知识和信仰模态逻辑的完整性和复杂性指南》，Artif。智力。，54, 319-379 (1992) ·Zbl 0762.68029号
[22] Herzig，A。；朗·J。；Marquis，P.，《使用认知逻辑的行动表示和部分可观察规划》，（《第十八届国际人工智能联合会议论文集》（IJCAI-2003）（2003），Morgan Kaufmann），1067-1073
[23] Herzig，A。；Mengin，J.，《模态逻辑中基于分辨率的统一插值》，（第十一届欧洲人工智能逻辑会议论文集（JELIA-2008）。第十一届欧洲人工智能逻辑会议论文集（JELIA-2008），计算机科学讲稿，第5293卷（2008），施普林格出版社，219-231·Zbl 1178.03032号
[24] Janin，D。；Walukiewicz，I.，《模态微积分和相关结果的自动机》，（第二十届计算机科学数学基础国际研讨会论文集（MFCS-1995）。第二十届计算机科学数学基础国际研讨会论文集（MFCS-1995），《计算机科学讲义》，第969卷（1995），施普林格出版社，552-562·Zbl 1193.68163号
[25] 科涅夫，B。；Walther，D。；Wolter，F.，《大规模描述逻辑术语中的遗忘和统一插值》，（第二十届第一届国际人工智能联合会议论文集（IJCAI-2009）（2009），IJCAI/AAAI出版社），830-835
[26] Koopmann，P。；Schmidt，R.A.，用ABoxes统一插值和遗忘（ALC）本体，（第二十届AAAI人工智能会议论文集（2015）（2015），AAAI出版社），175-181
[27] Kozen，D.，命题演算的结果，Theor。计算。科学。，27, 333-354 (1983) ·Zbl 0553.03007号
[28] 朗·J。；利伯拉托雷，P。；Marquis，P.，《命题独立性：公式变量独立性和遗忘》，J.Artif。智力。决议，18，391-443（2003）·Zbl 1056.68112号
[29] 朗·J。；Marquis，P.，《不一致性下的推理：基于遗忘的方法》，Artif。智力。，174, 799-823 (2010) ·Zbl 1206.68301号
[30] Lin，F.，关于最强必要条件和最弱充分条件，Artif。智力。，128, 143-159 (2001) ·Zbl 0971.68127号
[31] 林，F。；Reiter，R.，算了！，（AAAI秋季相关性研讨会论文集（1994），AAAI出版社），154-159
[32] 林，F。；Reiter，R.，《如何处理数据库》，Artif。智力。，92, 131-167 (1997) ·兹比尔1017.68510
[33] 刘，Y。；Lakemeyer，G.，《关于局部效应作用及其后的级数的一阶可定义性和可计算性》，（第二十届第一届国际人工智能联合会议论文集（IJCAI-2009）（2009），IJCAI/AAAI出版社），860-866
[34] 刘，Y。；Wen，X.，《论情境演算中的知识进步》（《第二十届国际人工智能联合会议论文集》（IJCAI-2011）（2011），IJCAI/AAAI出版社），976-982
[35] 路德维希，M。；Konev，B.，《（ALC）TBoxes的实用统一插值和遗忘及其在逻辑差异中的应用》，（《第十四届知识表示和推理原理国际会议论文集》（KR-2014）（2014），AAAI出版社），318-327
[36] 卢茨，C。；Wolter，F.，《表达描述逻辑中统一插值和遗忘的基础》，（第二十二届国际人工智能联合会议论文集（IJCAI-2011）（2011），IJCAI/AAAI出版社），989-995
[37] Moss，L.S.，根据规范公式构建的有限模型，J.Philos。日志。，36, 605-640 (2007) ·Zbl 1132.03007号
[38] Pattinson，D.，《精确覆盖的逻辑：完备性和统一插值》，（第二十届ACM/IEEE计算机科学逻辑研讨会论文集（LICS-2013）（2013），IEEE计算机社会出版社），418-427·Zbl 1433.03058号
[39] Studer，T.，常识没有Beth属性，Inf.过程。莱特。，109, 611-614 (2009) ·Zbl 1214.03013号
[40] 苏凯。；萨塔尔，A。；吕，G。；张勇，《知识推理中的变量遗忘》，J.Artif。智力。决议，35，677-716（2009）·Zbl 1192.68677号
[41] Visser，A.，《均匀插值和分层互模拟》（Gödel 96）。哥德尔96，布尔诺，1996（1996），施普林格），139-164·Zbl 0854.03026号
[42] 王凯。；王，Z。；托珀，R.W。；潘，J.Z。；Antoniou，G.，《在表现描述性逻辑中从本体中消除概念和角色》，计算。智力。，30, 205-232 (2014) ·Zbl 1328.68222号
[43] Wang，Y。；Zhang，Y。；周，Y。；Zhang，M.，《答案集编程中的知识遗忘》，J.Artif。智力。决议，50，31-70（2014）·Zbl 1442.68228号
[44] 王，Z。；王凯。；托珀，R。；Pan，J.Z.，《忘记DL-lite中的知识库》，《数学年鉴》。Artif公司。智力。，58, 117-151 (2010) ·兹比尔1205.68410
[45] Wolter，F.，《重新审视模态逻辑的融合》，（模态逻辑进展第一次研讨会论文集（AiML-1996）（1998），CSLI出版物），361-379·Zbl 0956.03512号
[46] Wong，K.S.，《逻辑程序中的遗忘》（2009），新南威尔士大学博士论文
[47] Zhang，Y。；Foo，纽约，通过强伪造和弱伪造解决逻辑程序冲突，人工制品。智力。，170, 739-778 (2006) ·Zbl 1131.68037号
[48] Zhang，Y。；周瑜，《知识遗忘：性质和应用》，Artif。智力。，173, 1525-1537 (2009) ·Zbl 1187.03015号
[49] Zhang，Y。；周瑜，《遗忘重温》，（第十二届知识表示与推理原理国际会议论文集（KR-2010）（2010），AAAI出版社），602-604
[50] Zhao，Y。；Schmidt，R.A.，使用Ackerman方法的（ALCOI）本体中的概念遗忘，（第四届国际语义网络会议论文集（ISWC-2015）。第四届国际语义网络会议论文集（ISWC-2015），《计算机科学讲义》，第9366卷（2015），斯普林格出版社，587-602
[51] Zhao，Y。；Schmidt，R.A.，《在本体论中忘记概念和角色符号》，（第二十五届国际人工智能联合会议（IJCAI-2016）（2016），IJCAI/AAAI出版社），1345-1353
[52] Zhao，Y。；Schmidt，R.A.，《使用基于Ackermann的方法的（ALCOQH（nabla））本体的角色遗忘》，（第二十五届国际人工智能联合会议论文集（IJCAI-2017）（2017），IJCAI/AAAI出版社），1354-1361
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。