社会平衡的时态逻辑与程序实现

发布时间：2020-09-01 14:44

　　 社会网络分析不仅是重要的社会学理论,更是当前相关领域的研究热点。社会网络的结构平衡性是其重要性质。用于分析与研究社会平衡的动态分析理论为结构平衡理论。结构平衡理论最初被用于衡量主体认知结构的平衡特性,而后由于图论方法的引入,逐渐发展为一个高度形式化且适用面广的动态社会结构分析理论。近年来,逻辑学家们对社会网络领域产生了很大的兴趣并对此做了不少工作。不过,其中大部分研究工作关注网络中的信息与知识交换及其所造成的影响,而只有敌友逻辑关注社会网络自身的结构特征。敌友逻辑是一个基于结构平衡理论视角,用于研究社会网络结构性质与动态变化的时态逻辑。敌友逻辑以计算树逻辑为基础,其中每条时间线表示社会网络的一个动态变化过程。虽然敌友逻辑的模型检测与有效性检测问题被证明为PSPACE-完全,但前人并未给出相应的公理系统。本文首先依据描述方法对敌友逻辑进行公理化,并证明该公理系统具有可靠性与强完全性。而后,本文依据考虑关系强度的平衡理论研究,定义了强度网络及相应的稳定性与平衡性,并以敌友逻辑为基础,建立了考虑关系强度的敌友逻辑。再后,本文不仅通过规约及相应算法证明了考虑关系强度的敌友逻辑的模型检测问题为PSPACE-完全,还使用类似的描述方法,建立了考虑关系强度敌友逻辑的公理系统,并证明其可靠性与强完全性。最后,本文通过Python编程语言,编写了考虑关系强度的敌友逻辑的模型检测工具。
【学位单位】：浙江大学
【学位级别】：硕士
【学位年份】：2019
【中图分类】：B815.5

【相似文献】

相关期刊论文 前10条

1 霍书全;;普莱尔混合时态逻辑的思想基础[J];逻辑学研究;2016年02期

2 冯彦波;;论时态逻辑的新发展[J];郑州航空工业管理学院学报(社会科学版);2008年04期

3 包磊;;运用命题时态逻辑解析“半费之讼”[J];三峡大学学报(人文社会科学版);2007年S2期

4 张广泉,孙敏;时态逻辑的比较与分析[J];渝州大学学报(自然科学版);1999年02期

5 韩俊刚;硬件设计的形式验证与时态逻辑[J];计算机辅助设计与图形学学报;1990年01期

6 张骏林;李江宏;;用于协议描述及验证的时态逻辑[J];计算机应用与软件;1992年02期

7 唐同诰;带等词的一阶时态逻辑系统[J];复旦学报(自然科学版);1985年02期

8 刘清;建立在时态逻辑公式演绎基础上的程序设计[J];计算机应用与软件;1989年01期

9 孙传宏;郭志刚;;Be的时态逻辑形式[J];福建外语;1989年Z2期

10 刘清;;时态逻辑与程序设计语言[J];计算机科学;1989年05期

相关会议论文 前7条

1 陈玉泉;陈宣;陆汝占;;内涵时态逻辑的语义解释系统[A];自然语言理解与机器翻译——全国第六届计算语言学联合学术会议论文集[C];2001年

2 费定舟;;基于分枝时间框架的通信系统的BDI模型[A];2005年全国理论计算机科学学术年会论文集[C];2005年

3 张建军;罗景仁;;一个新的时态逻辑系统和DB形式化描述方法[A];第九届全国数据库学术会议论文集(上)[C];1990年

4 田国会;刘长有;徐心和;;离散事件动态系统理论的时态逻辑研究方法[A];1996中国控制与决策学术年会论文集[C];1996年

5 王飞明;胡元闯;董荣胜;;模型检测中状态爆炸及其优化策略研究[A];广西计算机学会2008年年会论文集[C];2008年

6 刘新;邹丽;;直觉模糊时态逻辑[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

7 田国会;刘长有;徐心和;;实时离散事件系统的TOOCPN/RTTL研究框架[A];1997中国控制与决策学术年会论文集[C];1997年

相关博士学位论文 前4条

1 时慧娴;模态逻辑的计量化研究及其在模型检验中的应用[D];陕西师范大学;2013年

2 吕嘉;基于开放时态逻辑的面向方面程序形式化验证和模块推理研究[D];浙江大学;2009年

3 王善侠;极小非正规时态逻辑研究[D];西南大学;2017年

4 徐伟峰;多主体模型定量验证方法研究[D];吉林大学;2014年

相关硕士学位论文 前10条

1 骆犀羚;社会平衡的时态逻辑与程序实现[D];浙江大学;2019年

2 孙洋;关于带“现在”算子的时态逻辑研究[D];西南大学;2018年

3 汤飞;STALLOY：一种时空建模与分析语言[D];华东师范大学;2017年

4 张红军;一类对象Petri网建模与验证方法研究[D];郑州大学;2006年

5 张丽;时态公开宣告逻辑初探[D];西南大学;2009年

6 赵瑞芳;基于时态逻辑的XQuery树模式优化[D];北京工业大学;2016年

7 段廷银;基于云计算平台的时态逻辑模型检测算法研究与实现[D];郑州大学;2016年

8 刘冬宁;时态逻辑及其对知识库的构架与研究[D];广东工业大学;2004年

9 杨志;基于吴方法的高层次模型检验方法研究[D];哈尔滨工程大学;2008年

10 刘荣胜;离散实时Mobile Ambients[D];湖南师范大学;2007年

本文编号：2809875