New Zealand


Modern intelligent systems researchers form hypotheses about system behavior
and then run experiments using one or more independent variables to test their
hypotheses. We present SIERRA, a novel framework structured around that idea
for accelerating research developments and improving reproducibility of
results. SIERRA makes it easy to quickly specify the independent variable(s)
for an experiment, generate experimental inputs, automatically run the
experiment, and process the results to generate deliverables such as graphs
and videos. SIERRA provides reproducible automation independent of the
execution environment (HPC hardware, real robots, etc.) and targeted platform
(arbitrary simulator or real robots), enabling exact experiment replication
(up to the limit of the execution environment and platform). It employs a
deeply modular approach that allows easy customization and extension of
automation for the needs of individual researchers, thereby eliminating manual
experiment configuration and result processing via throw-away scripts.

AAMAS 2022

SIERRA: A Modular Framework for Research Automation

real robots

research automation

scientific method

simulation

Join AAPT and Physics Educators worldwide in developing and strengthening your professional connections by attending the 2021 AAPT Virtual Summer Meeting. AAPT meetings are a great way to reflect on your teaching, recommit to best practices and re-energize your career with new research, products, and techniques.

Listen to internationally known plenary speakers, attend sessions, workshops, and special activities. Attending the virtual summer meeting is an excellent opportunity to share your expertise and learn from and network with leaders in the field.

Please log in with your AAPT account or register for the event if you haven't already.

If you are registered please note that you need to be logged in with your AAPT email / credentials in order to get access.

AAPT SM 21

demo

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).


Given a set of agents with approval preferences over each other, we study the task of finding k matchings fairly representing everyone's preferences. We model the problem as an approval-based multiwinner election where the set of candidates consists of matchings of the agents, and agents' preferences over each other are lifted to preferences over matchings. Due to the exponential number of candidates in such elections, standard algorithms for classical sequential voting rules (such as those proposed by Thiele and Phragmén) are rendered inefficient. We show that the computational tractability of these rules can be regained by exploiting the structure of the approval preferences. Moreover, we establish algorithmic results and axiomatic guarantees that go beyond those obtainable in the general multiwinner setting: Assuming that approvals are symmetric, we show that Proportional Approval Voting (PAV), a well-established but computationally intractable voting rule, becomes polynomial-time computable, and that its sequential variant, which does not provide any proportionality guarantees in general, fulfills a rather strong guarantee known as extended justified representation. Some of our algorithmic results extend to other types of compactly representable elections with an exponential candidate space.

Proportional Representation in Matching Markets: Selecting Multiple Matchings under Dichotomous Preferences


