Reaching some form of consensus is often necessary for autonomous agents that want to coordinate their actions or otherwise engage in joint activities. One way to reach a consensus is by aggregating individual information, such as decisions, beliefs, preferences and constraints. Judgment aggregation is a social choice method, which generalises voting, that studies the aggregation of individual judgments regarding the truth-value of logically related propositions. As such, judgment aggregation is applicable for consensus reaching problems. The presentation will introduce the basic frameworks that model judgment aggregation problems and give an overview of the judgment aggregation functions so far developed as well as their social theoretic and computational complexity properties. The focus of the tutorial are consensus reaching problems in multi agent systems that can be modelled as judgment aggregation problems.
Marija Slavkovik is an associate professor (førsteamenuensis) at the Department of Information Science and Media Studies at the University of Bergen in the Logic, Information and Interaction Group.
She is interested in all things AI. Topics of publications: judgment aggregation, machine ethics, social influence, digital crowds, group reasoning, collective decision-making.