×
约瑟夫·利弗西；多米尼克·沃伊特扎克

提议的八卦协议。 （英语） Zbl 07530245号

Bampis，Evripidis（编辑）等人，《计算理论基础》。第23届国际研讨会，FCT 2021，希腊雅典，2021年9月12-15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12867, 354-370 (2021).
摘要：绯闻协议是一组代理可以使用的程序，用于同步他们所知道的内容。也就是说，假设每个代理都拥有一个秘密，协议的目标是达到所有代理都知道所有秘密的情况。分布式认知八卦协议在代理的组件程序中使用认知公式。在本文中，我们解决了一类最简单的流言协议：命题流言协议的公开问题，在该协议中，代理是否可以进行呼叫仅取决于其当前已知的一组秘密。具体地说，我们证明了所有正确的命题八卦协议，即总是在所有代理都知道所有秘密的情况下终止的协议，都要求底层的无向通信图是完整的，并且至少需要进行\（2n-3）个调用。我们还表明，检查给定命题八卦协议的正确性是一个共同的NP-完全问题。最后，我们报告了如何使用模型检查器nuXmv实现这种检查。
关于整个系列，请参见[兹比尔1486.68011].

引用于1文件

MSC公司：

68季度xx 计算理论

软件：

NetKAT公司；nuXmv（数字）
PDF格式BibTeX公司 XML格式引用
\textit{J.Livesey}和\textit{D.Wojtczak}，莱克特。注释计算。科学。12867、354--370（2021；Zbl 07530245）
全文： 内政部

参考文献：

