-
This was an invited lecture at the 13th Congress for Logic,
Methodology, and Philosophy of Science, Beijing, August 2007.
We claim that observation, inference, and communication are
usually interwined in rational agency, and accordingly, that
logical systems should, and can explain these informa...
-
This is a survey of five unusual takes on what
the Interpolation Theorem says, as a form of
'model-crossing inference' involving changing
vocabulary, mixed with preservation behaviour.
Connections include Bolzano in the history of
logic, and computational fixed-point logics.
The material was pr...
-
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...