Multi-agent belief change is an area concerned with the belief dynamics of a network of communicating agents. A network is represented by a graph, where vertices represent agents that share information via a process of minimizing disagreements between themselves. Previous work by Delgrande, Lang, and Schaub addressed belief change through global minimization, with a weak notion of distance between agents. We extend it by applying iterative procedures that take distance into account. We have identified two approaches to iteration: in the first, a vertex incorporates information from its immediate neighbours only; in the second, a vertex incorporates information from progressively more distant neighbours. Our research has both theoretical and practical contributions: first, we define the iterative approaches, find relationships between them, and investigate their logical properties; then, we introduce a software system called Equibel that implements both the global and iterative approaches, using Answer Set Programming and Python.
展开▼
机译:多主体信念改变是与通信主体网络的信念动态有关的领域。网络由图形表示,其中顶点表示通过使自身之间的分歧最小化的过程共享信息的代理。 Delgrande,Lang和Schaub先前的工作通过全局最小化解决了信念改变,而代理之间的距离概念很弱。我们通过应用考虑距离的迭代过程来扩展它。我们已经确定了两种迭代方法:第一种,顶点仅包含来自其直接邻居的信息;在第二个中,顶点合并了来自越来越远的邻居的信息。我们的研究在理论和实践上都有贡献:首先,我们定义迭代方法,找到它们之间的关系,并研究其逻辑特性;然后,我们介绍一个称为Equibel的软件系统,该系统使用Answer Set Programming和Python来实现全局方法和迭代方法。
展开▼