在分布式系统中,经典的状态机复制(SMR)模型假设正确的副本执行确定性转移以产生相同的比特状态。然而,随着代理分布式系统的兴起——在这些系统中,自主、随机和模型驱动的代理协调基础设施——出现了确定性比特复制不足的场景。使用生成模型的副本可能表现出不同的推理路径、总结和令牌边界,但能够达成语义上等价且正确的操作决策。强制这些随机参与者之间的比特一致性会降低执行灵活性,导致上下文遗忘,并限制性能。我们认为在这种环境中,副本应当在信念上达成一致,而非比特。我们提出了认知状态复制(ESR),这是一个为代理分布式系统设计的信念复制层,将复制边界从数据可见性转移到知识可见性。
我们将认知节点状态形式化为一对 $K = (L, B)$,将确定性、不可变的证据日志($L$)与随机、不断演变的信念谱系($B$)分开。为确保执行安全性,我们定义了语义线性化,要求操作反映最新的已提交操作意义,并在验证者限制的语义兼容度度量下进行。我们还定义了有界最终一致性,限制在公平交付、单调证据、有界验证者干扰和收缩性嫁接运算符下的预期语义分歧。
我们概述了使用结构化的认知增量传播衍生见解的协议,并形式化了可验证的语义回滚,以在不引起上下文遗忘的情况下修剪信念谱系中的错误前提。我们原型化了ESR,并报告了初步的模拟结果,显示在所述假设下的可行性,并展示了次要认知错误的减少。
博主点评: 这项研究提出了一种新颖的信念复制机制,为复杂的代理系统提供了灵活的解决方案,强调了知识共享的重要性,而非仅仅依赖于比特数据的一致性。这种方法不仅提升了系统的智能性,还促进了更高效的决策过程。通过形式化的理论框架和实验验证,ESR展示了在动态环境中保持一致性的潜力,值得进一步研究和应用。