Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria

Summary Multitrust provides a flexible approach to encoding trust metrics whereby definitions for trust propagation and aggregation are specified in terms of a semiring. Determining the degree of trust between principals across a trust network is, in turn, programmed as a (semiring based) soft-constraint satisfaction problem. In this paper we consider the use of semiring-based metrics in reasoning about trust between coalition-forming principals. The configurable nature of multitrust makes it well-suited to modeling trust within coalitions: whether adding more principals to a coalition increases trust or decreases trust is captured by the definition of trust aggregation within the semiring. Copyright c ∞ 0000 John Wiley & Sons, Ltd.

[1]  Duncan J. Watts,et al.  Collective dynamics of ‘small-world’ networks , 1998, Nature.

[2]  Francesca Rossi,et al.  Semiring-based Constraint Logic Programming , 1997, IJCAI.

[3]  Mark Buchanan,et al.  Nexus: Small Worlds and the Groundbreaking Science of Networks , 2002 .

[4]  Francesca Rossi,et al.  Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming , 2007, QAPL.

[5]  Andrew Twigg,et al.  Attack-resistance of computational trust models , 2003, WET ICE 2003. Proceedings. Twelfth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2003..

[6]  Thom W. Frühwirth,et al.  Soft constraint propagation and solving in CHRs , 2002, SAC '02.

[7]  Michael Luck,et al.  AAMAS '03: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems , 2003 .

[8]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[9]  Michael Luck,et al.  Coalition formation through motivation and trust , 2003, AAMAS '03.

[10]  Robert A. Roe,et al.  Trust within teams: The relation with performance effectiveness , 2001 .

[11]  Stefano Bistarelli.  Semirings for Soft Constraint Solving and Programming , 2004, Lecture Notes in Computer Science.

[12]  Jason Eisner,et al.  Parameter Estimation for Probabilistic Finite-State Transducers , 2002, ACL.

[13]  Stefano Bistarelli,et al.  SCLP for Trust Propagation in Small-World Networks , 2007, CSCLP.

[14]  Julita Vassileva,et al.  A coalition formation mechanism based on inter-agent trust relationships , 2002, AAMAS '02.

[15]  Yang Bo,et al.  A Semiring Privacy Protect Model , 2007, 2007 IFIP International Conference on Network and Parallel Computing Workshops (NPC 2007).

[16]  Audun Jøsang,et al.  Trust network analysis with subjective logic , 2006, ACSC.

[17]  Stefano Bistarelli,et al.  Propagating multitrust within trust networks , 2008, SAC '08.

[18]  D. Watts,et al.  Small Worlds: The Dynamics of Networks between Order and Randomness , 2001 .

[19]  Munindar P. Singh,et al.  Trust and reputation management in a small-world network , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[20]  Jens E. Wunderwald.  Memoing Evaluation by Source-to-Source Transformation , 1995, LOPSTR.

[21]  Audun Jøsang,et al.  A survey of trust and reputation systems for online service provision , 2007, Decis. Support Syst..

[22]  Alberto Martelli,et al.  Optimizing decision trees through heuristically guided search , 1978, CACM.

[23]  Fabio Gadducci,et al.  Enhancing Constraints Manipulation in Semiring-Based Formalisms , 2006, ECAI.

[24]  Francesca Rossi,et al.  Semiring-based constraint solving and optimization , 1997 .

[25]  Victor R. Lesser,et al.  A survey of multi-agent organizational paradigms , 2004, The Knowledge Engineering Review.

[26]  Mark S. Granovetter.  The Strength of Weak Ties , 1973, American Journal of Sociology.

[27]  Stephen Hailes,et al.  A distributed trust model , 1998, NSPW '97.

[28]  Francesca Rossi,et al.  Constraint Solving over Semirings , 1995, IJCAI.

[29]  Francesca Rossi,et al.  Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers , 2009, CSCLP.

[30]  Krzysztof R. Apt,et al.  Constraint logic programming using Eclipse , 2007 .

[31]  Francesca Rossi,et al.  Semiring-based constraint satisfaction and optimization , 1997, JACM.

[32]  W. L. Johnson,et al.  Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems , 2002 .

[33]  John S. Baras,et al.  Trust evaluation in ad-hoc networks , 2004, WiSe '04.

[34]  Michael K. Reiter,et al.  Path independence for authentication in large-scale systems , 1997, CCS '97.

[35]  Barry O'Sullivan,et al.  From Marriages to Coalitions: A Soft CSP Approach , 2009, CSCLP.

[36]  Kristina Lerman,et al.  Coalition formation for large-scale electronic markets , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[37]  Stefano Bistarelli,et al.  Weighted Datalog and Levels of Trust , 2008, 2008 Third International Conference on Availability, Reliability and Security.

[38]  I. V. Ramakrishnan,et al.  Efficient Tabling Mechanisms for Logic Programs , 1995, ICLP.

[39]  Yong Chen,et al.  Trust Propagation in Small Worlds , 2003, iTrust.

[40]  Matthias Klusch,et al.  Dynamic Coalition Formation among Rational Agents , 2002, IEEE Intell. Syst..

[41]  K. Iwama,et al.  A Survey of the Stable Marriage Problem and Its Variants , 2008, International Conference on Informatics Education and Research for Knowledge-Circulating Society (icks 2008).

[42]  Tom Schrijvers,et al.  Constraint Handling Rules and Tabled Execution , 2004, ICLP.

[43]  Yan Georget,et al.  Compiling Semiring-Based Constraints with clp (FD, S) , 1998, CP.

[44]  Georg Lausen,et al.  Propagation Models for Trust and Distrust in Social Networks , 2005, Inf. Syst. Frontiers.

[45]  Srdjan Capkun,et al.  Small worlds in security systems: an analysis of the PGP certificate graph , 2002, NSPW '02.

[46]  Haya Freedman,et al.  Rings, Fields and Groups , 1984 .

[47]  Stefano Bistarelli,et al.  A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily , 2008, ATC.