Logical characterizations of regular equivalence in weighted social networks

DOI10.1016/j.artint.2014.05.007zbMath1405.68349OpenAlexW2021035966MaRDI QIDQ2014930

Tuan-Fang Fan, Churn-Jung Liau

Publication date: 16 June 2014

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2014.05.007

zbMATH Keywords

bisimulationreasoning under uncertaintymany-valued modal logicregular equivalencereasoning under imprecisionweighted social network

Mathematics Subject Classification ID

Social networks; opinion dynamics (91D30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items

Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices ⋮ Approximate positional analysis of fuzzy social networks ⋮ Fuzzy simulations and bisimulations between fuzzy automata ⋮ Distribution-based limited fuzzy bisimulations for nondeterministic fuzzy transition systems ⋮ On the solvability of weakly linear systems of fuzzy relation equations ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic ⋮ Approximate bisimulation relations for fuzzy automata

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model of community emergence in weighted social networks
• On fuzzy modal logics \(S5(\mathcal C)\)
• Computation of the greatest simulations and bisimulations between fuzzy automata
• Fuzzy description logics under Gödel semantics
• Standard Gödel modal logics
• The analysis of semigroups of multirelational systems
• Metamathematics of fuzzy logic
• Proof methods for reasoning about possibility and necessity
• Possibilistic reasoning -- a mini-survey and uniform semantics
• Residuated fuzzy logics with an involutive negation
• Fuzzy logics with an additional involutive negation
• A theoretical investigation of regular equivalences for fuzzy graphs
• Making fuzzy description logic more general
• A logical framework for privacy-preserving social network publication
• A Finite Model Property for Gödel Modal Logics
• Weakly linear systems of fuzzy relation inequalities and their applications: A brief survey
• Notions of Bisimulation for Heyting-Valued Modal Languages
• Towards a Proof Theory of G\"odel Modal Logics
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• A completeness theorem in modal logic
• JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS
• k-ANONYMITY: A MODEL FOR PROTECTING PRIVACY
• ACHIEVING k-ANONYMITY PRIVACY PROTECTION USING GENERALIZATION AND SUPPRESSION
• Regular equivalence: General theory
• Many-Valued Modal Logic and Regular Equivalences in Weighted Social Networks
• Fuzzy sets
• Network Analysis
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi