Social Software for Coalition Formation.

This paper concerns an interdisciplinary approach to coalition formation. We apply the MacBeth software, relational algebra, the RelView tool, graph theory, bargaining theory, social choice theory, and consensus reaching to a model of coalition formation. A feasible government is a pair consisting of a coalition of parties and a policy supported by this coalition. A feasible government is stable if it is not dominated by any other feasible government. Each party evaluates each government with respect to certain criteria. MacBeth helps to quantify the importance of the criteria and the attractiveness and repulsiveness of governments to parties with respect to the given criteria. Feasibility, dominance, and stability are formulated in relation-algebraic terms. The RelView tool is used to compute the dominance relation and the set of all stable governments. In case there is no stable government, i.e., in case the dominance relation is cyclic, we apply graph-theoretical techniques for breaking the cycles. If the solution is not unique, we select the final government by applying bargaining or appropriate social choice rules. We describe how a coalition may form a government by reaching consensus about a policy. Keywords: stable government, MacBeth, relational algebra, RelView, graph theory, bargaining, social choice rule, consensus. [ABSTRACT FROM AUTHOR]