-
Incoming information not only changes our knowledge but also our
preferences. Decisions are made according to the preferences, which
are eventually based on our evaluations of the options. In this paper,
we will explore the ways new information affects our evaluations to
see how this results in a...
-
We develop a dynamic modal logic that can be used to model scenarios
where agents negotiate over the allocation of a finite number of
indivisible resources. The logic includes operators to speak about
both preferences of individual agents and deals regarding the
reallocation of certain resources....
-
We study a framework for multiagent resource allocation where autonomous software agents negotiate over the allocation of bundles of indivisible resources. Connections to well-known combinatorial optimisation problems, including the winner determination problem in combinatorial auctions, shed lig...
-
We survey a number of decidablity and undecidablity results concerning
epistemic temporal logic. The goal is to provide a general picture
which will facilitate the `sharing of ideas' from a number of
different areas concerned with modeling agents in interactive social
situations.
-
Statements not only update our current knowledge, but also have other
dynamic effects. In particular, suggestions or commands `upgrade' our
preferences by changing the current order among worlds. We present a
complete logic of knowledge update plus preference upgrade that works
with dynamic-epist...
-
-
The aim of the present paper is to discuss two different ways of
formulating independence friendly (IF) modal logic. In one of them,
the language of basic modal logic is enriched with the slash notation
familiar from IF first-order logics, and the resulting logic is
interpreted in terms of games ...
-
In the year 2006, 100 years after G~del's birth, it is time to think
about the lasting values of his achievements. In this paper I will be
concerned with his most famous results, his two incompleteness
theorems1. In Section 2, a rough version of the theorems and the in my
opinion main achievement...
-
Against the backdrop of current research into 'logical dynamics' of information, we discuss two-way connections between conversation and computation. This leads to a broader perspective on both, using ideas from both computational and philosophical logic. In particular, we discuss merges between ...
-
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...