-
Mechanisms for dividing a set of goods amongst a
number of autonomous agents need to balance efficiency
and fairness requirements. A common interpretation
of fairness is envy-freeness, while efficiency
is usually understood as yielding maximal
overall utility. We show how to set up a distributed
...
-
We introduce a new type of combinatorial auction
that allows agents to bid for goods to buy, for goods
to sell, and for transformations of goods. One such
transformation can be seen as a step in a production
process, so solving the auction requires choosing
the sequence in which the accepted bids...
-
This paper is concerned with a possible mechanism for learning the
meanings of quantifiers in natural language. The meaning of a natural
language construction is identified with a procedure for recognizing
its extension. Therefore, acquisition of natural language quantifiers
is supposed to consis...
-
In the present article a study of the finite model theory of Henkin
quantifiers with boolean variables, a.k.a. partially ordered
connectives, is undertaken. The logic of first-order formulae prefixed
by partially ordered connectives, denoted D, is considered on finite
structures. D is characteriz...
-
Given the important role that intentions play in the way we make
decisions, we would expect intentions to occupy a substantial place in
any theory of action. Surprisingly enough, in what is perhaps the most
influential theory of action, rational choice theory, explicit
reference is made to action...
-
Computational social choice is an interdisciplinary field of study at
the interface of social choice theory and computer science, promoting
an exchange of ideas in both directions. On the one hand, it is
concerned with the application of techniques developed in computer
science, such as complexit...
-
This paper exposes semantics for various sub-intuitionistic logics. The semantics transparently reflect how assumptions on the epistemic and cognitive abilities of the creative subject influences the underlying logic. One of these semantics is used to obtain a lower bound on the length of proofs...
-
-
We examine a variety of dialogue protocols, taking inspiration from
two fields: natural language dialogue modelling and multiagent
systems. In communicative interaction, one can identify different
features that may increase the complexity of the dialogue
structure. This motivates a hierarchy of a...
-
Understanding human behaviour involves "why"'s as well as
"how"'s. Rational people have good reasons for acting, but it can be
hard to find out what these were and how they worked. In this Note, we
discuss a few ways in which our actions, preferences, and expectations
are intermingled. This mixtu...
-
Diversity of agents occurs naturally in epistemic logic, and dynamic
logics of information update and belief revision. We provide a
systematic discussion of different sources of diversity, such as
introspection ability, powers of observation, memory capacity, and
revision policies, and we show ho...