加权加标网络的稳定与平衡

逻辑学研究 2024 年第 4 期， 35–53                          文章编号： 1674-3202(2024)-04-0035-19

作者：王轶、董惠敏

摘要：经典结构平衡理论对不带权重的加标网络有较为完善的研究。Morrissette（1958）将结构平衡理论推广到加权加标网络并加以经验研究。近年来出现了基于时态逻辑 CTL 的结构平衡逻辑研究，但所探讨的社会网络局限于不带权重的加标网络。本文将结构平衡逻辑推广到带权重的加标网络，引入几种适用的形式语言和语义，探讨由此得到的几个逻辑的表达能力，并给出证明系统。

关键词：加权加标网络；结构平衡理论；稳定性；平衡性；分支时间逻辑

中图分类号：B81                                         文献标识码：A