Theory and implementation of coalitional analysis in cooperative decision making

Stability definitions for describing human behavior under conflict when coalitions may form are generalized within the Graph Model for Conflict Resolution and algebraic formulations of these definitions are provided to allow computer implementation. The more general definitions of coalitional stabilities relax the assumption of transitive graphs capturing movements under the control of decision makers, either independently or cooperatively, and allow the convenient expansion to the case of coalitions of the four basic individual stabilities consisting of Nash stability, general metarationality, symmetric metarationality, and sequential stability. To permit the various coalitional stabilities to be efficiently calculated and conveniently encoded within a decision support system, algebraic expressions for the coalitional stabilities are provided in this research. Furthermore, a range of the theorems establish the mathematical credibility of employing the innovative algebraic approach to conflict resolution when coalitions are present. Finally, a conflict over the proposed exportation of bulk water from Lake Gisborne within the Canadian Province of Newfoundland and Labrador is modelled and analyzed to illustrate the practical application of the different coalitional stabilities and the strategic insights they provide.