-
Judgment aggregation is a collective decision making framework where the opinions of a group of agents is combined into a collective opinion. This can be done using many different judgment aggregation procedures. We study the computational complexity of computing the group opinion for several of ...
-
We show how to formalise Arrow's Theorem on the impossibility of devising a method for preference aggregation that is both independent of irrelevant alternatives and Pareto efficient by using a modal logic of social choice functions. We also provide a syntactic proof of the theorem in that logic....
-
A major challenge in multiagent systems research is to design good aggregation rules for combining the judgments---or beliefs, or opinions---of different autonomous software agents collaborating with each other. If the chosen rule is too sophisticated, we may encounter algorithmic difficulties. B...
-
On 26 September 2014, Johan van Benthem, Professor of Pure and Applied Logic, delivered his valedictory lecture in the auditorium of the University of Amsterdam. Modern logic is the broad, exact science of information directed behaviour that plays an important role in connecting the humanities, e...
-
Depending on a task at hand, information can be represented at different levels, less or more detailed, each with their own appropriate logical languages. We discuss a few of these levels, and their connections, and how information growth at one level can be tracked at another. The resulting view...
-
In this paper we develop a bimodal perspective on possibility semantics, a framework allowing partiality of states that provides an alternative modeling for classical propositional and modal logics [Humberstone,1981, Holliday, 2015a]. In particular, we define a full and faithful translation of th...
-
This is the introductory chapter of the forthcoming Handbook of Computational Social Choice.
-
This is Chapter 17 of the forthcoming Handbook of Computational Social Choice. It covers the axiomatic foundations of judgment aggregation, specific aggregation procedures, connections to preference aggregation, the complexity of judgment aggregation, and applications in computer science.
-
We introduce a new family of judgment aggregation rules, called the binomial rules, designed to account for hidden dependencies between some of the issues being judged. To place them within the landscape of judgment aggregation rules, we analyse both their axiomatic properties and their computati...
-
The existence of a statistical learning mechanism underlying the cognitive capacity to learn a “language” from an auditory input stream is well established. Computational models of segmentation formalize and test the specific theoretical assumptions about the mechanistic nature of this process. W...
-
Experiments in Artificial Language Learning have revealed much about the ability of human adults to generalize to novel grammatical instances (i.e., instances consistent with a familiarization pattern). Notably, generalization appears to be negatively correlated with the amount of exposure to the...