×
斯梅茨，索尼娅;贝拉斯克斯·奎萨达，费尔南多·R。

基于群体规模的社交网络创建的逻辑研究。 （英语） Zbl 1425.91379号

J.日志。阿尔盖布。方法计划。 106, 117-140 (2019).
摘要：本文是一项正在进行的关于社交网络创建逻辑方面的研究计划的一部分。在我们建议的设置中，我们使用了距离在代理之间，定义为区分它们的特征数量。遵循认知科学文献的思想，我们通过采用群体规模方法：每个代理的新社交空间将包含距离她更近的代理。本文研究了由此产生的网络的性质，为描述社交网络创建操作所带来的变化的逻辑语言提供了一个完善的公理系统。这不仅适用于距离相对于全部的基本特征和距离相对于其给定子集的更一般特征，但也适用于更有趣的场景，其中距离相对于一组更复杂的特征社会的特征。

引用于2文件

MSC公司：

91天30分 社交网络；意见动态
03B42号 知识和信念的逻辑（包括信念变化）

关键词：

社交网络;社交网络创建;相似性;组大小;动态认知逻辑
PDF格式BibTeX公司 XML格式引用
\textit{S.Smets}和\textit{F.R.Velázquez-Quesada}，J.Log。阿尔盖布。方法计划。106117-140（2019年；Zbl 1425.91379）
全文： 内政部

参考文献：

