New Zealand


One of the most innovative aspects of blockchain technology consists in the introduction of an incentive layer to regulate the behavior of distributed protocols. The designer of a blockchain system faces therefore issues that are akin to those relevant for the design of economic mechanisms, and faces them in a computational setting.
From this perspective the paper argues for the importance of computational social choice in contributing theoretical foundations for blockchain technology. I identify challenges at the interface of current blockchain research and the area of computational social choice which, I argue, highlight the strong potential for cross-fertilization between the two research fields.

AAMAS 2022

Social Choice Around the Block: On the Computational Social Choice of Blockchain

distributed computing

computational social choice

blockchain

AAMAS (International Conference on Autonomous Agents and Multiagent Systems) is the largest and most influential conference in the area of agents and multiagent systems. The aim of the conference is to bring together researchers and practitioners in all areas of agent technology and to provide a single, high-profile, internationally renowned forum for research in the theory and practice of autonomous agents and multiagent systems. AAMAS is the flagship conference of the non-profit International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).

The AAMAS conference series was initiated in 2002 in Bologna, Italy as a joint event comprising the 6th International Conference on Autonomous Agents (AA), the 5th International Conference on Multiagent Systems (ICMAS), and the 9th International Workshop on Agent Theories, Architectures, and Languages (ATAL).

Subsequent AAMAS conferences have been held in Melbourne, Australia (July 2003), New York City, NY, USA (July 2004), Utrecht, The Netherlands (July 2005), Hakodate, Japan (May 2006), Honolulu, Hawaii, USA (May 2007), Estoril, Portugal (May 2008), Budapest, Hungary (May 2009), Toronto, Canada (May 2010), Taipei, Taiwan (May 2011), Valencia, Spain (June 2012), Minnesota, USA (May 2013), Paris, France (May 2014), Istanbul, Turkey (May 2015), Singapore (May 2016), São Paulo (2017) and Stockholm, Sweden (2018), Montreal (May 2019), Auckland (May 2020, Virtual), London (May 2021, Virtual).
<br>
<br>



A ticket is required to attend this event, please register using the link below:

https://aamas2022-conference.auckland.ac.nz/attending/registration/

Registration Is Required

AAMAS (International Conference on Autonomous Agents and Multiagent Systems) is the largest and most influential conference in the area of agents and multiagent systems. The aim of the conference is to bring together researchers and practitioners in all areas of agent technology and to provide a single, high-profile, internationally renowned forum for research in the theory and practice of autonomous agents and multiagent systems. AAMAS is the flagship conference of the non-profit International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).

technical paper


Mechanism design over social networks, whose goal is to incentivize agents to diffuse the information of a mechanism to their followers, as well as to report her true preferences, is one of the new trends in the literature of market design. In this paper, we reconsider the traditional house allocation problem with existing tenants from the perspective of mechanism design over social networks. Since our model is a generalization of the networked housing market investigated by Kawasaki et al. (2021), there is no mechanism that simultaneously satisfies strategy-proofness, individual rationality and Pareto efficiency for general social network structure. We therefore examine the case where the social network has a tree structure. We first show that, even under the restricted structure, a weaker welfare requirement called non-wastefulness cannot be achievable by any mechanism that satisfies strategy-proofness and individual rationality. We then show that a non-trivial modification of You Request My House - I Get Your Turn mechanism (YRMH-IGYT) works; it is individually rational, strategy-proof, and weakly non-wasteful. Furthermore, it also chooses an allocation in the strict core for neighbors and satisfies weak group strategy-proofness.

Strategy-Proof House Allocation with Existing Tenants over Social Networks


System optimum (SO) routing, wherein the total travel time of all users is minimized, is a holy grail for transportation authorities. However, SO routing may discriminate against users who incur much larger travel times than others to achieve high system efficiency, i.e., low total travel times. To address the inherent unfairness of SO routing, we study the ${\beta}$-fair SO problem whose goal is to minimize the total travel time while guaranteeing a ${\beta\geq 1}$ level of unfairness, which specifies the maximum possible ratio between the travel times of different users with shared origins and destinations. 

To obtain feasible solutions to the ${\beta}$-fair SO problem while achieving high system efficiency, we develop a new convex program, the Interpolated Traffic Assignment Problem (I-TAP), which interpolates between a fair and an efficient traffic-assignment objective. We evaluate the efficacy of I-TAP through theoretical bounds on the total system travel time and level of unfairness in terms of its interpolation parameter, as well as present a numerical comparison between I-TAP and a state-of-the-art algorithm on a range of transportation networks. The numerical results indicate that our approach is faster by several orders of magnitude as compared to the benchmark algorithm, while achieving higher system efficiency for most levels of unfairness. We further leverage the structure of I-TAP to develop two pricing mechanisms to collectively enforce the I-TAP solution in the presence of selfish homogeneous and heterogeneous users, respectively, that independently choose routes to minimize their own travel costs. We mention that this is the first study of pricing in the context of fair routing for general road networks (as opposed to, e.g., parallel road networks).

