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

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