×
约瑟夫·霍尔珀（Joseph Y.Halpern）。;萨宾娜·彼得里德

基于知识的全局函数计算分析。 （英语） Zbl 1231.68080号

分布计算。 23，第3期，197-224（2010）.
摘要：考虑一个分布式系统，其中每个代理都有一个输入值，每个通信链路都有一种权重。给定一个全局函数，即其值取决于整个网络的函数\（f），目标是让每个代理最终计算值\（f（N）\）。我们把这个问题称为全局函数计算。针对该问题的实例，如布尔函数计算、领导选举、（最小）生成树构造和网络确定，已经提出了各种解决方案，每种解决方案都是在特定的假设下提出的，即处理器对系统的了解以及如何获得这些知识。我们给出了该问题可解的充要条件，推广了一些著名的结果[H.阿提亚,M.斯尼尔和M.K.Warmuth先生，J.协会计算。机器。35，第4期，845–875（1988年；Zbl 0662.68035号);山下先生和T.Kameda公司，IEEE传输。平行配送系统。7，第1期，69-89（1996年）；同上，第10号，第9，878–887（1999）]。然后，我们提供了一个基于知识的（kb）程序，尽可能解决全局函数计算。最后，我们通过提供一个反事实的基于信念的程序来改进初始kb程序中固有的消息开销，该程序还可以尽可能解决全局函数计算，但代理只在认为有必要时发送消息。后一个程序由许多著名的求解领导人选举的算法实现。

MSC公司：

64岁以下 分布式系统
68T27型 人工智能中的逻辑
68立方英尺 知识表示

关键词：

分布式代理系统;全局函数计算;领导人选举;基于知识的（kb）程序

引文：

Zbl 0662.68035号

软件：

Nuprl公司
PDF格式BibTeX公司 XML格式引用
\textit{J.Y.Halpern}和\textit{S.Petride}，分布式计算。23，第3号，197--224（2010；Zbl 1231.68080）
全文： 内政部

参考文献：

