10.3969/j.issn.1674-3202.2024.04.003
加权加标网络的稳定与平衡
经典结构平衡理论对不带权重的加标网络有较为完善的研究.Morrissette(1958)将结构平衡理论推广到加权加标网络并加以经验研究.近年来出现了基于时态逻辑CTL的结构平衡逻辑研究,但所探讨的社会网络局限于不带权重的加标网络.本文将结构平衡逻辑推广到带权重的加标网络,引入几种适用的形式语言和语义,探讨由此得到的几个逻辑的表达能力,并给出证明系统.
加权加标网络、结构平衡理论、稳定性、平衡性、分支时间逻辑
17
B81(逻辑学(论理学))
2024-09-19(万方平台首次上网日期,不代表论文的发表时间)
共19页
35-53