Logics in Artificial Intelligence
Logics in Artificial Intelligence
复制标题
人工智能中的逻辑
DOI：
10.1007/978-3-319-48758-8_2
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Apt K
中科院分区：
文献类型：
--
作者：
Apt K
流言协议旨在通过点对点或组通信达到所有代理都知道彼此秘密的情况，参见，例如，[11]第10段。在[1]中，在[3]的基础上，我们研究了分布式认知八卦协议，这些协议是[6]中介绍的基于知识的程序的例子。这些协议使用从一个简单的认知逻辑作为警卫公式。我们在这里表明，这些协议是可实现的证明，它是可判定的，以确定是否有嵌套模态的公式是真的一系列调用后。在此基础上，我们进一步表明，部分正确性和终止的问题，这样的协议是可判定的，以及。
Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other secrets, see, e.g., [11]. In [1], building upon [3], we studied distributed epistemic gossip protocols, which are examples ofknowledge based programsintroduced in [6]. These protocols use as guards formulas from a simple epistemic logic. We show here that these protocols are implementable by proving that it is decidable to determine whether a formula with no nested modalities is true after a sequence of calls. Building upon this result we further show that the problems of partial correctness and of termination of such protocols are decidable, as well.