[1] Angluin，D.：处理器网络中的局部和全局属性。In：程序。第12届ACM交响乐团。《计算理论》，第82–93页（1980）
[2] Attiya H.、Gorbach A.、Moran S.：完全匿名异步共享内存系统中的计算。《Inf Comput》173（2），162-183（2002）·Zbl 1009.68012号 ·doi:10.1006/inco.2001.3119
[3] Attyia H.，Snir M.，Warmuth M.K.：匿名环上的计算。J.ACM 35（4），845–875（1988）·Zbl 0662.68035号 ·数字对象标识代码：10.1145/48014.48247
[4] Bellman R.：关于路由问题。夸脱。申请。数学。16(1), 87–90 (1958) ·Zbl 0081.14403号
[5] Bickford，M.，Constable，R.L.，Halpern，J.Y.，Petride，S.：使用事件结构的基于知识的分布式系统合成。In：程序。第11届国际程序设计、人工智能和推理逻辑会议（LPAR 2004）。计算机科学课堂讲稿，第3452卷，第449-465页。施普林格（2005）·Zbl 1108.68491号
[6] Chang E.，Roberts R.：流程圆形配置中分散极值查找的改进算法。Commun公司。ACM 22（5），281–283（1979）·Zbl 0394.68023号 ·数字对象标识代码：10.1145/359104.359108
[7] Constable R.L.等人：用Nuprl证明开发系统实现数学。新泽西州普伦蒂斯·霍尔（1986）
[8] 德沃克·C、摩西·Y：拜占庭环境中的知识和常识：崩溃失败。Inf.计算。88（2），156–186（1990年）·Zbl 0705.68019号 ·doi:10.1016/0890-5401（90）90014-9
[9] Engelhardt K.、van der Meyden R.、Moses Y.：支持知识和时间推理的程序优化框架。收录：Tiuryn，J.（编辑）Proc。软件科学和计算结构基础（FOSSACS 2000），第114-129页。施普林格，柏林/纽约（2000年）·Zbl 0961.68031号
[10] Engelhardt，K.，van der Meyden，R.，Moses，Y.：支持同步代理知识和时间推理的精化理论。In：程序。编程、人工智能和推理逻辑国际会议，第125-141页。施普林格，柏林/纽约（2001年）·Zbl 1275.68137号
[11] Fagin R.、Halpern J.Y.、Moses Y.、Vardi M.Y.：关于知识的推理。麻省理工学院出版社，剑桥（1995）·Zbl 0839.68095号
[12] Fagin R.、Halpern J.Y.、Moses Y.、Vardi M.Y.：基于知识的项目。分布计算。10（4），199–225（1997）·Zbl 1374.68102号 ·doi:10.1007/s004460050038
[13] Ford L.R.、Fulkerson D.R.：网络中的流动。普林斯顿大学出版社，新泽西州普林斯顿（1962）·Zbl 0106.34802号
[14] Friedman N.，Halpern J.Y.：动态系统中的建模信念。第一部分：基础。Artif公司。智力。95（2），257–316（1997）·Zbl 0894.68146号 ·doi:10.1016/S0004-3702（97）00040-4
[15] Gallager R.G.，Humblet P.A.，Spira P.M.：最小重量生成树的分布式算法。ACM事务处理。程序。语言系统。5(1), 66–77 (1983) ·Zbl 0498.68040号 ·数字对象标识代码：10.1145/357195.357200
[16] 格罗夫·A.J.：认知逻辑中的命名和同一性II：命名的一阶逻辑。Artif公司。智力。74(2), 311–350 (1995) ·Zbl 1012.03028号 ·doi:10.1016/0004-3702（95）98593-D
[17] Grove A.J.，Halpern J.Y.：认知逻辑中的命名和同一性，第一部分：命题案例。J.逻辑计算。3(4), 345–378 (1993) ·Zbl 0808.03009号 ·doi:10.1093/log/3.4.345
[18] Hadzilacos，V.：原子承诺协议的知识理论分析。程序中。第六交响乐团。《数据库系统原理》，第129-134页（1987年）
[19] Halpern J.Y.，Moses Y.：在基于知识的编程中使用反事实。分布计算。17(2), 91–106 (2004)
[20] Halpern J.Y.、Moses Y.、Waarts O.：最终拜占庭协议的特征。SIAM J.计算。31(3), 838–865 (2001) ·Zbl 1017.68007号 ·doi:10.1137/S0097539798340217
[21] Halpern J.Y.，Zuck L.D.：一点知识会有很大帮助：一系列协议的基于知识的推导和正确性证明。J.ACM 39（3），449–478（1992）·Zbl 0799.68024号 ·数字对象标识代码：10.1145/146637.146638
[22] Johnson，R.E.，Schneider，F.B.：分布式系统中的对称性和相似性。程序中。第四届ACM研讨会。《分布式计算原理》，第13–22页（1985年）
[23] Le Lann，G.：分布式系统——走向正式方法。摘自：IFIP大会，第7卷，第155-160页（1977年）
[24] 刘易斯·D·K：反事实。哈佛大学出版社，剑桥，马萨诸塞州（1973）
[25] Lynch N.：分布式算法。Morgan Kaufmann，旧金山（1997）
[26] Lynch N.A.，Tuttle M.R.：输入/输出自动机简介。。CWI Quarterly 2（3），219–246（1989）另见麻省理工学院技术备忘录MIT/LCS/TM-373
[27] Mazer，M.S.，Lochovsky，F.H.：通过知识推理分析分布式承诺。技术报告CRL 90/10，DEC-CRL（1990）
[28] Milner R.：沟通与并发。普伦蒂斯·霍尔，赫特福德郡（1989）·Zbl 0683.68008号
[29] Moses，Y.，Kislev，O.：面向知识的编程。In：程序。第12届ACM交响乐团。《分布式计算原理》，第261-270页（1993年）·Zbl 1374.68075号
[30] Moses，Y.，Roth，G.：关于可靠信息传播。In：程序。第八届ACM交响乐团。《分布式计算原理》，第119-128页（1989年）
[31] Moses Y.，Tuttle M.R.：使用常识编程同步动作。Algorithmica 3，121–169（1988）·Zbl 0646.68031号 ·doi:10.1007/BF0176212
[32] Peterson G.L.：圆形极值问题的O（nlogn）单向分布式算法。ACM事务处理。程序。语言系统。4(4), 758–762 (1982) ·Zbl 0489.68040号 ·doi:10.1145/69622.357194
[33] Stalnaker R.C.：条件逻辑的语义分析。收录于：Rescher，N.（编辑）《逻辑理论研究》，第98–112页。牛津大学出版社，英国牛津（1968）
[34] Stulp F.，Verbrugge R.：基于知识的互联网协议（TCP）算法。牛市。经济。第54（1）号决议，69-94（2002）·数字对象标识代码：10.1111/1467-8586.00140
[35] Yamashita M.，Kameda T.：匿名网络上的计算。描述可解情况。IEEE传输。平行配送系统。7(1), 69–89 (1996) ·doi:10.10109/71.481599
[36] Yamashita M.，Kameda T.：处理器标识号不明确的网络中的领导者选举问题。IEEE传输。平行配送系统。10(9), 878–887 (1999) ·doi:10.1109/71.798313
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。