[1] Anderson，C.J.等人：NetKAT：网络的语义基础。摘自：第41届ACM SIGPLAN-SIGACT编程语言原理年会，POPL 2014，第113-126页。ACM（2014）·Zbl 1284.68100号
[2] Apt，K.R.，Grossi，D.，van der Hoek，W.：分布式闲聊的认知协议。摘自：《第十五届理性与知识理论方面会议记录》（TARK 2015）。EPTCS，第215卷，第51-66页（2016年）·Zbl 1483.68361号
[3] Apt，K.R.，Grossi，D.，van der Hoek，W.：什么时候两个流言蜚语是一样的？收录人：Barthe，G.、Sutcliffe，G.和Veanes，M.（编辑）LPAR-22。第22届程序设计、人工智能和推理逻辑国际会议。EPiC计算机系列，第57卷，第36-55页。EasyChair（2018年）·Zbl 1415.68215号
[4] Apt，K.R.，Kopczyñski，E.，Wojtczak，D.：关于八卦协议的计算复杂性。摘自：《第二十六届国际人工智能联合会议论文集》，2017年国际人工智能学会，第765-771页（2017年）
[5] 阿普特，吉尔吉斯斯坦共和国；Wojtczak，D。；迈克尔·L。；卡卡斯，A.，《关于流言逻辑的可判定性》，《人工智能中的逻辑》，18-33（2016），查姆：斯普林格，查姆·Zbl 1484.68226号 ·doi:10.1007/978-3-319-48758-82
[6] Apt，K.R.，Wojtczak，D.：闲话逻辑中的常识。摘自：《第十六届理性与知识理论方面会议论文集》（TARK 2017）。EPTCS，第251卷，第10-27页（2017）·Zbl 1483.68362号
[7] Apt，K.R.，Wojtczak，D.：公正终止八卦协议的可决定性。摘自：第21届国际程序设计、人工智能和推理逻辑会议论文集（LPAR 21）。Kalpa计算机出版物，第1卷，第73-85页（2017年）
[8] 公寓，KR；Wojtczak，D.，分布式认知八卦协议的验证，J.Artif。智力。研究（JAIR），62101-132（2018）·Zbl 1444.68255号 ·doi:10.1613/jair.1.11204
[9] Apt，K.R.，Wojtczak，D.：八卦逻辑中的开放性问题。摘自：第十七届理性与知识理论问题会议记录（TARK 2019）。EPTCS，第297卷，第1-18页（2019年）·Zbl 07450017号
[10] Attamah，M.，Van Ditmarsch，H.，Grossi，D.，Van der Hoek，W.：知识与八卦。摘自：《2014年ECAI会议录》，第21-26页。IOS出版社（2014）·Zbl 1366.68007号
[11] Bumby，RT，电话问题，SIAM J.代数离散方法，2，1，13-18（1981）·Zbl 0499.05034号 ·doi:10.1137/060202
[12] 卡瓦达，R。；Biere，A。；Bloem，R.，《nuXmv符号模型检查器》，计算机辅助验证，334-342（2014），查姆：施普林格，查姆·doi:10.1007/978-3-319-08867-9_22
[13] Cooper，M.C.、Herzig，A.、Maffre，F.、Maris，F.和Régnier，P.：简单认知规划：泛化闲聊。摘自：ECAI 2016年会议记录。《人工智能与应用前沿》，第285卷，第1563-1564页。IOS出版社（2016）
[14] MC库珀；Herzig，A。；Maris，F。；维亚尼，J。；Slavkovik，M.，时间认知八卦问题，多代理系统，1-14（2019），Cham:Springer，Cham·doi:10.1007/978-3-030-14174-5_1
[15] 费金，R。；JY Halpern；摩西，Y。；Vardi，MY，基于知识的程序，分布式计算。，10, 4, 199-225 (1997) ·Zbl 1448.68406号 ·doi:10.1007/s004460050038
[16] 加廷格，M。；Wagemaker，J。；Desharnais，J。；Guttmann，W。；Joosten，S.，《走向Netkat中的动态八卦分析》，《计算机科学中的关系和代数方法》，280-297（2018），查姆：斯普林格，查姆·Zbl 1518.68034号 ·doi:10.1007/978-3-030-02149-8_17
[17] Harary，F.，Schwenk，A.J.：图和有向图上的通信问题（1974）·Zbl 0307.05118号
[18] Hedetniemi，SM；Hedetniemi，ST；利斯特曼，AL，《通信网络中的流言蜚语和广播调查》，《网络》，18，4，319-349（1988）·Zbl 0649.90047号 ·doi:10.1002/net.3230180406
[19] Herzig，A。；马弗雷，F。；罗瓦索斯，M。；Vouros，G。；Julian，V.，《如何通过闲聊分享知识》，《多代理系统和协议技术》，249-263（2016），Cham:Springer，Cham·doi:10.1007/978-3-319-33509-4-20
[20] Herzig，A。；Maffre，F.，《如何通过八卦分享知识》，AI Commun。，30, 1, 1-17 (2017) ·Zbl 1373.68392号 ·doi:10.3233/AIC-170723
[21] 霍姆科维奇，J。；Klasing，R。；佩尔克，A。；Ruzicka，P。；Unger，W.，《通信网络中的信息传播——广播、闲聊、领导人选举和容错》（2005），海德堡：斯普林格·Zbl 1067.68016号 ·doi:10.1007/b137871
[22] Kempe，D.、Dobra，A.、Gehrke，J.：基于Gossip的聚合信息计算。摘自：第44届IEEE计算机科学基础年会论文集，FOCS 2003，第482-491页。IEEE（2003）
[23] Kermarrec，A。；van Steen，M.，《分布式系统中的闲聊》，Oper。系统。第41、5、2-7版（2007年）·doi:10.1145/1317379.1317381
[24] 拉丁，R。；Liskov，B。；Shrra，L。；Ghemawat，S.，《使用延迟复制提供高可用性》，ACM Trans。计算。系统。（TOCS），10，4，360-391（1992）·doi:10.1145/138873.138877
[25] Tijdeman，R.，关于电话问题，Nieuw Arch。voor Wiskunde，3，XIX，188-192（1971）·Zbl 0226.05001号
[26] van Ditmarsch，H.、Grossi，D.、Herzig，A.、van der Hoek，W.、Kuijer，L.B.：认知性流言蜚语问题的参数。摘自：第十二届逻辑与博弈与决策理论基础会议论文集（2016）
[27] van Ditmarsch，H。；科基尼，I。；Belardinelli，F。；Argente，E.，《连续闲聊的预期持续时间》，《多代理系统和协议技术》，131-146（2018），查姆：斯普林格，查姆·doi:10.1007/978-3-030-01713-2010
[28] van Ditmarsch，H。；Kokkini，I。；Stockmarr，A。；安，B。；巴赞，A。；Leite，J。；维拉塔，S。；van der Torre，L.，八卦中的可达性和期望，PRIMA 2017：多代理系统的原理和实践，93-109（2017），Cham:Spriger，Cham·Zbl 1498.68344号 ·doi:10.1007/978-3-319-69131-26
[29] van Ditmarsch，H。；van Der Hoek，W。；Kuijer，LB，八卦的逻辑，Artif。智力。，286, 103306 (2020) ·Zbl 1493.68346号 ·doi:10.1016/j.artint.2020.103306
[30] van Ditmarsch，H。；van Eijck，J。；帕尔多，P。；Ramezanian，R。；Schwarzentruber，F.，《动态八卦的认识论协议》，J.Appl。日志。，20，C，1-31（2017）·Zbl 1401.68017号 ·doi:10.1016/j.jal.2016.12.001
[31] van Ditmarsch，H。；van Eijck，J。；帕尔多，P。；Ramezanian，R。；Schwarzentruber，F.，《动态八卦》，公牛出版社。伊朗。数学。Soc.，45，1-28（2018）·Zbl 1401.68017号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。