remo@ecrc.de (Remo Pareschi) (06/07/91)
CALL FOR PARTICIPATION
Workshop during GWAI'91
Bonn, Germany
September 18/19, 1991
14.30-18.30 p.m.
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 alternative
logical theories, which are better equipped to cope with the problems
mentioned above. Among such theories are Modal Logic, Temporal Logic,
Girard's Linear Logic and Bibel's Linear Proofs.
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 ARE NOT ONLY ABLE TO MAKE
STATEMENTS ABOUT ACTIONS AND CHANGES, BUT ADDITIONALLY 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 Programming.
The following is a list of already confirmed invited talks
Jean-Yves Girard (Universite Paris VII) : keynote speaker.
Luis Farinas del Cerro (Universite Paul Sabatier, Toulouse) :
Automated Hypothetical Reasoning.
Bertram Fronhoefer (Technical University, Munich) :
Change and Linear Proofs.
Andreas Herzig (Universite Paul Sabatier, Toulouse):
Change and Uncertainty.
Reinhold Letz (Technical University, Munich) :
Global Variables in Logic Programming.
Dale Miller (LFCS, University of Edinburgh and University of Pennsylvania) :
Multiple Conclusions Logic Programming and the pi-Calculus.
Luis Monteiro, Antonio Porto (Uninova, Lisboa):
Actions and Deductions.
Remo Pareschi (ECRC, Munich) :
Linear Logic and Multiagent Models of Computation.
Barry Richards (Imperial College, London) :
A Logic of Time and Change: IQ-Prolog Extended.
Jacqueline Vauzeilles (Universite Paris-Nord) :
Generating Plans in Linear Logic : Actions as Proofs.
---------------------------------------------------------------------------
If you are interested in contributing a talk, please send an extended
abstract (2-3 pages) to:
Bertram Fronhoefer
Institute of Informatics
Technical University Munich
Postfach 202420
D--8000 Munich 2
Germany
Tel.: +49-89-2105-2031
Fax: +49-89-526502
E-mail: fronhoef@informatik.tu-muenchen.de
remo@ecrc.de
E-mail submissions are welcome: in case you choose to submit by E-mail,
please send your abstract to BOTH the addresses above. Please inform
us even in case you plan to attend the workshop without giving a talk.
Every E-mail will be acknowledged.
The submitted abstracts will be refereed by the organizers.
DEADLINES : July 15, 1991 Deadline for submissions
August 15, 1991 Notification of acceptance
ORGANIZERS :
Bertram Fronhoefer Technical University Munich
Remo Pareschi ECRC Munich
Luis Farinas del Cerro Universite Paul Sabatier, Toulouse
All workshop participants also have to register for the GWAI
conference and have to pay the GWAI conference fees.