Knowledge discovery in social networks by using a logic-based treatment of implications

This work can be seen as a contribution to the area of social network analysis. By considering Formal Concept Analysis (FCA) as the underlying formalizing tool, we use logic-based techniques in order to offer novel solutions to identify user’s influence in a social network. We propose the use of the Simplification Logic SLFDSLFD for attribute implications as the core of an automated method to build a structure containing the complete set of influences among users.