Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks