[Prev][Next][Index][Thread]
Workshop on Lopgic and Change, Sep/1-2/92, Bonn
Date: Tue, 12 May 92 10:18:58 +0200
To: linear
CALL FOR PARTICIPATION
(Workshop at GWAI'92)
BONN, 1-2 September 1992
LOGIC & CHANGE
Logical approaches to Artificial Intelligence have the advantage
of offering a declarative framework for the representation of
knowledge. On the other hand, Classical Logic, which has been the
generally assumed logical theory in AI during the past decades,
was originally conceived for the static world of mathematics;
therefore, it is not equipped to deal with the notions of ACTION
and CHANGE, which are often crucial in the problems that AI is
meant to address. Many of the criticisms against the ``logicist''
view of AI find one of their main motivations in the fact that
Classical Logic even rules out the possibility of a dynamically
changing world.
However, recently the AI community has started to consider alter-
native logical theories, which are better equipped to cope with
the problems mentioned above. Among such theories there are Modal
Logic, Temporal Logic, Dynamic Logic, Girard's Linear Logic,
Bibel's Linear Proofs, and Gabbay's Labeled Deductive Systems.
THE WORKSHOP WILL FOCUS ON THE TOPICS OF ACTION AND CHANGE AND
THE WAY LOGIC ATTEMPTS TO DEAL WITH THEM. SPECIAL CONSIDERATION
WILL BE GIVEN TO LOGICS OR LOGICAL FORMALISMS WHICH NOT ONLY ARE
ABLE TO MAKE STATEMENTS ABOUT ACTIONS AND CHANGES, BUT ADDITION-
ALLY OFFER A MORE _EXPLICIT REPRESENTATION_ OF ACTIONS AND
CHANGES.
Concerned fields of application are among others : Planning,
Reactive Concurrent Systems, Multiagent Worlds, Non-Monotonic
Reasoning, Inheritance with Exceptions, Change and Logic Program-
ming.
A workshop on this topic has already been organised at last
year's GWAI with a large number of international contributions.
This year workshop will include the following invited lectures:
Christoph Brzoska (University of Karlsruhe):
"Temporal Logic Programming based on the CLP paradigm"
Dov Gabbay (Imperial College):
"Temporal Visas --- Skolemizing across Time"
Stephen Hoelldobler (TH Darmstadt):
"Equational Logic Programming, Action, and Change"
Alberto Martelli (University of Turin):
"Truth Maintenance Systems and Belief Revision"
Camilla Schwind (University of Marseille):
"Reasoning about Change and Evolution"
If you are interested to contribute this year, please submit an
extended abstract (2-3 pages) or a full paper.
Submissions must be sent to:
Remo Pareschi
ECRC
Arabellastr. 17
D--8000 M
Tel.: +49--89--92699--172
Fax: +49--89--92699--170
E-mail: remo@ecrc.de
The submitted abstracts/papers will be refereed by
the organizers.
Deadlines: June 30, 1992 Deadline for submissions
July 15, 1992 Notification of acceptance
Organizers :
Bertram Fronhoefer, Technical University Munich
Alexander Herold, ECRC Munich
Remo Pareschi, ECRC Munich
The GWAI is the National German Conference on Artificial
Intelligence. All Workshop participants also have to register for the
GWAI conference and have to pay the GWAI conference fees