米娜·杨·佩德森;斯梅茨，索尼娅;托马斯·奥戈特内斯 迈向社交网络两极分化逻辑的进一步步骤。 （英语） Zbl 07578376号 Dastani，Mehdi（编辑）等人，《逻辑与论证》。第三届国际会议，CLAR 2020，中国杭州，2020年4月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12061, 324-345 (2020). 摘要：在这篇文章中，我们研究了不同的方式来定义与签名社交网络中平衡概念相关的属性，其中关系可以是积极的也可以是消极的。其动机是能够对群体两极分化的社会现象进行形式上的推理，而平衡理论则为其形成了网络理论基础。起点是最近开发的一种基本模式逻辑，该逻辑将社交网络类公理化，并在一定程度上实现了平衡。此属性无法进行模式定义，但可以使用演绎规则捕获。在本文中，我们研究了扩展这种基本语言的不同可能性，以便，首先，能够将框架属性（如平衡）和相关属性（如非重叠正负关系和集合连通性）定义为公理，其次，能够定义满的平衡而非达到a级平衡。我们考虑了静态模态的扩展，如普遍模态和差异模态、交集模态、混合逻辑中已知的名词，以及破坏逻辑中已知的动态全局桥接模态。在此过程中，我们为弱平衡提供了公理。最后，为了探索网络距离极化多远的度量，我们考虑并比较了模型之间距离度量相对于平衡的变化。关于整个系列，请参见[Zbl 1496.03007号]. 引用于5文件 MSC公司： 03B70号 计算机科学中的逻辑 03B45号 模态逻辑（包括规范逻辑） 91天30分 社交网络；意见动态 关键词：极化;平衡;社会网络逻辑;模态逻辑;网络理论 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Pedersen}等人，Lect。注释计算。科学。12061，324--345（2020；Zbl 07578376） 全文： 内政部 参考文献： [1] 奥戈特内斯，T.，范德霍克，W.，伍尔德里奇，M.：保守社会法。摘自：《第20届欧洲人工智能会议论文集》，第49-54页。IOS出版社（2012）·Zbl 1327.68294号 [2] Areces，C.，ten Cate，B.：混合逻辑。收录：van Benthem，J.、Blackburn，P.、Wolter，F.（编辑）《模态逻辑手册》，第821-868页。Elsevier，阿姆斯特丹（2006） [3] Areces，C.，Fervari，R.，Hoffmann，G.：关系变化模态算子。日志。J.IGPL 23（4），601-627（2015）·Zbl 1405.03047号 ·doi:10.1093/jigpal/jzv020 [4] Aucher，G.，van Benthem，J.，Grossi，D.：重新审视破坏的模态逻辑。J.逻辑计算。28(2), 269-303 (2017) ·Zbl 1444.03041号 ·doi:10.1093/log.com/exx034 [5] Blackburn，P.，de Rijke，M.，Venema，Y.：模态逻辑。剑桥大学出版社，纽约（2001）·Zbl 0988.03006号 ·doi:10.1017/CBO9781107050884 [6] Bramson，A.等人：理解极化：含义、测量和模型评估。菲洛斯。科学。84(1), 115-159 (2017) ·数字对象标识代码：10.1086/688938 [7] Caridroit，T.、Konieczny，S.、de Lima，T.和Marquis，P.：KD45n Kripke模型之间的距离及其用于信念修正。摘自：ECAI会议记录，第1053-1061页。IOS出版社（2016）·Zbl 1521.03026号 [8] Cartwright，D.，Harary，F.：结构平衡：海德理论的概括。精神病。修订版63（5），277-293（1956）·doi:10.1037/h0046049 [9] Christoff，Z.，Hansen，J.U.：社交网络中传播的逻辑。J.应用。逻辑13（1），48-77（2015）·Zbl 1311.03037号 ·doi:10.1016/j.jal.2014.11.011 [10] Davis，J.A.：图中的聚类和结构平衡。嗯，相关。20(2), 181-187 (1967) ·doi:10.1177/001872676702000206 [11] van Ditmarsch，H.，van der Hoek，W.，Kooi，B.：动态认识逻辑。SYLI，第337卷。施普林格，多德雷赫特（2007）。https://doi.org/10.1007/978-1-4020-5839-4 ·Zbl 1156.03015号 ·doi:10.1007/978-1-4020-5839-4 [12] Doreian，P.，Mrvar，A.：结构平衡的分割方法。Soc.网络。18(2), 149-168 (1996) ·doi:10.1016/0378-8733（95）00259-6 [13] Easley，D.和Kleinberg，J.：网络、人群和市场。剑桥大学出版社，纽约（2010）·Zbl 1205.91007号 ·doi:10.1017/CBO9780511761942 [14] Estrada，E.，Benzi，M.：基于行走的签名网络平衡测量：检测社交网络中缺乏平衡。物理学。版本E 90（4），042802（2014）·doi:10.1103/PhysRevE.90.042802 [15] Fagin，R.，Halpern，J.Y.，Moses，Y.，Vardi，M.Y.：关于知识的推理。麻省理工学院出版社，剑桥（1995）·Zbl 0839.68095号 [16] Granovetter，M.S.：弱联系的力量。参见：《社交网络》，第347-367页。学术出版社（1977） [17] Harary，F.：关于有符号图的平衡概念。密歇根州数学。J.2（2），143-146（1953）·Zbl 0056.42103号 ·doi:10.1307/mmj/1028989917 [18] Harary，F.：关于结构平衡的测量。行为。科学。4(4), 316-323 (1959) ·doi:10.1002/bs.3830040405 [19] Heider，F.：态度和认知组织。《心理学杂志》。21, 107-112 (1946) ·doi:10.1080/00223980.1946.9917275 [20] 亨德里克斯，V.F.，汉森，P.G.：信息风暴。查姆施普林格（2016）。https://doi.org/10.1007/978-3-319-32765-5 ·doi:10.1007/978-3-319-32765-5 [21] Kirkley，A.、Cantwell，G.T.、Newman，M.E.J.：签名网络中的平衡。物理学。版本E 99（1），012320（2019）·doi:10.1103/PhysRevE.99.012320 [22] Leskovec，J.、Huttenlocker，D.、Kleinberg，J.：社交媒体中的签名网络。摘自：SIGCHI计算机系统人为因素会议记录，第1361-1370页（2010） [23] Li，D.：失去联系：可定义链接删除的模态逻辑。ILLC技术注释系列，X-2019-01（2019）·Zbl 1509.03072号 [24] Pedersen，M.Y.：极化和回声室：对社交网络中平衡和三元封闭的逻辑分析。逻辑硕士论文系列，MoL-2019-10（2019） [25] Pedersen，M.Y.，Smets，S.，Au gotnes，T.：分析回声室：强弱联系的逻辑。收录：Blackburn，P.、Lorini，E.、Guo，M.（编辑）LORI 2019。LNCS，第11813卷，第183-198页。斯普林格，海德堡（2019）。https://doi.org/10.1007/978-3-662-60292-8_14 ·Zbl 07160610号 ·doi:10.1007/978-3-662-60292-814 [26] Roelofsen，F.：分布式知识。J.应用。非类别。逻辑17（2），255-273（2007）·Zbl 1186.03032号 ·doi:10.3166/1月17日255-273 [27] Seligman，J.，Liu，F.，Girard，P.：脸书和友谊的认识逻辑。《理性与知识的理论方面会议记录》，第229-238页（2013年） [28] Sunstein，C.R.：群极化定律。J.政治哲学。10(2), 175-195 (2002) ·doi:10.1111/1467-9760.00148 [29] Sunstein，C.R.：群体两极分化和12个愤怒的人。内格特。J.23（4），443-447（2007）·doi:10.1111/j.1571-9979.2007.00155.x [30] Xia，W.，Cao，M.，Johansson，K.H.：信任社会网络中的结构平衡和意见分离。IEEE传输。控制网络。系统。3(1), 46-56 (2015) ·Zbl 1371.91145号 ·doi:10.1109/TCNS.2015.2437528 [31] 熊，Z。：关于社交网络中多播消息传递和平衡的逻辑。卑尔根大学博士论文（2017） [32] 熊，Z。，奥戈特内斯，T。：论社会网络中的平衡逻辑。《逻辑语言信息》29，53-75（2020）。https://doi.org/10.1007/s10849-019-09297-0 ·Zbl 1435.03058号 ·doi:10.1007/s10849-019-09297-0 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。