-
In this paper we analyse some of the classical paradoxes in Social
Choice Theory (namely, the Condorcet paradox, the discursive dilemma,
the Ostrogorski paradox and the multiple election paradox) using a
general framework for the study of aggregation problems called binary
aggregation with integr...
-
A crucial problem in the design of multi-issue group decisions is the
definition of rules that select outputs that are consistent with
existing correlations between multiple issues. A less known problem
arises when the collective outcome is supported by none or by the
fewest individuals, bringing...
-
Suppose a number of agents each provide us with a directed graph over
a common set of vertices. Graph aggregation is the problem of
computing a single graph that best represents the information inherent
in this profile of individual graphs. We introduce a simple formal
framework for graph aggrega...
-
This report details the implementation of a fragment extraction algorithm using
an average case linear time tree kernel. Given a treebank, the algorithm
extracts all fragments that occur at least twice, along with their frequency.
Evaluation shows a 70-fold speedup over a quadratic fragment extra...
-
Every denable forcing class Gamma gives rise to a corresponding
forcing modality, for which Box_Gamma phi means that phi is true in
all Gamma extensions, and the valid principles of Gamma forcing are
the modal assertions that are valid for this forcing
interpretation. For example, [9] shows that ...
-
Automated Analysis of Social Choice Problems:
Approval Elections with Small Fields of Candidates
Ulle Endriss
Abstract:
We analyse the incentives of a voter to vote insincerely in an
election conducted under the system of approval voting. Central to our
analysis are the assumptions we make on ho...
-
In this survey and position paper, we discuss some issues in logical
modeling of interactive behavior. We draw together a number of lines
in current logics for social action, emphasizing uses of ‘small
models’ rather than complex spaces.
-
We discuss several main themes in a logical perspective on strategies,
including program structure, knowing and understanding strategies, and
changing games and repair of strategies.
-
This piece proposes a style of thinking using modal frame
correspondence that puts Krister Segerberg’s dynamic doxastic logic
and ‘Dutch’ dynamic-epistemic logic for belief change in one
setting. While our technical results are elementary, they do suggest
new lines of thought.
-
In this article, non-standard reasoning refers to the proliferation of
reasoning styles investigated in modern logic beyond its traditional
agenda. After a brief statement of standard logical approaches to
consequence, we describe motivations for new systems. These include
inference patterns with...
-
Two of the authors (van Benthem and Pacuit) recently introduced
evidence logic as a way to model epistemic agents faced with possibly
contradictory evidence from different sources. For this the authors
used neighborhood semantics, where a neighborhood N indicates that the
agent has reason to beli...