×
埃里克·古堡;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆

用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 （英语） Zbl 1497.03032号

Inf.计算。 278，文章ID 104597，22 p.（2021）.
多智能体系统通常的\（\mathbf｛S5_n｝\）认知模型是基于Kripke框架的，Kripke框架是一个图，其边缘用不区分两种状态的智能体标记。作者建议通过考虑一个对偶的简单复杂模型来揭示该结构中隐含的高维信息。他们使用动态认知逻辑（DEL）来研究一组代理相互通信后，认知简单复杂模型是如何变化的。他们专注于表示异步代理的所谓即时快照通信模式的操作模型，因为它是分布式可计算性的核心（但该设置适用于其他通信模式）。从初始认知复合体到应用动作模型后的认知复合体都保留了拓扑不变量，这些拓扑不变量决定了Agent在通信后获得的知识。最后，他们描述了如何将分布式任务规范建模为DEL动作模型，并表明拓扑不变量决定了任务是否可解。因此，它们在DEL和分布式可计算性拓扑理论之间架起了一座桥梁，后者研究共享内存或消息传递体系结构中的任务可解性。
审核人：菲利普·高彻（巴黎）

引用于1审查
引用于5文件

MSC公司：

03B42号 知识和信念的逻辑（包括信念变化）
55单位35 代数拓扑中的抽象与公理同伦理论
18号40 同伦代数，奎伦模型范畴，导数
64岁以下 分布式系统
68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等）

关键词：

动态认知逻辑;分布式计算;单纯复形
PDF格式BibTeX公司 XML格式引用
\textit{埃里·古堡}等人，《信息计算》。278，文章ID 104597，22 p.（2021；Zbl 1497.03032）
全文： 内政部 arXiv公司 链接

参考文献：

