×
汉斯·范·迪特马什;埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆

平等否定和其他认知覆盖任务的动态认知逻辑分析。 （英语） Zbl 1502.68195号

J.日志。阿尔盖布。方法计划。 121，文章ID 100662，26 p.（2021）.
作者在一个简单的无等待模型中研究了等式否定任务的可解性，其中两个进程通过读写共享变量或交换消息进行通信。在这个任务中，两个进程从集合\（\｛0，1，2 \｝\）中的一个私有输入值开始，在通信之后，每个进程都必须决定一个二进制输出值，这样，当且仅当进程的输入值不同时，进程的输出才是相同的。这项任务已知无法解决；这里的目标是使用由É. 古博等【电子程序理论与计算科学（EPTCS）277，73–87（2018；Zbl 1498.03045号)]. 作者表明，事实上，没有认知逻辑公式可以解释为什么任务是无法解决的。此外，他们观察到这项任务是认知覆盖任务的一种特殊情况。因此，他们在现有的DEL框架和拓扑学中的覆盖空间理论之间建立了联系，并证明了对任何认知覆盖任务都适用相同的结果：没有认知公式解释不可解性。
审核人：菲利普·高彻（巴黎）

引用于三文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
03B42号 知识和信念的逻辑（包括信念变化）
03B70号 计算机科学中的逻辑
57M10个 覆盖空间和低维拓扑

关键词：

动态认知逻辑;分布式计算;等式否定;组合拓扑;覆盖空间

引文：

Zbl 1498.03045号
PDF格式BibTeX公司 XML格式引用
\textit{H.van Ditmarsch}等人，J.Log。阿尔盖布。方法计划。121，文章ID 100662，26 p.（2021；Zbl 1502.68195）
全文： DOI程序

参考文献：

