Logic List Mailing Archive

Workshop on Belief Revision and Dynamic Logic (at ESSLLI 2005, Edinburgh, August 2005)


                             Workshop on
                  Belief revision and dynamic logic


                          15-19 August, 2005

                         organized as part of
        European Summer School on Logic, Language and Information
            ESSLLI 2005 http://www.macs.hw.ac.uk/esslli05/
                    8-19 August, 2005 in Edinburgh

Workshop Organizers: Andreas Herzig (herzig@irit.fr), IRIT-CNRS, Toulouse,
and Hans van Ditmarsch (hans@cs.otago.ac.nz), University of Otago, NZ

Workshop Purpose: In 'standard' AGM belief revision, a deductively closed
theory T is revised with a formula phi, resulting in a revised theory T *
phi. Typically, the negation of phi is in T and has to be 'retracted'. A
fairly recent way to model belief revision is within more general theories
of action and change such as dynamic logic, as sketched first in 'Two
traditions in the logic of belief: bringing them together', by Segerberg
(1996, and 1999). In this setting a pointed Kripke model for belief in the
theory T satisfies in particular B ~phi, and a dynamic modal operator [*
phi], for 'belief revision with phi', is interpreted as an epistemic state
transformer [[* phi]]. In the resulting epistemic state then holds B phi.
There are also other general frameworks, that have been investigated
recently in AI, such as situation calculus and fluent calculus. Such
dynamic (and generally epistemic) approaches allow in a natural fashion
for multi-agent belief revision, for belief revision with epistemic
beliefs (typically: of other agents), and provide refreshing insights on
irrevocable belief revision and iterated belief revision.

Workshop Topics:
- belief revision and logics of probability
- belief update vs. belief revision
- dynamics of knowledge and belief
- higher-order belief revision
- model checking for belief revision
- epistemic actions
- belief merging and other multi-agent belief revision

Submission details:
Authors are invited to submit an extended abstract describing original work
Submissions should not exceed 8 pages. The following formats are accepted:
PDF, PS, Word, ASCII text. Please send your submission electronically
through http://www.irit.fr/~Andreas.Herzig/Esslli05 by the deadline listed
below. The submissions will be reviewed by the workshop's programme
committee and additional reviewers. The accepted papers will appear in the
workshop proceedings published by ESSLLI. The format for the final versions
will be available on the workshop website. A selection of papers might be
published in a special issue of the Journal of Applied Non-Classical Logics

Workshop format:
The workshop is part of ESSLLI and is open to all ESSLLI participants. It
will consist of five 90-minute sessions held over five consecutive days in
the second week of ESSLLI. There will be 2 or 3 slots for paper presentatio
and discussion per session. On the first day the workshop organizers will
give an introduction to the topic.

Invited Speakers:
to be announced

Workshop Programme Committee:
Alexandru Baltag, Oxford University
Richard Booth, University of Wollongong
John Cantwell, Royal Institute of Technology, Stockholm
Samir Chopra, City University of New York
Jim Delgrande, Simon Fraser University, Canada (to be confirmed)
Robert Demolombe, ONERA, Toulouse
Jelle Gerbrandy, University of Torino
Guido Governatori, University of Queensland
Andreas Herzig (co-chair), IRIT-CNRS, Toulouse
Barteld Kooi, University of Groningen
Willem Labuschagne, University of Otago, NZ
J?r?me Lang, IRIT-CNRS
Hector Levesque, University of Toronto
Thomas Meyer, NICTA, Sydney, AU
Abhaya Nayak, Macquarie, AU
Maurice Pagnucco, UNSW/NICTA, Sydney, AU
Hans Rott, University of Regensburg (to be confirmed)
Krister Segerberg, University of Uppsala (to be confirmed)
Steven Shapiro, University of Leipzig
Keith Stenning, University of Edinburgh
Johan van Benthem, Universities of Amsterdam and Stanford
Wiebe van der Hoek, University of Liverpool
Hans van Ditmarsch (co-chair), University of Otago, NZ
Rineke Verbrugge, University of Groningen
Renata Wassermann, University of Sao Paulo

Important Dates:
Submissions: March 9, 2005
Notification: April 18, 2005
Preliminary programme: April 23, 2005
ESSLLI early registration: May 1, 2005
Final papers for proceedings: May 18, 2005
Final programme: June 22, 2005
Workshop dates: August 15-19, 2005

Local Arrangements:
All workshop participants including the presenters will be required to
register for ESSLLI. The registration fee for authors presenting a paper
will correspond to the early student/workshop speaker registration fee.
Moreover, a number of additional fee waiver grants will be made available b
the OC on a competitive basis and workshop participants are eligible to
apply for those. There will be no reimbursement for travel costs and
accommodation. Workshop speakers who have difficulty in finding funding
should contact the local organizing committee to ask for the possibilities
for a grant.

Further Information:
About the workshop: http://www.irit.fr/~Andreas.Herzig/Esslli05
About ESSLLI: http://www.macs.hw.ac.uk/esslli05/