[1] Baltag，A。；Renne，B.，《动态认知逻辑》（The Stanford Encyclopedia of Philosophy，2016），斯坦福大学形而上学研究实验室，见
[2] van Ditmarsch，H。；范德霍克，W。；Kooi，B.，《动态认识逻辑》（2007），施普林格·Zbl 1156.03320号
[3] Baltag，A。；莫斯，L。；Solecki，S.，《常识、公开声明和私人怀疑的逻辑》（TARK VII（1998）），43-56
[4] 阿提亚，H。；Welch，J.，《分布式计算：基础、模拟和高级主题》（2004），Wiley
[5] Herlihy，M。；科兹洛夫，D。；Rajsbaum，S.，《通过组合拓扑进行分布式计算》（2013），Elsevier-Morgan Kaufmann
[6] Lynch，N.A.，分布式算法（1996），Morgan Kaufmann Publishers Inc.：Morgan Kaufmann Publishers Inc.，美国加利福尼亚州旧金山·兹比尔0877.68061
[7] 阿提亚，H。；Rajsbaum，S.，无等待可解任务的组合结构，SIAM J.Compute。，31, 4, 1286-1313 (2002) ·Zbl 1015.68080号
[8] 萨克斯，M。；Zaharoglou，F.，《无等待k-set协议是不可能的：公共知识的拓扑结构》，SIAM J.Compute。，29, 5, 1449-1483 (2000) ·Zbl 0952.68159号
[9] 费金，Y.M.R。；Halpern，J。；Vardi，M.，《知识推理》（1995），麻省理工学院出版社·Zbl 0839.68095号
[10] McCarthy，J.，《人工智能、逻辑和形式化常识》，161-190（1989），施普林格荷兰：施普林格荷属多德雷赫特
[11] 鲁宾斯坦，A。；Wolinsky，A.，《关于“同意不同意”类型结果的逻辑》，J.Econ。理论，51，1，184-193（1990）·Zbl 0703.90098号
[12] Kripke，S.A.，模态逻辑中的完备性定理，J.Symb。日志。，24, 1, 1-14 (1959) ·Zbl 0091.00902号
[13] 麦肯锡，J.C.C。；塔斯基，A.，《拓扑代数》，《数学年鉴》。，45, 1, 141-191 (1944) ·Zbl 0060.06206号
[14] van Benthem，J。；Bezhanishvili，G.，《空间模态逻辑》，217-298（2007），施普林格荷兰：施普林格荷属多德雷赫特
[15] 卡斯塔涅达，A。；Gonczarowski，Y.A。；Moses，Y.，《通过拓扑和组合推理实现不败集共识》（PODC（2016），ACM），107-116·Zbl 1373.68081号
[16] 卡斯塔涅达，A。；Gonczarowski，Y.A。；Moses，Y.，《无可争辩的共识》，（DISC.DISC，LNCS，第8784卷（2014年），施普林格出版社），第91-106页
[17] Porter，T.，从范畴的角度解释多智能体系统的系统和Kripke模型，Theor。计算。科学。，323, 1, 235-266 (2004) ·Zbl 1078.68146号
[18] Lomuscio，A.R。；范德梅登，R。；Ryan，M.，《多智能体系统知识：初始配置和广播》，ACM Trans。计算。日志。，1, 2, 247-284 (2000) ·Zbl 1365.68423号
[19] Baltag，A。；奥兹根，A。；Vargas Sandoval，A.L.，《作为动态认知逻辑的拓扑逻辑》（Baltag，A.；Seligman，J.；Yamada，T.，《逻辑、理性与互动》（2017），斯普林格·柏林-海德堡：斯普林格尔·柏林-海德堡-柏林，海德堡），330-346·Zbl 1496.03069号
[20] Hirai，Y.，《共享记忆序列一致性的直觉主义认知逻辑》（LPAR（2010），施普林格-柏林-海德堡），272-289·Zbl 1311.03060号
[21] Moses，Y.，关联知识和协调行动：先决条件原则的知识，（TARK.TARK，EPTCS（2015）），231-245·Zbl 1483.68423号
[22] Dégremont，C。；Löwe，B。；Witzel，A.，《动态认知逻辑的同步性》（TARK XIII（2011），ACM），145-152
[23] 奈特，S。；莫伯特，B。；Schwarzentruber，F.，《异步多代理系统中知识和消息的推理》，数学。结构。计算。科学。，1-42 (2017)
[24] 巴尔比亚尼，P。；van Ditmarsch，H。；Fernandez Gonzalez，S.，异步公告，arXiv电子打印·Zbl 1505.03038号
[25] Havlicek，J.，《无等待可计算性的可计算障碍》，Distribute.Compute。，13, 2, 59-83 (2000) ·Zbl 1448.68105号
[26] 卡斯塔涅达，A。；Rajsbaum，S。；Raynal，M.，共享内存系统中的重命名问题：简介，计算。科学。版次：5、3、229-251（2011年）·Zbl 1298.68049号
[27] Lomuscio，A。；Ryan，M.，《关于解释系统和克里普克模型之间的关系》（Wobcke，W.；Pagnucco，M.；Zhang，C.，《代理和多代理系统形式主义、方法论和应用》（1998），斯普林格-柏林-海德堡：斯普林格–柏林-海德堡-柏林，海德堡），46-59
[28] Bolander，T。；van Ditmarsch，H。；Herzig，A。；Lorini，E。；帕尔多，P。；Schwarzentruber，F.，《对专注代理人的公告》，J.Log。语言信息，25，1，1-35（2016）·Zbl 1352.03021号
[29] Rajsbaum，S.，迭代共享内存模型，（拉丁语。拉丁语，LNCS，第6034卷（2010年），施普林格出版社），407-416
[30] 贝纳维德斯，F。；Rajsbaum，S.，使用离散莫尔斯理论的读/写模型的可折叠性，J.Appl。计算。白杨。，1-32 (2018) ·Zbl 1398.68359号
[31] Kozlov，D.N.，单纯形复数的色细分，Homol。同伦应用。，14, 2, 197-209 (2012) ·兹比尔1259.68146
[32] Kozlov，D.，组合代数拓扑（2007），Springer
[33] 邦迪，J.A。；Murty，U.S.R.，图论及其应用（1982），北荷兰·Zbl 1226.05083号
[34] O.比兰。；莫兰，S。；Zaks，S.，分布式1-可解任务的组合表征，J.算法，11，3，420-440（1990）·Zbl 0705.68018号
[35] Herlihy，M.P.，《无等待同步的不可能性和普遍性结果》（PODC（1988），ACM），276-290
[36] 费舍尔，M。；北卡罗来纳州林奇。；Paterson，M.S.，《一个错误进程的分布式提交不可能》，J.ACM，32，2，374-382（1985）·Zbl 0629.68027号
[37] 埃及Goubault。；Lazić，M。；Ledent，J。；Rajsbaum，S.，《平等否定任务的动态认知逻辑分析》，（《动态逻辑：新趋势与应用——第二次国际研讨会》，DaLí2019，Proceedings（2019）），53-70·Zbl 1496.03072号
[38] van Benthem，J。；van Eijck，J。；Kooi，B.，《沟通与变革的逻辑》，Inf.Comput。，204, 11, 1620-1662 (2006) ·2012年3月11日
[39] 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号
[40] van Ditmarsch，H。；Goubault，E。；Ledent，J。；Rajsbaum，S.，《知识与简单复合体》，arXiv电子印刷品
[41] 古鲍特，E。；Rajsbaum，S.，《容错分布式计算动态认知逻辑的简单复杂模型》（2017），技术代表。
[42] Goubault，E。；Rajsbaum，S.，《通过动态认知逻辑的容错分布式计算模型》（2017），技术代表。
[43] Ledent，J.，《异步可计算性的几何语义》（2019年），埃科尔理工学院：埃科尔·帕莱索理工学院，法国，博士论文
[44] 加夫尼，E。；Koutsopuias，E.，三处理器任务不可判定，SIAM J.Compute。，28, 3, 970-983 (1999) ·Zbl 0918.68027号
[45] 赫利希，M。；Rajsbaum，S.，分布式决策任务的可判定性，（STOC（1997），ACM），589-598·Zbl 0963.68013号
[46] Herlihy，M。；Rajsbaum，S.，《无色任务的模拟和简化》（PODC（2012），ACM），第253-260页·兹比尔1301.68122
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。