乔治·西格纳拉尔;库兹涅茨，罗马;雨果·林康·加莱纳;乌尔里希·施密德 交际口译的逻辑：如何在翻译中不迷失方向。 （英语） Zbl 07842296号 Sattler，Uli（编辑）等人，《联合系统的前沿》。第14届国际研讨会，弗罗科斯2023年，捷克共和国布拉格，2023年9月20日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14279, 119-136 (2023). 摘要：拜占庭容错分布式系统设计用于在出现任意故障时提供恢复能力，即即使存在不遵循通用协议的代理和/或通信受损的代理。因此，人们通常把注意力集中在正确代理人的角度上，以至于拜占庭代理人的认知状态被完全忽视。由于这种观点依赖于一种假设，即有缺陷的代理可能会武断地进行敌对行为，因此在许多情况下过于保守。例如，在区块链设置中，不诚实的玩家通常不是恶意的，而是自私的，因此只遵循一些与诚实玩家的协议不同的“隐藏”协议。类似地，在高可用性大规模分布式系统中，软件更新不能是全局即时的，而是逐节点执行。因此，更新和未更新的节点可能同时涉及到解决分布式任务（如共识或事务提交）的协议中。显然，在这种情况下，通常对协议常识的假设是不合适的。另一方面，如果没有这个假设，联合协议执行，有时甚至是基本通信都会出现问题：代理如何在不知道相互通信协议的情况下解释彼此的消息？我们提出了一种新的认知情态信条用于在具有代理的异构分布式系统中进行认知推理，代理不确定其对等方使用的实际通信协议。我们表明，结果逻辑与模态逻辑密切相关第5章，分布式系统中认知推理的标准逻辑。我们通过几个示例演示了我们的方法的实用性。有关整个系列，请参见[Zbl 07768594号]. MSC公司： 68米14 分布式系统 03B42号 知识和信念的逻辑（包括信念变化） 03B70号 计算机科学中的逻辑 68米15 网络和计算机系统的可靠性、测试和容错 PDF格式BibTeX公司 XML格式引用 \textit{G.Cignarale}等人，Lect。注释计算。科学。14279、119--136（2023；Zbl 07842296） 全文： 内政部 OA许可证 参考文献： [1] 阿杰马尼，S。；Liskov，B。；Shrra，L。；Thomas，D.，《分布式系统的模块化软件升级》，ECOOP 2006-面向对象编程，452-476（2006），海德堡：施普林格·doi:10.1007/11785477_26 [2] Amoussou Guenou，Y.，Biais，B.，Potop Butucaru，M.，Tucci Piergiovanni，S.：基于共识的区块链中的理性与拜占庭玩家。收录于：《AAMAS 2020：第19届自治代理和多代理系统国际会议记录》，第43-51页。IFAAMAS（2020）。doi:10.5555/3398761.3398772 [3] 阿特莫夫，S。；阿特莫夫，S。；Nerode，A.，《可观测模型》，《计算机科学逻辑基础》，12-26（2020），查姆：斯普林格，查姆·兹比尔1485.03035 ·doi:10.1007/978-3-030-36755-8_2 [4] 阿提亚，H。；Welch，J.，《分布式计算：基础、模拟和高级主题》（2004），霍博肯：威利·doi:10.1002/0471478210 [5] 比尔科娃，M.，克里斯托夫，Z.，罗伊，O.：用名字重新审视认知逻辑。摘自：《理性与知识的理论方面第十八届会议论文集：中国北京，2021年6月25日至27日》。理论计算机科学电子论文集，第335卷，第39-54页。开放出版协会（2021）。doi:10.4204/eptcs.335.4 [6] 卡斯塔涅达，A。；Gonczarowski，YA；Moses，Y.，《无法战胜的共识》，《分配计算》。，35, 2, 123-143 (2022) ·Zbl 1483.68025号 ·doi:10.1007/s00446-021-00417-3 [7] Cignarale，G。；施密德，美国。；Tahko，T。；Kuznets，R.，《先验信念在容错分布式系统设计和分析中的作用》，Mind。机器。，33, 2, 293-319 (2023) ·doi:10.1007/s11023-023-09631-3 [8] 库卢里斯，G。；多利莫尔，J。；Kindberg，T。；Blair，G.，《分布式系统：概念与设计》（2011），波士顿：Addison-Wesley出版社，波士顿 [9] van Ditmarsch，H。；范德霍克，W。；Kooi，B.，《动态认识逻辑》，综合图书馆（2007），多德雷赫特：施普林格出版社·Zbl 1156.03015号 ·doi:10.1007/978-1-4020-5839-4 [10] Fruzsa，K.，Kuznets，R.，van Ditmarsch，H.：一个新的希望。收录于：Fernández-Duque，D.，Palmigiano，A.，Pinchinat，S.（编辑）《模态逻辑进展》，第14卷，第349-370页。学院出版物（2022）·Zbl 1531.03024号 [11] Fruzsa，K.，Kuznets，R.，Schmid，U.：火！摘自：《理性与知识的理论方面第十八届会议论文集：中国北京，2021年6月25日至27日》。理论计算机科学电子论文集，第335卷，第139-153页。开放出版协会（2021）。doi:10.4204/EPTCS.335.13 [12] Groce，A。；J.Katz。；Thiruvengadam，A。；齐卡斯，V。；Czumaj，A。；Mehlhorn，K。；Pitts，A。；Wattenhofer，R.，《拜占庭与理性对手的协议》，《自动化、语言与编程》，561-572（2012），海德堡：斯普林格，海德伯格·Zbl 1367.68019号 ·doi:10.1007/978-3-642-31585-550 [13] Halpern，JY，《使用知识推理分析分布式系统》，《计算机年鉴》。科学。，2, 37-68 (1987) ·doi:10.1146/annurev.cs.02.060187.000345 [14] JY Halpern；Moses，Y.，《分布式环境中的知识和常识》，J.ACM，37，3，549-587（1990）·Zbl 0699.68115号 ·doi:10.1145/79147.79161 [15] 辛提卡，J.，《知识与信仰：两个概念的逻辑导论》（1962），纽约：康奈尔大学出版社，纽约 [16] Kuznets，R.，Prosperi，L.，Schmid，U.，Fruzsa，K.：拜占庭多智能体系统中的因果关系和认知推理。收录于：Moss，L.S.（编辑）《理性与知识的理论方面第十七届会议论文集》：法国图卢兹，2019年7月17日至19日。《理论计算机科学电子论文集》，第297卷，第293-312页。开放出版协会（2019年）。doi:10.4204/EPTCS.297.19·Zbl 07450035号 [17] 库兹涅茨，R。；Prosperi，L。；施密德，美国。；Fruzsa，K。；Herzig，A。；Popescu，A.，《与拜占庭断层代理人的认识论推理》，《组合系统的前沿》，259-276（2019），查姆：斯普林格，查姆·Zbl 1435.68317号 ·文件编号：10.1007/978-3-030-29007-8_15 [18] Kuznets，R.，Prosperi，L.，Schmid，U.，Fruzsa，K.，Gréaux，L.：拜占庭信息传递系统知识I：框架和因果锥。技术报告。TUW-260549，TU Wien（2019）。https://publik.tuwien.ac.at/files/publik_260549.pdf [19] Lamport，L。；肖斯塔克，R。；Pease，M.，《拜占庭将军问题》，ACM Trans。程序。语言系统。，4, 3, 382-401 (1982) ·Zbl 0483.68021号 ·doi:10.1145/357172.357176 [20] 刘，F。；Wang，Y.，《关于代理类型和有史以来最难的逻辑难题的推理》，Mind。机器。，23, 1, 123-161 (2013) ·doi:10.1007/s11023-012-9287-x [21] Lynch，N.A.：分布式算法。Morgan Kaufmann，伯灵顿（1996）·Zbl 0877.68061号 [22] Moses，Y.：关联知识与协调行动：先决条件原则的知识。摘自：Ramanujam，R.（ed.）《理性与知识理论方面的第十五届会议论文集：卡内基梅隆大学，美国匹兹堡，2015年6月4日至6日》。理论计算机科学电子论文集，第215卷，第231-245页。开放出版协会（2015）。doi:10.4204/EPTCS.215.17·Zbl 1483.68423号 [23] 摩西，Y。；Rajsbaum，S.，《共识的分层分析》，SIAM J.Compute。，31, 4, 989-1021 (2002) ·Zbl 1015.68079号 ·doi:10.1137/S0097539799364006 [24] 摩西，Y。；Shoham，Y.，《作为可废止知识的信念》，Artif。智力。，64, 2, 299-321 (1993) ·Zbl 0787.68095号 ·doi:10.1016/0004-3702（93）90107-M [25] Saur，K.、Collard，J.、Foster，N.、Guha，A.、Vanbever，L.、Hicks，M.：SDN的安全灵活控制器升级。摘自：软件定义网络（SDN）研究研讨会（SOSR 2016）：2016年3月14日至15日，加利福尼亚州圣克拉拉（2016）。数字对象标识代码：10.1145/2890955.2890966 [26] Smullyan，RM，这本书的名字是什么？《德古拉之谜和其他逻辑难题》（1978），《霍博肯：普伦蒂斯·霍尔》，霍博肯·Zbl 0432.00028号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。