Many models have been proposed for computing a one-to-one matching between two equal-sized sets/sides of agents, each assigned with one preference list of the agents in the opposite side. The most prominent one might be the Stable Matching model. Recently, the Stable Matching model has been extended to the multi-modal setting \cite{UncertainLinearPfAziz2020,ChenEC2018Multi,Miyazaki19Jointly}, where each agent has more than one preference lists, each represents a criteria based on which the agents of the opposite side are evaluated. We use a layer to denote the set of preference lists of agents, which are based on the same criteria. Thus, the single modal matching problem has only one layer. This setting finds applications in many real-world scenarios. However, it turns out that computing a stable matching with multi-modal preferences is NP-hard and W-hard with respect to several natural parameters. Here, we introduce three position-based matching models, which minimize the ``dissatisfaction score''. We define four dissatisfaction scores, namely, the one of a single agent (the position of an agent's matching partner in his/her preference), the one of a matching pair (the sum of the dissatisfaction scores of two agents forming a matching pair), the dissatisfaction score of one side (the sum of the dissatisfaction scores of all agents in one side), and the total dissatisfaction score (the sum of all dissatisfaction scores of all agents). The first model minimizes the total respective dissatisfaction score over all layers, while the second minimizes the maximum of the respective score over all layers. The third model seeks for a matching $M$ which is \PO, meaning that there does not exist a matching $M^\prime$, which is at least as good as $M$ with respect to the respective dissatisfaction score in all layers, but is strictly better in at least one layer.
We present diverse complexity results for these three models, among others, polynomial-time solvability for the first model. We also investigate the generalization which given an upper bound on the dissatisfaction score, computes a matching involving subsets of agents and a subset of layers. Hereby, we mainly focus on the parameterized complexity with respect to parameters such as the size of agent subsets, or the size of the layer subset and achieve fixed-parameter tractability as well as intractability results.

Position-based Matching with Multi-Modal Preferences


In the simplest game-theoretic formulation of Schelling's model of segregation on graphs, agents of two different types each select their own vertex in a given graph so as to maximize the fraction of agents of their type in their occupied neighborhood. Two ways of modeling agent movement here are either to allow two agents to swap their vertices or to allow an agent to jump to a free vertex.
The contributions of this paper are twofold. First, we prove that deciding the existence of a swap-equilibrium and a jump-equilibrium in this simplest model of Schelling games is NP-hard, thereby answering questions left open by Agarwal et al. [AAAI '20] and Elkind et al. [IJCAI '19]. Second, we introduce two measures for the robustness of equilibria in Schelling games in terms of the minimum number of edges or the minimum number of vertices that need to be deleted to make an equilibrium unstable. We prove tight lower and upper bounds on the edge- and vertex-robustness of swap-equilibria in Schelling games on different graph classes.

Equilibria in Schelling Games: Computational Hardness and Robustness


A social ranking solution, or, briefly, a social ranking, over a set N is defined as a map assigning to each coalitional relation (i.e. a ranking over subsets of N) another ranking over the single elements in N. Differently, coalition formation situations, and, in particular, hedonic games, mainly focus on partitions of the set N into disjoint coalitions, which are in general referred to as coalition structures. A coalition structure may be stable according to various notions of stability and the objective is to understand under which conditions a coalition structure is stable. 
In this paper we merge the framework of coalition formation with the one of social rankings to keep into account the effect of hierarchies within coalitions on the stability of coalition structures. We consider alternative classes of coalition formation games where the preferences of the agents over coalitions are induced by a social ranking. More precisely, agents compare coalition structures keeping into account both the relative ranking of coalitions to which they belong (according to a coalitional relation) and their position in the social ranking within each coalition. Constructive characterizations of the set of core-stable coalition structures are provided for alternative classes of hedonic games, together with an impossibility theorem on the existence of core-stable coalitions structures for (nonhedonic) coalition formation situations.

Coalition Formation Games and Social Ranking Solutions


A crucial challenge for robotic systems is to figure out the behavior of another agent. We cast this challenge as a problem of causal inference. The presentation introduces the complications of inferring causal relationships from human behavior under two conditions that question the approach's feasibility. Subsequently, the presentation describes how we instantiated the approach and its feasibility despite the challenging conditions enforced.

Empirical Estimates on Hand Manipulation are Recoverable: A Step Towards Individualized and Explainable Robotic Support in Everyday Activities


As more and more hard and complex procedures are being automated with the aid of artificial intelligence, the need for humans to understand the rationale behind AI decisions becomes imperative. Adequate explanations for decisions made by an intelligent system do not just help describing how the system works, they also earn users' trust. In this work we focus on a general methodology for justifying why certain teams are formed and others are not by a team formation algorithm (TFA). Specifically, we introduce an algorithm that wraps up any existing TFA and builds justifications regarding the teams formed by such TFA. This is done without modifying the TFA in any way. Our algorithm offers a user a collection of commonly-asked questions within a team formation scenario and builds justifications as contrastive explanations. Finally, we conduct an empirical evaluation to measure the quality of the justifications of our algorithm.

Building contrastive explanations for multi-agent team formation


Multi-Agent Path Finding (MAPF) and Multi-Robot Motion Planning (MRMP) are complex problems to solve, analyze and build algorithms for. Automatically-generated explanations of algorithm output, by improving human understanding of the underlying problems and algorithms, could potentially alleviate this issue. Explanations are contextual, however, and thus developers need a good understanding of the questions that can be made about algorithm output, the kinds of explanations that exist, and the potential users and uses of explanations in MAPF/MRMP applications. In this paper we provide a first step towards establishing a taxonomy of explanations, and a list of requirements for the development of explainable MAPF/MRMP planners. We use interviews and a questionnaire with expert developers and industry practitioners to identify the kinds of questions, explanations, users, uses, and requirements of explanations that should be considered in the design of such explainable planners. Our insights cover a diverse set of applications of MAPF/MRMP: warehouse automation, computer games, mining, and manufacturing.

Explainability in Multi-Agent Path/Motion Planning: User-study-driven taxonomy and requirements

Ad-hoc reasoning models are recurrently used to solve some of our daily tasks. Intending to avoid worthless investments or spending valuable resources, these smart systems require a proper evaluation before acting in the real world. In this paper, we demonstrate AdLeap-MAS, a novel framework focused on enabling quick and easy testing of smart algorithms in ad-hoc reasoning domains.

AdLeap-MAS: An Open-source Multi-Agent Simulator for Ad-hoc Reasoning

**Read paper on the following link:**

https://ifaamas.org/Proceedings/aamas2022/pdfs/p1914.pdf

**Abstract:**



LBfT: Learning Bayesian Network Structures from Text in Autonomous Typhoon Response Systems


Objective Clinical Structured Examination (OSCE) is used to assess multiple competencies in medical pedagogy such as efficiently eliciting relevant clinical history from a patient. Clinical interviewing is done in a question and answer fashion, making it amenable to computer simulation. We introduce Chameleon, a framework to create virtual patients in an OSCE setting using the conversational agent platform Dialogflow CX. Our framework consists of a generic chatbot that is capable of answering most questions (in a classic non-specific clinical interview) and which can be expanded to capture any clinical presentation, e.g. a patient with backpain.

SIERRA: A Modular Framework for Research Automation

Downloads

Next from AAMAS 2022

Proportional Representation in Matching Markets: Selecting Multiple Matchings under Dichotomous Preferences

Similar lecture

Customizing student experiences by pushing randomized values to simulations

Stay up to date with the latest Underline news!

PRESENTATIONS

CONFERENCES

COMPANY

RESOURCES

SIERRA: A Modular Framework for Research Automation

.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

Proportional Representation in Matching Markets: Selecting Multiple Matchings under Dichotomous Preferences

Similar lecture

Customizing student experiences by pushing randomized values to simulations

Stay up to date with the latest Underline news!

PRESENTATIONS

CONFERENCES

COMPANY

RESOURCES

Downloads