Cooperative Bargaining Games Without Utilities: Mediated Solutions from Direction Oracles

Ufuk Topcu (The University of Texas at Austin) · Kushagra Gupta (University of Texas at Austin) · Surya Murthy (University of Texas at Austin) · Mustafa Karabag (The University of Texas at Austin) · David Fridovich-Keil (The University of Texas at Austin)
cooperative bargaining gamesdecision spacedirection oracleglobal asymptotic convergenceindependence of irrelevant alternativeskalai-smorodinsky solutionmediated stock portfolio allocationmulti-agent formation assignmentnash bargaining solutionnonaffine transformationspareto stationary solutionsresource allocationsymmetry axiomtheoretical validationutility function

Cooperative bargaining games are widely used to model resource allocation and conflict resolution. Traditional solutions assume the mediator can access agents’ utility function values and gradients. However, there is an increasing number of settings, such as human-AI interactions, where utility values may be inaccessible or incomparable due to unknown, nonaffine transformations. To model such settings, we consider that the mediator has access only to agents' $\textit{most preferred directions}-$normalized utility gradients in the decision space. To this end, we propose a cooperative bargaining algorithm where a mediator has access to only the direction oracle of each agent. We prove that unlike popular approaches such as the Nash and Kalai-Smorodinsky bargaining solutions, our approach is invariant to monotonic nonaffine transformations, and that under strong convexity and smoothness assumptions, this approach enjoys global asymptotic convergence to Pareto stationary solutions. Moreover, we show that the bargaining solutions found by our algorithm also satisfy the axioms of symmetry and (under slightly stronger conditions) independence of irrelevant alternatives, which are popular in the literature. Finally, we conduct experiments in two domains, multi-agent formation assignment and mediated stock portfolio allocation, which validate these theoretical results.