This paper is part of an on-going programme on the study of the logical aspects of social network formation. It recalls the so-called social network model, discussing the properties of a notion of closeness between agents (in terms of the number of traits they have in common); then introduces an extended social network model in which different agents might assign different values to different traits, discussing the properties of the notion of weighted closeness that arises. These notions are used to define social network creation operations by means of a threshold strategy. The paper studies the properties of the social networks the updates create, providing sound and complete axiom systems for formal languages describing these updates’ effects.

中文翻译：

---

基于紧密度和优先级的社交网络创建逻辑研究

本文是一项正在进行的研究社交网络形成逻辑方面的计划的一部分。它回顾了所谓的社交网络模型，讨论了代理之间的亲密度概念的属性（根据他们共同特征的数量）；然后介绍一个扩展的社交网络模型，在该模型中，不同的代理可能会为不同的特征分配不同的值，讨论出现的加权接近度概念的属性。这些概念用于通过阈值策略来定义社交网络创建操作。该论文研究了更新所创建的社交网络的属性，为描述这些更新效果的形式语言提供了完善且完整的公理系统。