[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