Balancing Fairness and Efficiency in Traffic Routing via Interpolated Traffic Assignment


The \emph{Magician Problem} (MP) and its generalization, the \emph{Generalized Magician Problem} (GMP), were introduced by Alaei \emph{et al.} (APPROX-RANDOM 2013) and Alaei (SICOMP 2014) and have been used as powerful ingredients in online-algorithm design for many hard problems such as the $k$-choice prophet inequality, mechanism design in Bayesian combinatorial auctions, and the generalized assignment problem. The adversarial model here is essentially that of an oblivious adversary. 

In this paper, we introduce generalizations of GMP (MP) under two different arrival settings (by making the adversary stronger): unknown independent identical distributions (UIID) and unknown adversarial distributions (UAD). Different adversary models capture a range of arrival patterns. For GMP under UIID, we show that a natural greedy algorithm $\Gre$ is optimal. For the case of MP under UIID, we show that $\Gre$ has an optimal performance of $1 - \frac{B^B}{B! e^B} \geq 1 - \frac{1}{\sqrt{2\pi B}}$, where $B$ is the budget, and show an application to online $B$-matching with stochastic rewards. For GMP under UAD, we present a simple algorithm, which is near-optimal among all non-adaptive algorithms. We consider the simple case of MP under UAD with $B=1$, and give an exact characterization of the respective optimal adaptive and optimal non-adaptive algorithms for any finite time horizon. We offer an example of MP under UAD on which there is a provable gap between the classical MP under adversarial order and MP under UAD even with a time horizon $T=4$.

The Generalized Magician Problem under Unknown Distributions and Related Applications


In the multi-type resource allocation problem (MTRA), there are d≥2 types of items, and n agents who each demand one unit of items of each type and have strict linear preferences over bundles consisting of one item of each type. For MTRAs with indivisible items, we first present an impossibility result that no mechanism can satisfy both sd-efficiency and sd-envy-freeness. We show that this impossibility result is circumvented under the natural assumption of lexicographic preferences by providing lexicographic probabilistic serial (LexiPS) as an extension of the probabilistic serial (PS) mechanism. We also prove that LexiPS satisfies sd-efficiency and sd-envy-freeness. Moreover, LexiPS satisfies sd-weak-strategyproofness when agents are not allowed to misreport their importance orders. The multi-type probabilistic serial cannot deal with indivisible items, but provides a stronger efficiency guarantee under the unrestricted domain of strict linear preferences for divisible items, while also retaining desirable fairness guarantees.

Designing Efficient and Fair Mechanisms for Multi-Type Resource Allocation


The recent mean field game (MFG) formalism has enabled the application of inverse reinforcement learning (IRL) methods in large-scale multi-agent systems, with the goal of inferring reward signals that can explain demonstrated behaviours of large populations. The existing IRL methods for MFGs are built upon reducing an MFG to a Markov decision process (MDP) defined on the collective behaviours and average rewards of the population. However, this paper reveals that the reduction from MFG to MDP holds only for the fully cooperative setting. This flaw invalidates existing IRL methods on MFGs with non-cooperative environments. To measure more general behaviours in large populations, we study the use of individual behaviours to directly infer ground-truth reward functions for MFGs. We propose Mean Field IRL (MFIRL), the first IRL framework for MFGs that can handle both cooperative and non-cooperative environments. Based on this theoretically justified framework, we develop a practical algorithm effective for MFGs with continuous state-action spaces and unknown dynamics. We evaluate MFIRL on both cooperative and mixed cooperative-competitive scenarios with many agents. Results show that MFIRL excels in reward recovery, sample efficiency and robustness to changing dynamics, compared to the method based on the reduction to MDP.

Individual-Level Inverse Reinforcement Learning for Mean Field Games


Evolutionary Game Theory (EGT) studies evolving populations of agents that interact through normal form games whose outcome determines each individual's evolutionary fitness. In many applications, EGT models are extended to include spatial effects in which the agents are located in a structured population such as a graph. We propose a Mean Field Game (MFG) generalization, denoted Pair-MFG, of the spatial evolutionary game model such that the behavior of a given spatial evolutionary game (or more specifically the behavior of its pair approximation) is a special case trajectory of the corresponding MFG. The proposed Pair-MFG model also allows for the formulation of the spatial evolutionary game as a control problem, opening up additional avenues of research into controlling the outcomes of these games. 

The state evolution equations of the proposed model are highly nonlinear and none of the equations in the system are necessarily convex. This necessitates different numerical methods as compared to those for traditional Linear Quadratic Gaussian MFGs. We provide a method for solving this new Pair-MFG model using fixed point iteration with time-dependent proximal terms and show empirically that this method is capable of finding a solution to a selection of EGT games.

A Mean Field Game Model of Spatial Evolutionary Games


