亚历山大·马德拉;马丁斯（Manuel A.Martins）。;贝内维特斯，马里奥·R·F·。 具有结构化知识的认识逻辑。 （英语） Zbl 1433.68423号 Accattoli，Beniamino（编辑）等人，《逻辑和语义框架与应用第13次研讨会论文集》，LSFA 18，巴西福塔莱萨，2018年9月26日至28日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。344, 137-149 (2019). 摘要：多主体动态认知逻辑作为一种适合于推理知识进化系统的模态逻辑，已经出现在许多上下文和场景中。在这种逻辑中，代理人的知识只是以命题的估值为特征。本文讨论了采用其他更丰富的结构来进行这些表示，如图、代数甚至认知模型。这种在更丰富的结构上构建认识逻辑的方法称为“认识化”。基于这一观点，本文介绍了一种参数化方法，用于通过公告构建此类认知逻辑。此外，提出了互模拟的参数化概念，并证明了所提出逻辑相对于该关系的模态不变性。本文阐述了这种结构带来的一些有趣的应用前景。关于整个系列，请参见[Zbl 1420.68005号]. 引用于2文件 MSC公司： 第68页第27页 人工智能中的逻辑 03B42号 知识和信念的逻辑（包括信念变化） 68T42型 Agent技术与人工智能 关键词：动态认识逻辑;结构化状态;逻辑的参数化构造 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}等人，《电子》。注释Theor。计算。科学。344，137-149（2019年；兹比尔1433.68423） 全文： 内政部 参考文献： [1] 菲利普·巴尔比亚尼；奥利维尔·盖斯克特（Olivier Gasquet）；弗朗索瓦·施瓦岑特鲁伯（Franois Schwarzentruber），《相互注视的代理人》，《IGPL的逻辑杂志》，第21、3、438-467页（2013年）·Zbl 1272.68400号 [2] 佩德罗·巴尔塔扎尔（Pedro Baltazar），《逻辑系统的概率化》（2010），里斯本高等技术学院，博士论文·Zbl 1323.03033号 [3] 贝内维特斯，马里奥；亚历山大·马德拉；Martins，Manuel，分级认知逻辑系列，（第十二届逻辑和语义框架与应用研讨会，第十二届应用逻辑和语义架构研讨会，理论计算机科学电子笔记，第338卷（2018年），Elsevier）·Zbl 1433.68416号 [4] 布莱克本，P。；ten Cate，B.，《纯粹扩展、证明规则和混合公理》（Schmidt，R.；Pratt-Hartmann，I.；Reynolds，M.；Wansing，H.，《模态逻辑进展学报》2004（AiML 2004）（2004））·Zbl 1115.03009号 [5] 斯坦利·伯里斯（Stanley Burris）；Sankappanavar，H.P.，通用代数课程（1981），施普林格·Zbl 0478.08001号 [6] 卡洛斯·卡莱罗；克里斯蒂娜·塞尔纳达斯（Cristina Sernadas）；Sernadas，Amílcar，《逻辑参数化》（Fiadeiro，J.L.，《代数发展技术的最新趋势》（1998年4月2日至4日，葡萄牙里斯本，WADT’98修订论文选集）。代数发展技术的最新趋势（1998年4月2日至4日，葡萄牙里斯本，WADT’98修订论文集），计算机科学讲义，第1589卷（1999），Springer），48-62·Zbl 0943.03007号 [7] 沃尔特·卡尼埃利（Walter Carnielli）；Coniglio，Marcelo Esteban，《组合逻辑》，（Zalta，Edward N.，《斯坦福大学哲学百科全书》（2016），斯坦福大学形而上学研究实验室） [8] （Corradini，Andrea；Klin，Bartek；Cîrstea，Corina，计算机科学中的代数和代数-第四届国际会议，CALCO 2011，英国温彻斯特，2011年8月30日至9月2日。诉讼程序。2011年8月30日至9月2日，英国温彻斯特，CALCO 2011，计算机科学中的代数和余代数-第四届国际会议。《计算机科学论文集》，第6859卷（2011），施普林格出版社）·Zbl 1221.68011号 [9] 迪亚科内斯库，勒兹温；Stefaneas、Petros S.、Ultraproducts和机构中的可能世界语义、Theor。计算。科学。，379，1-2210-230（2007年）·Zbl 1124.03047号 [10] 费金，R。；Halpern，J。；摩西，Y。；Vardi，M.，《关于知识的推理》（1995），麻省理工学院出版社：麻省理学院出版社美国·Zbl 0839.68095号 [11] 罗杰里奥，法哈尔多；Finger，Marcelo，《非正规模态化》（Balbiani，P.；Suzuki，N.Y.；Wolter，F.；Zakharyaschev，M.，《模态逻辑的进展4》（2002年10月，法国图卢兹），83-96·Zbl 1083.03024号 [12] 费雷拉（Francilber Martins）；Freire、Cibele Matos；贝内维迪斯，马里奥·R·F。；Schechter，L.Menasché；Martins，Ana Teresa C.，《混合逻辑和NP图属性》，（Beklemishev，Lev D.；de Queiroz，Ruy J.G.B.，《逻辑、语言、信息和计算——第18届国际研讨会》，WoLLIC 2011，美国宾夕法尼亚州费城，2011年5月18-20日。诉讼程序。2011年5月18日至20日，美国宾夕法尼亚州费城，第18届逻辑、语言、信息和计算国际研讨会，WoLLIC 2011。计算机科学论文集，第6642卷（2011），施普林格），123-134·Zbl 1326.68141号 [13] 马塞洛·芬格；Dov Gabbay，《为逻辑系统添加时间维度》，《逻辑、语言与信息杂志》，第1期，第3期（1992年）·Zbl 0798.03031号 [14] 配件，M。；门德尔松，R.L.，《一阶模态逻辑》，《认识论逻辑、方法论和科学哲学综合图书馆研究》，第277卷（1998年），施普林格出版社：施普林格荷兰·Zbl 1025.03001号 [15] Hájek，Petr，基本模糊逻辑和bl-代数，软计算。，2, 3, 124-128 (1998) [16] 安德烈亚斯·赫齐格（Andreas Herzig）；埃米利亚诺·洛里尼；Maffre，Faustine，《基于命题赋值和高阶观察的穷人认知逻辑》（van der Hoek，Wiebe；Holliday，Wesley H.；Wang，Wenfang，《逻辑、理性与互动》（2015），施普林格：施普林格-柏林，海德堡），156-168，柏林-海德堡·Zbl 1471.03029号 [17] 辛提卡，J.，《知识与信仰》（1962），康奈尔大学出版社：康奈尔学院出版社，新泽西州伊萨卡 [18] Kooi，Barteld P.，概率动态认知逻辑，《逻辑、语言和信息杂志》，12，4，381-408（2003年9月）·兹比尔1031.03044 [19] 亚历山大·马德拉；内维斯（Neves）、雷纳托（Renato）；巴博萨，路易斯·索亚雷斯；Manuel A.Martins，《可重构系统的严格设计方法》，科学。计算。程序。，132, 50-76 (2016) [20] 马德拉，亚历山大；内维斯（Neves）、雷纳托（Renato）；Manuel A.Martins，《关于生成多值动态逻辑的练习》，J.Log。阿尔盖布。方法。程序。，85, 5, 1011-1037 (2016) ·Zbl 1355.03023号 [21] 内维斯（Neves）、雷纳托（Renato）；亚历山大·马德拉；巴尔博萨，路易斯·苏亚雷斯；Manuel A.Martins，《逻辑的非对称组合是功能性的：一项调查》，（代数发展技术的最新趋势——第23届IFIP工作组1）。3 2016年WADT国际研讨会，英国格雷戈诺，2016年9月21日至24日，修订论文集（2016），39-55·Zbl 1496.03265号 [22] 内维斯（Neves）、雷纳托（Renato）；亚历山大·马德拉；马丁斯（Manuel A.Martins）。；Barbosa，Luís Soares，混合逻辑的证明理论，科学。计算。程序。，126, 73-93 (2016) [23] Nilsson，Nils J.，概率逻辑，Artif。智力。，28,171-88（1986年2月）·Zbl 0589.03007号 [24] AndréPlatzer，《网络物理系统的逻辑基础》（2018），施普林格：瑞士施普林格出版社·Zbl 1400.93003号 [25] 乔昂·拉斯加；阿米尔卡塞尔纳达斯；Cristina Sernadas，《导入逻辑》，Studia Logica，100,3545-581（2012）·Zbl 1280.03033号 [26] 范德霍克，威比；皮塔·伊利耶夫；Michael Wooldridge，《揭示和隐藏的逻辑》，（2012年6月4日至8日，西班牙巴伦西亚，AAMAS 2012，自治代理和多代理系统国际会议（3卷）（2012）），1115-1122 [27] 范德霍克，威比；尼古拉斯·特罗夸德；Michael Wooldridge，《知识与控制》，（第十届自主代理和多代理系统国际会议（AAMAS 2011），台湾台北，2011年5月2-6日，第1-3卷（2011）），719-726 [28] van Ditmarsch，H。；范德霍克，W。；Kooi，B.，《动态认识逻辑》，《综合图书馆丛书》，第337卷（2008年），《施普林格：施普林格荷兰》·Zbl 1156.03015号 [29] van Eijck，Jan；Gattinger，Malvin，《认知密码逻辑的要素》，（《2015年自主代理和多代理系统国际会议论文集》，AAMAS’15（2015），国际自治代理和多智能体系统基金会：国际自治代理与多智能体系统基金会，南卡罗来纳州里奇兰），1795-1796 [30] van Eijck，Jan；加廷格，马尔文；Wang，Yanjing，了解价值观和公共检查，（Ghosh，Sujata；Prasad，Sanjiva，逻辑及其应用（2017），施普林格：施普林格柏林，海德堡），77-90，柏林-海德堡·Zbl 1485.03043号 [31] 王燕京，《超越知道：新一代认知逻辑》（Beyond knowing that：A new generation of couptime logics），（范·迪塔马什，汉斯；桑杜，加布里埃尔，贾科·辛提卡（Jaakko Hintikka on Knowledge and Game-Thetical Semantics）（2018），施普林格国际出版：施普林格（Springer International Publishing Cham），499-533·Zbl 1437.03079号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。