汉斯·范·迪特马什;范德霍克,威比;巴特尔·库伊;Louwe B.Kuijer。 箭头更新合成。 (英语) Zbl 1496.68326号 Inf.计算。 275,文章ID 104544,29 p.(2020). 摘要:在本文中,我们提出了任意箭头更新模型逻辑(AAUML)。这是一种动态认知逻辑或更新逻辑。在更新逻辑中,静态/基本模式是在给定的关系模型上解释的,而动态/更新模式会导致关系模型的转换(更新)。在AAUML中,更新模式将箭头更新模型的执行形式化,还有一种对箭头更新模型进行量化的模式。箭头更新模型是众所周知的动作模型的替代品。我们提供了AAUML的公理化。公理化是一个重写系统,允许从任何给定公式中删除箭头更新模式,同时保留真理。因此,AAUML是可判定的,与基本的多智能体模态逻辑同样具有表达能力。我们的主要结果是建立箭头更新综合:如果有一个箭头更新模型,在该模型之后,我们可以从(varphi)构造(综合)该模型。我们还指出了箭头更新逻辑、动作模型逻辑和细化模式逻辑之间在更新表达能力方面的一些重要差异。 引用于5文件 MSC公司: 68T27型 人工智能中的逻辑 03B42号 知识和信念的逻辑(包括信念变化) 03B45号 模态逻辑(包括规范逻辑) 第68季度第42季度 语法和重写系统 关键词:模态逻辑;动态认知逻辑;表现力 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,《信息计算》。275,文章ID 104544,29 p.(2020;Zbl 1496.68326) 全文: 内政部 arXiv公司 哈尔 参考文献: [1] (Blackburn,P.;van Benthem,J.;Wolter,F.,模态逻辑手册(2006),Elsevier)·兹比尔1114.03001 [2] (van Ditmarsch,H.;Halpern,J.;van der Hoek,W.;Kooi,B.,《认识论逻辑手册》(2015),大学出版社)·Zbl 1392.03009号 [3] van Ditmarsch,H。;范德霍克,W。;Kooi,B.,《带赋值的动态认知逻辑》(第四届AAMAS会议(2005),ACM),141-148 [4] van Benthem,J。;van Eijck,J。;Kooi,B.,《沟通与变革的逻辑》,Inf.Comput。,204, 11, 1620-1662 (2006) ·2012年3月11日 [5] Plaza,J.,《公共通信逻辑》(第四届ISMIS(1989),橡树岭国家实验室),201-216 [6] Baltag,A。;莫斯,L。;Solecki,S.,《公告、常识和私人怀疑的逻辑》(第七届TARK会议(1998年),摩根·考夫曼),43-56 [7] Kooi,B。;Renne,B.,箭头更新逻辑,Rev.Symb。日志。,4, 4, 536-559 (2011) ·Zbl 1252.03034号 [8] 杰布兰迪。;Groeneveld,W.,《关于信息变化的推理》,J.Log。语言信息,6147-169(1997)·Zbl 0873.03029号 [9] Kooi,B.,《通过约简公理实现公共更新逻辑的表达性和完整性》,J.Appl。非类别。日志。,17, 2, 231-254 (2007) ·Zbl 1185.03014号 [10] Kooi,B。;Renne,B.,广义箭头更新逻辑,(第13届TARK会议记录(2011)),205-211,海报演示 [11] van Ditmarsch,H.,《知识游戏》(2000),格罗宁根大学,iLLC论文系列DS-2000-06 [12] Kooi,B.,《知识、机遇与变革》(2003),格罗宁根大学,iLLC论文系列DS-2003-01 [13] Aucher,G.,《描述动态认知逻辑中的更新》,(《第十二届KR会议录》(2010),AAAI出版社) [14] van Eijck,J。;Sietsma,F。;Wang,Y.,《作曲模型》,J.Appl。非类别。日志。,21, 3-4, 397-425 (2011) ·Zbl 1242.03043号 [15] 巴尔比亚尼,P。;Baltag,A。;van Ditmarsch,H。;Herzig,A。;Hoshi,T。;Lima,T.D.,“Knowable”,“发布公告后即为人所知”,Rev.Symb。日志。,305-334年1月3日(2008年)·兹比尔1208.03019 [16] van Ditmarsch,H。;范德霍克,W。;Kooi,B。;Kuijer,L.,任意箭头更新逻辑,Artif。智力。,242, 80-106 (2017) ·Zbl 1392.68396号 [17] Hales,J.,《任意动作模型逻辑和动作模型综合》,(第28届LICS会议(2013),IEEE),253-262·Zbl 1366.68289号 [18] 博泽利,L。;van Ditmarsch,H。;法语,T。;Hales,J。;Pinchinat,S.,精化模态逻辑,Inf.Comput。,239, 303-339 (2014) ·Zbl 1309.68175号 [19] 法语,T。;van Ditmarsch,H.,《任意公告逻辑的不确定性》,(模态逻辑进展,第7卷(2008年),大学出版物:伦敦大学出版物),23-42·Zbl 1244.03058号 [20] van Ditmarsch,H。;范德霍克,W。;Kuijer,L.,任意箭头更新逻辑的不可判定性,Theor。计算。科学。,693, 1-12 (2017) ·Zbl 1385.03012号 [21] van Benthem,J.,《关于破坏和阻碍的论文》,(机械化数学推理。机械化数学推断,LNCS,第2605卷(2005),Springer),268-276·Zbl 1098.68632号 [22] Aucher,G。;巴尔比亚尼,P。;Fariñas del Cerro,L。;Herzig,A.,全局和局部图形修改器,Electron。注释Theor。计算。科学。,231, 293-307 (2009) ·Zbl 1347.03020号 [23] Areces,C。;费瓦里,R。;Hoffmann,G.,移动箭头和四个模型检查结果,(第19届WoLLIC会议记录,第19届WoLLIC会议纪录,LNCS,第7456卷(2012),Springer),142-153·兹比尔1361.68131 [24] van Ditmarsch,H。;Kooi,B.,《本体和认知变化的语义结果》,(第七LOFT的Proc.of 7th LOFT.Proc.of第七LOFT,Texts in Logic and Games,vol.3(2008),阿姆斯特丹大学出版社),87-117·Zbl 1261.03081号 [25] 法语,T。;Hales,J。;Tay,E.,《动作模型的可组合语言》(Goré,R.;Kooi,B.;Kurucz,A.,《模态逻辑进展》,第10卷(2014),大学出版社),197-216·Zbl 1385.03007号 [26] Hales,J.,《量化认知更新》(2016),西澳大利亚大学计算机科学与软件工程学院,博士论文 [27] Aucher,G.,DEL-sequents for progression,J.Appl。非类别。日志。,21, 3-4, 289-321 (2011) ·Zbl 1242.03034号 [28] van Eijck,J。;阮,J。;Sadzik,T.,《动作仿真》,Synthese,185,1,131-151(2012)·Zbl 1274.03030号 [29] Gerbrandy,J.,《克里普克星球上的双模拟》(1999年),阿姆斯特丹大学,iLLC论文系列DS-1999-01 [30] van Ditmarsch,H。;范德霍克,W。;Kooi,B.,《动态认识逻辑》,Synthese Library,第337卷(2008年),施普林格出版社·Zbl 1156.03015号 [31] van Ditmarsch,H。;van Eijck,J。;Sietsma,F。;Wang,Y.,《关于撒谎的逻辑》,(游戏、动作和社交软件,游戏、动作与社交软件,LNCS,第7010卷(2012),Springer),41-72 [32] Steiner,D.,《保持一致性的信念改变系统》(ESSLLI理性与知识研讨会(2006),第133-144页) [33] van Ditmarsch,H.,《说谎动力学》,Synthese,191,5,745-777(2014)·Zbl 1310.03031号 [34] Bolander,T。;van Ditmarsch,H。;Herzig,A。;Lorini,E。;帕尔多,P。;Schwarzentruber,F.,《对专注代理人的公告》,J.Log。语言信息,25,1,1-35(2016)·Zbl 1352.03021号 [35] Hales,J。;法语,T。;Davies,R.,《精炼量化知识逻辑》,电子。注释Theor。计算。科学。,278, 85-98 (2011) ·Zbl 1347.03024号 [36] Hales,J。;法语,T。;Davies,R.,多智能体知识和信念的精炼量化逻辑,(模态逻辑进展,第9卷(2012年),学院出版物),317-338·Zbl 1301.03019号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。