From Marriages to Coalitions: A Soft CSP Approach

In this work we represent the Optimal Stable Marriage problem as a Soft Constraint Satisfaction Problem. In addition, we extend this problem from couples of individuals to coalitions of generic agents, in order to define new coalition-formation principles and stability conditions. In the coalition case, we suppose the preference value as a trust score, since trust can describe the belief of a node in the capabilities of another node, in its honesty and reliability. Semiring-based soft constraints represent a general and expressive framework that is able to deal with distinct concepts of optimality by only changing the related c-semiring structure, instead of using different ad-hoc algorithms. At last, we propose an implementation of the classical OSM problem using integer linear programming tools.

[1]  Michael Rovatsos,et al.  Capturing agent autonomy in roles and XML , 2003, AAMAS '03.

[2]  David Manlove,et al.  A Constraint Programming Approach to the Stable Marriage Problem , 2001, CP.

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

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

[5]  Francesca Rossi,et al.  Soft Concurrent Constraint Programming , 2002, ESOP.

[6]  Aditya K. Ghose,et al.  Branch and Bound Algorithms to Solve Semiring Constraint Satisfaction Problems , 2008, PRICAI.

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

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

[9]  C. Pearce,et al.  An Efficient Algorithm for the , 1999 .

[10]  Robert W. Irving,et al.  The Stable marriage problem - structure and algorithms , 1989, Foundations of computing series.

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

[12]  Brian W. Kernighan,et al.  AMPL: A Modeling Language for Mathematical Programming , 1993 .

[13]  Zhi-Hua Zhou,et al.  PRICAI 2008: Trends in Artificial Intelligence, 10th Pacific Rim International Conference on Artificial Intelligence, Hanoi, Vietnam, December 15-19, 2008. Proceedings , 2008, PRICAI.

[14]  Peter van Beek,et al.  Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings , 2005, CP.

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

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

[17]  Patrick Prosser,et al.  Specialised Constraints for Stable Matching Problems , 2005, CP.

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

[19]  Niklaus Wirth,et al.  Algorithms and Data Structures , 1989, Lecture Notes in Computer Science.

[20]  Stefano Bistarelli,et al.  Combining Branch&Bound and SBDD to solve Soft CSPs , 2004 .

[21]  Shuichi Miyazaki,et al.  Approximation Algorithms for the Sex-Equal Stable Marriage Problem , 2007, WADS.

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

[23]  Robert W. Irving,et al.  An efficient algorithm for the “optimal” stable marriage , 1987, JACM.

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

[25]  Dan Gusfield,et al.  Three Fast Algorithms for Four Problems in Stable Marriage , 1987, SIAM J. Comput..

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

[27]  Donald E. Knuth,et al.  Stable Marriage and Its Relation to Other Combinatorial Problems: An Introduction to the Mathematical Analysis of Algorithms , 1996 .

[28]  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).