Emergent communication has made strides towards learning communication from scratch, but has thus far only focused on protocols that resemble human language. In nature, multi-agent cooperation gives rise to a wide range of communication that varies in structure and complexity. In this work, we recognize the full spectrum of communication that exists in nature and propose studying lower-level communication. Specifically, we study emergent implicit communication in the context of decentralized multi-agent learning in difficult, sparse reward environments. However, learning to coordinate in such environments is challenging. To this end, we propose a curriculum-driven multi-agent strategy that combines: (i) velocity-based environment shaping, tailored to the skill level of the multi-agent team; and (ii) a behavioral curriculum that helps agents learn successful single-agent behaviors as a precursor to learning multi-agent behaviors. Pursuit-evasion experiments show that our approach learns effective coordination, significantly outperforming sophisticated analytical and learned policies. The policies learned by our method complete the pursuit-evasion task when pursuers move at only one-half of the evader's speed, whereas the highest-performing baseline fails at $80\%$ of the evader's speed. Moreover, we examine the use of implicit signals in coordination through position-based social influence. We show that pursuers trained with our strategy exchange more than twice as much information (in bits) than baseline methods, indicating that our method has learned, and relies heavily on, the exchange of implicit signals.

Multi-Agent Curricula and Emergent Implicit Signaling


We address the scaling of equilibrium computation in Mean Field Games (MFGs) by using Online Mirror Descent (OMD). We show that continuous-time OMD provably converges to a Nash equilibrium under a natural and well-motivated set of monotonicity assumptions. A thorough experimental investigation on various single, and multi-population, MFGs shows that OMD outperforms traditional algorithms such as Fictitious Play (FP). We empirically show that OMD scales and converges significantly faster than FP by solving, for the first time to our knowledge, examples of MFGs with hundreds of billions states. As such, this study establishes the state-of-the-art for learning in large-scale multi-agent and multi-population games.

Scaling Mean Field Games with Online Mirror Descent


During the COVID-19 pandemic, governments have struggled to devise strategies to slow down the spread of the virus. This struggle happens because pandemics are complex scenarios with many unknown variables. In this context, simulated models are used to evaluate strategies for mitigating this and future pandemics. In this paper, we propose a simulator that analyses small communities by using real geographical data to model the road interactions and the agent's behaviors. Our simulator consists of three different modules: Environment, Mobility, and Infection module. The environment module recreates an area based on map data, including houses, restaurants, and roads. The mobility module drives the agents to move in the map based on their work schedule and needs, such as eating at restaurants, doing groceries, and going to work. The infection module simulates four cases of infection: on the road, at home, at a building, and off the map. We simulate the surrounding areas of a university campus. We design four intervention strategies and compare them to a scenario without any intervention. The interventions are: 1) PCR testing and self-isolation if positive; 2) reducing working hours at barbershops and restaurants; 3) closing barbershops and restaurants; 4) closing grocery stores and restaurants and providing delivery instead. For all scenarios, we observe the two types of areas where most infection happens: hubs, where people from different occupations can meet (e.g., restaurants); and non-hubs, where people with the same occupation meet (e.g., offices). The simulations show that all interventions reduce the total number of infected agents by a large margin. We observed that interventions targeting hubs (2-4) did not impact the infection at non-hubs. In addition, the intervention targeting people's behavior (1) ended up creating a cluster at the testing center.

Using Agent-Based Simulator to Assess Interventions Against COVID-19 in a Small Community Generated from Map Data


In response to COVID-19, many countries have mandated social distancing and banned large group gatherings in order to slow down the spread of SARS-CoV-2. Despite the effectiveness of these mandates, the only way to eradicate the disease is to achieve herd immunity through vaccination. In order to increase the accessibility of vaccines, states such as Virginia have funded mobile vaccination centers to distribute vaccines across the state. When choosing where to place these sites, there are two important factors to take into account: accessibility and equity. We develop efficient algorithms with theoretical guarantees on both of these aspects. Finally, we run computational experiments on real world data to show the efficacy of our methods.

Social Choice Around the Block: On the Computational Social Choice of Blockchain

Downloads

Next from AAMAS 2022

Strategy-Proof House Allocation with Existing Tenants over Social Networks

Similar lecture

A Graph-Based Algorithm for the Automated Justification of Collective Decisions

Stay up to date with the latest Underline news!

PRESENTATIONS

CONFERENCES

COMPANY

RESOURCES

Social Choice Around the Block: On the Computational Social Choice of Blockchain

.css-70qvj9{display:-webkit-box;display:-webkit-flex;display:-ms-flexbox;display:flex;-webkit-align-items:center;-webkit-box-align:center;-ms-flex-align:center;align-items:center;}Downloads

Next from AAMAS 2022

Strategy-Proof House Allocation with Existing Tenants over Social Networks

Similar lecture

A Graph-Based Algorithm for the Automated Justification of Collective Decisions

Stay up to date with the latest Underline news!

PRESENTATIONS

CONFERENCES

COMPANY

RESOURCES

Downloads