[1] 阿提亚，哈吉特；Jennifer Welch，《分布式计算：基础、模拟和高级主题》（2004），John Wiley&Sons，Inc.：美国John Willey&Sons公司·Zbl 0910.68077号
[2] Baltag，A。；莫斯，L.S。；Solecki，S.，《常识、公共公告和私人怀疑的逻辑》（TARK VII（1998）），43-56
[3] Baltag，A。；Renne，B.，《动态认知逻辑》（The Stanford Encyclopedia of Philosophy，2016），斯坦福大学形而上学研究实验室，见https://plato.stanford.edu/archives/win2016/entries/dynamic-ceptitemic（柏拉图·斯坦福德·edu/archives/win2016）/
[4] van Benthem，J。；van Eijck，V。；Kooi，B.，《沟通与变革的逻辑》，Inf.Comput。，204, 11, 1620-1662 (2006) ·2012年3月11日
[5] 比兰，Ofer；什洛莫·莫兰；Zaks，Shmuel，分布式1-可解任务的组合表征，J.Algorithms，11，32420-440（1990）·Zbl 0705.68018号
[6] 乔·本尼；以色列，阿莫斯；Li，Ming，《使用异步硬件进行处理器协调》，（第六届ACM分布式计算原理研讨会论文集。第六届年度ACM分布式计算机原理会议论文集，PODC’87（1987），ACM：美国纽约州纽约市ACM），86-97
[7] 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号
[8] van Ditmarsch，H。；范德霍克，W。；Kooi，B.，《带赋值的动态认知逻辑》（第四届AAMAS会议（2005），ACM），141-148
[9] van Ditmarsch，H。；范德霍克，W。；Kooi，B.，《动态认识逻辑》（2007），施普林格·Zbl 1156.03320号
[10] van Ditmarsch，H。；范德霍克，W。；Kooi，B。；Kuijer，L.B.，Arrow更新综合，Inf.Compute。（2020年），首次在线·Zbl 1496.68326号
[11] van Ditmarsch，Hans；埃里克·古堡；勒登·杰雷米；Rajsbaum，Sergio，《知识与简单复合体》（2020年），Synth。《国际认识论杂志》，Methodol。菲洛斯。科学。，出版中
[12] van Eijck，J.等人。；阮，J。；Sadzik，T.，动作模拟，合成，185，131-151（2012）·Zbl 1274.03030号
[13] 迈克尔·菲舍尔（Michael J.Fischer）。；南希·A·林奇。；迈克·帕特森（Mike Paterson），《一个错误过程中不可能达成分布式共识》，J.ACM，32，2，374-382（1985）·Zbl 0629.68027号
[14] Fraigniaud，P。；Rajsbaum，S。；Travers，C.，《无等待计算中的位置性和可检查性》，Distribute.Compute。，26, 4, 223-242 (2013) ·Zbl 1311.68026号
[15] 埃利·加夫尼（Eli Gafni）；Koutsopias，Elias，三个处理器任务是不可决定的，SIAM J.Comput。，28, 3, 970-983 (1999) ·Zbl 0918.68027号
[16] 埃里克·古堡；Marijana Lazić；勒登·杰雷米；Rajsbaum，Sergio，《平等否定任务的动态认知逻辑分析》，（第二届国际动态逻辑研讨会-新趋势与应用（DaLí）。第二届国际动态逻辑研讨会-新趋势与应用（DaLí），计算机科学讲稿，第12005卷（2019年），施普林格出版社，53-70·Zbl 1496.03072号
[17] 埃里克·古堡；Marijana Lazić；勒登·杰雷米；Rajsbaum，Sergio，平等否定任务的无等待可解性，（朱卡苏梅拉，第33届国际分布式计算研讨会。第33届分布式计算国际研讨会，DISC 2019，德国达格斯图尔（LIPIcs），第146卷（2019年），达格斯图尔·莱布尼兹·泽特鲁姆·富尔信息学院），21:1-21:16·Zbl 1515.68141号
[18] 埃里克·古堡；勒登·杰雷米；Rajsbaum，Sergio，《研究分布式任务可计算性的动态认知逻辑的简单复杂模型》，J.Inf.Compute。（2020年6月），初步版本出现在Proc。甘道夫2018
[19] Herlihy，M。；科兹洛夫，D。；Rajsbaum，S.，《通过组合拓扑进行分布式计算》（2013），Elsevier-Morgan Kaufmann
[20] Herlihy、Maurice、无等待同步、ACM Trans。程序。语言系统。，13、1、124-149（1991年1月）
[21] 莫里斯·赫利希；Rajsbaum，Sergio，分布式决策任务的可决策性（扩展摘要），（第二十九届美国计算机学会计算理论年度研讨会（STOC）论文集）。第二十届美国计算机学会计算理论年会（STOC）会议记录，1997年5月4日至6日，美国德克萨斯州埃尔帕索（El Paso，Texas，USA），589-598·Zbl 0963.68013号
[22] 莫里斯·赫利希；Shavit，Nir，《异步可计算性的拓扑结构》，J.ACM，46，6，858-923（1999）·Zbl 1161.68469号
[23] Prasad，Jayanti，《关于Herlihy层次结构的稳健性》，（第十二届ACM分布式计算原理研讨会论文集。第十二届美国计算机学会分布式计算原理会议论文集，PODC’93，美国纽约州纽约市（1993），ACM），145-157·Zbl 1373.68103号
[24] Kozlov，D.，组合代数拓扑（2007），Springer
[25] Kuijer，L.B.，更新逻辑的表达能力，J.Log。计算。，25, 3, 719-742 (2015) ·兹比尔1331.68217
[26] Lo，Wai-Kau；哈齐拉科斯（Hadzilacos）、瓦索斯（Vassos）、我们所有人都比我们任何人都聪明：不确定的无等待层次结构并不健全，SIAM J.Compute。，30, 3, 689-728 (2000) ·Zbl 0968.68056号
[27] 迈克尔·C·路易。；Abu-Amara，Hosame H.，不可靠异步进程之间协议的内存要求，（计算研究进展。计算研究进展，康涅狄格州格林威治（1987），JAI出版社），163-183
[28] Lynch，Nancy A.，《分布式算法》（1996），Morgan Kaufmann Publishers Inc.：Morgan Koufmann-Publishers Inc.美国加利福尼亚州旧金山·Zbl 0877.68061号
[29] James R.Munkres，《代数拓扑元素》（1984），CRC出版社·Zbl 0673.55001号
[30] Rotman，J.，《复形及其在代数中的应用》，《落基山数学》。，3, 4, 641-674 (1973) ·Zbl 0272.55003号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。