-
This is a short introduction to 'logical dynamics'
and current interactive logic for an issue of the
Journal of Peking University, edited by Chen Bo.
-
Information update and the resulting belief revision may be
viewed as a process of merging plausibility or preference
relations coming from different sources. In this note, first
presented at the Dynamic Logic Workshop in Montréal June 2007,
we show how 'priority product update' in the sense of ...
-
Modal logics are simple yet expressive devices to talk about
relational structures. Dynamic modal logics extend standard modal
logics with new operators that upon evaluation alter the subject
relational structure. Sabotage logics are dynamic modal logics,
that crumble the relational structure un...
-
We give a systematic method of constructing extensions of the
Kuznetsov- Gerciu logic KG without the finite model property (fmp for
short), and show that there are continuum many such. We also introduce
a new technique of gluing of cyclic intuitionistic descriptive frames
and give a new simple pr...
-
We propose the use of logic-based preference representation
languages based on weighted propositional formulas for specifying
bids in a combinatorial auction. We then develop several
heuristics for a branch-and-bound search algorithm for
determining the winning bids in this framework and report
o...
-
Mixed multi-unit combinatorial auctions are combinatorial
auctions in which the auctioneer and the bidders negotiate
over transformations rather than over simple goods. By
proposing a transformation a bidder is offering to produce a
certain set of output goods after having received the
specifie...
-
Distributed allocation mechanisms rely on the agents’ autonomous
(and supposedly rational) behaviour: states
evolve as a result of agents contracting deals and exchanging
resources. It is no surprise that restrictions on potential
deals also restrict the reachability of some desirable states,
for...
-
In distributed approaches to multiagent resource allocation,
the agents belonging to a society negotiate deals in small groups at a local
level, driven only by their own rational interests.We can then observe and
study the effects such negotiation has at the societal level, for instance in
terms ...
-
In the last few years, preference logic and in particular, the
dynamic logic of preference change, has suddenly become a live
topic in my Amsterdam and Stanford environments. At the request
of the editors Sven Ove Hanson and Till Gruene-Yanof of the new
book "Preference Change" (Springer Theor...
-
In this paper, we compare two modal frameworks for multi-agent
belief revision: dynamic doxastic logics computing stepwise updates
and temporal doxastic logics describing global system evolutions,
both based on plausibility pre-orders. We prove representation
theorems showing under which conditio...
-
We give a new simpler proof of a theorem of Jayne-Rogers.