The Logic of Homophily Dynamics in Heterogeneous Networks: Axiomatization, Model Checking and Validity Checking

Social networks have received considerable attention from the modal logic community. In this article, we study and characterize one of the most important principles in the field of social networks. Homophily, which means similarity breeds association, reveals the nature of social organization. In or...

Full description

Saved in:
Bibliographic Details
Published in:Mathematics (Basel) 2023-08, Vol.11 (16), p.3484
Main Author: Luo, Xiling
Format: Article
Language:English
Subjects:
Algorithms
Analysis
axiom system
Axioms
computation tree logic
Food science
homophily
implication between attributes
Logic
model checking
Social network analysis
Social networks
Validity
validity checking
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Social networks have received considerable attention from the modal logic community. In this article, we study and characterize one of the most important principles in the field of social networks. Homophily, which means similarity breeds association, reveals the nature of social organization. In order to be able to express similarity and association together, we generalize the basic network and then define the heterogeneous network. The heterogeneous network is also defined to provide a good foundation for the use of logical approaches. The Logic of Homophily LHG,M that we propose in this article is based on Computation Tree Logic and Formal Concept Analysis. LHG,M describes the homophily dynamics of the heterogeneous networks at a specified similarity coefficient. Furthermore, we not only axiomatize the LHG,M and prove that the axiom system LHG,Mn is sound and complete, but we also prove that the model checking and the validity checking for LHG,M are both PSPACE-complete.
ISSN:2227-7390
2227-7390
DOI:10.3390/math11163484