[1] Apt，K.R。；格罗西，D。；van der Hoek，W.，《分布式闲聊的认识论协议》，（Ramanujam，R.，《理性和知识理论方面的第十五届会议论文集》，《理性与知识理论方面第十五届大会论文集》（TARK 2015），美国匹兹堡卡内基梅隆大学，2015年6月4日至6日。理性和知识的理论方面第十五次会议记录。《第十五届理性与知识理论方面会议论文集》，TARK 2015，美国匹兹堡卡内基梅隆大学，2015年6月4-6日，EPTCS，第215卷（2015）），51-66·Zbl 1483.68361号
[2] Areces，C。；ten Cate，B.，《混合逻辑》（Blackburn，P.；van Benthem，J.；Wolter，F.，《模态逻辑手册》，《逻辑和实践推理研究》，第3卷（2006），爱思唯尔科学公司：爱思唯尔科学公司阿姆斯特丹），821-868
[3] Baltag，A。；莫斯，L.S。；Solecki，S.，《公开声明、常识和私人怀疑的逻辑》（Gilboa，I.，《TARK-98会议录》（1998）），43-56
[4] Baltag，A。；克里斯托夫，Z。；汉森，J.U。；Smets，S.，《信息级联的逻辑模型》，（van Benthem，J.；Liu，F.，《大学内的逻辑：基础与应用》，《大学逻辑：基础和应用》，清华逻辑会议论文集，北京，2013年。大学逻辑：基础与应用。《大学逻辑：基础与应用》，《清华逻辑会议论文集》，北京，2013年，《逻辑研究》，第47卷（2013年），大学出版物：伦敦大学出版物，405-432·Zbl 1306.91116号
[5] Baltag，A。；克里斯托夫，Z。；Rendsvig，R.K。；Smets，S.，社交网络中扩散和预测的动态认知逻辑（扩展抽象），（Bonanno，G.；van der Hoek，W.；Perea，A.，《2016年LOFT会议录》（2016））
[6] Baltag，A。；博迪，R。；Smets，S.，《质疑认识论中的群体知识》，（van Ditmarsch，H.；Sandu，G.，Jaakko Hintikka，Jaakco Hintikca，《对逻辑的杰出贡献》，第12卷（2018），斯普林格出版社），131-164·Zbl 1437.03057号
[7] 布莱克本，P。；de Rijke先生。；Venema，Y.，《模态逻辑》，《剑桥理论计算机科学丛书》，第53卷（2001年），剑桥大学出版社：剑桥大学出版社，英国剑桥·Zbl 0988.03006号
[8] Burgess，J.P.，《基本时态逻辑》（Gabbay，D.；Guenthner，F.，《哲学逻辑手册》第二卷（1984），Reidel），第89-133页·Zbl 0875.03046号
[9] 克里斯托夫，Z。；Hansen，J.U。；Proietti，C.，《反思网络中的社会影响》，J.Log。语言信息，25，3-4，299-333（2016）·Zbl 1396.03082号
[10] de Rijke，M.，《不等式的模态逻辑》，J.Symb。日志。，57, 2, 566-584 (1992) ·Zbl 0788.03019号
[11] DeGroot，M.H.，达成共识，美国统计协会，69，345，118-121（1974）·Zbl 0282.92011号
[12] Deza，M.M。；Deza，E.，《距离百科全书》（2009），斯普林格：斯普林格柏林，海德堡·Zbl 1167.51001号
[13] Diener，E。；维茨，D。；Oishi，S.，《额定生活质量的最终影响：詹姆斯·迪恩效应》，《心理学》。科学。，12、2、124-128（2001），PMID:11340920
[14] Diestel，R.，《图论，数学研究生教材》，第173卷（2017年），斯普林格·弗拉格：斯普林格尔·弗拉格柏林，海德堡·Zbl 1375.05002号
[15] Do，上午。；Rupert，A.V。；Wolford，G.，《愉悦体验的评价：巅峰终结法则》，《精神病学家》。牛市。版次：15、1、96-98（2008年2月）
[16] Dunbar，R.I.M.，新皮质大小对灵长类群体大小的约束，J.Hum.Evol。，22669-493（1992年）
[17] Easley，D。；Kleinberg，J.，《网络、人群和市场：高度互联世界的推理》（2010），剑桥大学出版社：剑桥大学出版社，纽约·Zbl 1205.91007号
[18] Estrada，E.，《复杂网络的结构：理论与应用》（2011），牛津大学出版社：牛津大学出版社，纽约
[19] 费金，R。；Halpern，J.Y。；摩西，Y。；Vardi，M.Y.，《关于知识的推理》（1995），麻省理工学院出版社：麻萨诸塞州剑桥·Zbl 0839.68095号
[20] （Fiske，S.T.；Gilbert，D.T.；Lindzey，G.，《社会心理学手册》（2010），威利：美国新泽西州威利），第1卷和第2卷
[21] 弗雷德里克森，B.L.，《从过去的情感体验中提取意义：高峰、终点和特定情感的重要性》，Cogn。艾默特。，14, 4, 577-606 (2000)
[22] 弗雷德里克森，B.L。；Kahneman，D.，《情感事件回顾性评估中的持续时间忽视》，J.Pers.Soc.Psychol。，65, 1, 45-55 (1993)
[23] French，J.R.P.，《社会权力的形式理论》，《心理学》。修订版，63、3、181-194（1956年）
[24] Gabbay，D.M。；普努利，A。；谢拉，S。；Stavi，J.，《基于公平的时间基础》，（Abrahams，P.W.；Lipton，R.J.；Bourne，S.R.，《第七届美国计算机学会编程语言原则研讨会会议记录》，第七届全美计算机学会程序语言原则研讨会，1980年1月，美国内华达州拉斯维加斯（1980），美国计算机学会出版社），163-173
[25] 加戈夫，G。；帕西，S。；Tinchev，T.，布尔推测的模态环境，（Skordev，D.G.，《数学逻辑及其应用》（1987），Plenum出版社），253-263·Zbl 0701.03008号
[26] Goldblatt，R.I.，《直系词的语义分析》，J.Philos。日志。，3, 1-2, 19-35 (1974) ·Zbl 0278.02023号
[27] Harel，D。；Kozen，D。；Tiuryn，J.，《动态逻辑》（2000），麻省理工学院出版社：美国剑桥麻省理学院出版社·Zbl 0976.68108号
[28] Hintikka，J.，《知识与信仰：两个概念的逻辑导论》（1962），康奈尔大学出版社：康奈尔大学出版社，纽约伊萨卡
[29] 霍普克罗夫特，J.E。；Motwani，R。；Ullman，J.D.，《自动机理论、语言和计算导论-国际版》（2003），Addison-Wesley
[30] Kahneman，D。；弗雷德里克森，B.L。；Schreiber，C.A。；Redelmeier，D.A.，《当更多的痛苦优先于更少的痛苦时：增加更好的结局》，心理医生。科学。，4, 6, 401-405 (1993)
[31] Kamp，H.，时态逻辑与线性秩序理论（1968），加利福尼亚大学：加利福尼亚大学洛杉矶分校，博士论文
[32] 莱勒，K。；Wagner，C.，《科学与社会中的理性共识》。《哲学和数学研究》，《哲学哲学研究丛书》，第24卷（1981年），多德雷赫特·赖德尔出版公司：荷兰多德雷希特出版公司·兹比尔0469.90002
[33] 刘，F。；塞利格曼，J。；Girard，P.，《社区信仰变化的逻辑动力学》，Synthese，191，11，2403-2431（2014）·兹比尔1317.03010
[34] MacCarron，P。；Kaski，K。；邓巴，R.I.M.，呼叫邓巴的号码，Soc.Netw。，47, 151-155 (2016)
[35] 我·麦卡洛。；阿姆斯特朗，H。；Johnson，A.，《社交网络应用分析》（2013），John Wiley&Sons，Inc.：美国新泽西州John Willey&Sons公司
[36] （Naldi，G.；Pareschi，L.；Toscani，G.，《社会经济和生命科学中集体行为的数学建模》（2010），Birkhäuser:Birkháuser Boston）·Zbl 1200.91010号
[37] R·帕里赫。；Ramanujam，R.，《基于知识的消息语义》，J.Log。语言信息，12，4，453-467（2003）·Zbl 1031.03021号
[38] 佩德森，T。；Slavkovik，M.，冲突社会影响的形式模型，（An，B.；Bazzan，A.L.C.；Leite，J.；Villata，S.；van der Torre，L。W.N.，PRIMA 2017：多代理系统的原理和实践-第20届国际会议。2017年10月30日至11月3日在法国尼斯举行的第20届国际会议《PRIMA 2017：多代理系统的原理与实践》，会议记录。2017年PRIMA：第20届国际会议：多代理系统的原理与实践。2017年PRIMA：《多代理系统的原理与实践》，第20届国际会议，法国尼斯，2017年10月30日至11月3日，《计算机科学学报》，第10621卷（2017），施普林格出版社，349-365·Zbl 1503.91077号
[39] Plaza，J.A.，公共通信逻辑，（Emrich，M.L.；Pfeifer，M.S.；Hadzikadic，M.；Ras，Z.W.，《第四届智能系统方法学国际研讨会论文集》（1989），橡树岭国家实验室：美国田纳西州橡树岭国立实验室），201-216，ORNL/DSRD-24
[40] Prior，A.N.，《时间与模式》（1957），克拉伦登出版社：牛津克拉伦登出版公司·Zbl 0079.00606号
[41] 罗伯茨，S.G.B。；威尔逊，R。；Fedurek，P。；邓巴，R.I.M.，《个人差异与个人社交网络规模和结构》，《个人》。不同。，44, 4, 954-964 (2008)
[42] Sain，I.，在证明程序的部分正确性方面，“some-other-time”有时比“some”更好吗？，螺柱日志。，47, 3, 279-301 (1988) ·Zbl 0684.68031号
[43] 塞利格曼，J。；刘，F。；Girard，P.，《社区中的逻辑》（Banerjee，M。；Seth，A.，《逻辑及其应用——第四届印度会议》。逻辑及其应用——第四届印度会议，ICLA 2011，印度德里，2011年1月5日至11日，会议记录。逻辑及其应用——第四届印度会议。逻辑及其应用——第四届印度会议，ICLA 2011，印度德里，2011年1月5日至11日，计算机科学论文集，第6521卷（2011），Springer），178-188·兹比尔1303.03043
[44] 肖姆，Y。；Leyton-Brown，K.，《多智能体系统-算法、博弈论和逻辑基础》（2009），剑桥大学出版社·Zbl 1163.91006号
[45] Sietsma，F。；van Eijck，J.，《动态认知逻辑环境中的信息传递》，（Apt，K.R.，《第13届理性与知识理论方面会议论文集》，《第十三届理性与认知理论方面会议文献集》，TARK-2011，荷兰格罗宁根，2011年7月12-14日（2011），ACM），212-220
[46] Smets，S。；Velázquez-Quesada，F.R.，《如何结交朋友：创建社会团体的逻辑方法》（Baltag，a.；Seligman，J。；Yamada，T.，《逻辑、理性与互动——第六届国际研讨会》。逻辑、合理性和互动——第六届国际研讨会，2017年LORI，2017年9月11日至14日，日本札幌，会议记录。逻辑、理性和互动——第六届国际研讨会。逻辑、理性与互动——第六届国际研讨会，LORI 2017，日本札幌，2017年9月11日至14日，计算机科学论文集，第10455卷（2017），Springer），377-390·Zbl 1495.91097号
[47] Smets，S。；Velázquez-Quesada，F.R.，《社交网络的创建和变化：基于群体规模的逻辑研究》（Madeira，a。；Benevides，M.，《动态逻辑》。新趋势和应用——第一次国际研讨会。动态逻辑。新趋势和应用——第一届国际研讨会，2017年9月23日至24日，巴西巴西利亚，DALI 2017，会议记录。动态逻辑。新趋势和应用——第一次国际研讨会。动态逻辑。新趋势和应用——第一届国际研讨会，2017年DALI，巴西巴西利亚，2017年9月23日至24日，计算机科学论文集，第10669卷（2017），施普林格出版社，171-184·Zbl 1499.91080号
[48] Smets，S。；Velázquez-Quesada，F.R.，《社会群体创建的逻辑视角》，（Arazim，P.；Lávička，T.，《2017年逻辑年鉴》（2018），大学出版物：英国伦敦大学出版物），271-288·Zbl 1418.03145号
[49] S.Smets，F.R.Velázquez-Quesada，《基于亲近度和优先级的社交网络创建逻辑研究》，提交中，2018年5月。；S.Smets，F.R.Velázquez-Quesada，《基于亲近度和优先级的社交网络创建逻辑研究》，提交中，2018年5月。
[50] Solaki，A。；Terzopoulou，Z。；赵，B.，《亲密度修正的逻辑：社交网络中的挑战性关系》，（Köllner，M.；Zai，R.，《2016年ESSLLI学生会议论文集》（2016）），123-134
[51] ten Cate，B.，扩展模态语言的模型理论（2005），荷兰阿姆斯特丹大学逻辑、语言和计算研究所（ILLC）：荷兰阿姆斯特丹大学逻辑、语言和计算研究所（ILLC），ILLC论文系列DS-2005-01·Zbl 1089.03014号
[52] van Benthem，J.，最小道义逻辑（抽象），布尔。第节。日志。，8，1，36-41（1979年）·Zbl 0408.03016号
[53] van Benthem，J.，《开放思维的模态逻辑》，CSLI课堂讲稿
[54] van Benthem，J.，《信息与交互的逻辑动力学》（2011），剑桥大学出版社·Zbl 1251.03003号
[55] van Benthem，J。；杰布兰迪。；Hoshi，T。；Pacuit，E.，《融合互动框架》，J.Philos。日志。，38, 5, 491-526 (2009) ·Zbl 1185.03019号
[56] van Ditmarsch，H。；范德霍克，W。；Kooi，B.，《动态认识逻辑》，《综合图书馆丛书》，第337卷（2008年），施普林格：施普林格-多德雷赫特出版社，荷兰·Zbl 1156.03015号
[57] van Ditmarsch，H。；van Eijck，J。；帕尔多，P。；Ramezanian，R。；Schwarzentruber，F.，《动态八卦的认识论协议》，J.Appl。日志。，20, 1-31 (2017) ·Zbl 1401.68017号
[58] Velázquez-Quesada，F.R.，《基于可靠性的偏好动力学：词典学升级》，J.Log。计算。(2017) ·Zbl 1402.68179号
[59] 王，Y。；曹琼，《论公告逻辑的公理化》，《综合》，第190期，补编第1期，第103-134页（2013）·Zbl 1310.03029号
[60] 王，Y。；Sietsma，F。；van Eijck，J.，《通信渠道上的信息流逻辑》，（van der Hoek，W.；Kaminka，G.A.；Lespérance，Y.；Luck，M.；Sen，S.，第九届自治代理和多代理系统国际会议，2010年5月10日至14日，加拿大多伦多，AAMAS 2010，第1-3卷（2010），IFAAMAS），1447-1448年
[61] Wright，G.H.V.，《场所的模态逻辑》（Sosa，E.，《尼古拉斯·雷舍尔的哲学》，《尼古拉斯·雷舍尔哲学》，哲学哲学研究丛书，第15卷（1979年），D.Reidel出版公司：D.Reider出版公司，荷兰多德雷赫特），45-58
[62] Zhen，L。；塞利格曼，J.，同龄人压力动力学的逻辑模型，电子。注释Theor。计算。科学。，278, 275-288 (2011) ·Zbl 1347.68319号
[63] 周，W.-X。；Sornette，D。；Hill，R.A。；Dunbar，R.I.M.，《社会群体规模的离散层次组织》，Proc。R.Soc.伦敦。B、 生物。科学。，272, 1561, 439-444 (2005)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。