Applications of Knowledge Theory to Distributed Systems

本项目研究知识形式论的应用 分布式系统的理论。 重点是 应用理论技术获得经典的 分布式计算中的问题，设计基于知识的协议 解决其他问题，进一步研究知识的概念 并在派生实现中自动化各个阶段， 基于知识的协议。 该项目还研究了 概率系统中的知识，其中一个必须科普这两个 随机抛硬币和一些不确定的对手行为 系统中的元素。 另一个密切相关的问题是， 捕获不具备完美推理能力的智能体的知识 能力. 研究知识的目标之一， 概率系统和非完美推理机的知识是我们 确定在零知识中产生的知识类型 交互式证明 PI正在调查知识的概念 被博弈论家所使用，并试图应用他们的方法， 导致分布式系统中的问题。

This project studies the application of the formal theory of knowledge to the theory of distributed systems. The emphasis is on the application of theoretic techniques to gain lower bounds on classical problems in distributed computing, to design knowledge-based protocols that solve other problems, to study further the concept of knowledge based-protocols and to automate stages in deriving implementations of knowledge-based protocols. The project also studies the role of knowledge in probabilistic systems where one has to cope with both random coin flips and nondeterministic adversary behavior of some elements in the system. Another closely related issue is that of capturing the knowledge of agents who do not have perfect reasoning abilities. One of the goals in investigating knowledge in probabilistic systems and knowledge of non-perfect reasoners is us to determine the type of knowledge that arises in zero knowledge interactive proofs. The PI is investigating the concepts of knowledge used by game-theoreticians and trying to apply their methods and results to problems in distributed systems.