Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!rutgers!mit-eddie!genrad!decvax!ucbvax!C.CS.CMU.EDU!DEFILIPPO
From: DEFILIPPO@C.CS.CMU.EDU.UUCP
Newsgroups: mod.ai
Subject: Seminar - Dynamic Belief Revision System (CMU)
Message-ID: <8702050722.AA01501@ucbvax.Berkeley.EDU>
Date: Tue, 3-Feb-87 16:47:00 EST
Article-I.D.: ucbvax.8702050722.AA01501
Posted: Tue Feb  3 16:47:00 1987
Date-Received: Sat, 7-Feb-87 10:41:31 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 25
Approved: ailist@sri-stripe.arpa



                 LOGIC COLLOQUIUM  (CMU/PITT)

Speaker:  Norman Foo and Anand Rao (U. Sydney/ IBM)
Date:     Thursday, February 5
Time:     3:30
Place:    Wean 5409 
Topic:    Dynamic belief revision system


We have combined the notions of constructive negation (Gabbay & Sergot),
stratified logic programs (Apt, Blair, & Walker), and the logic of small
changes (Gardenfors, Makinson, & Alchouron) to produce a sound and complete
belief revision system.  This was done by separating the object logic from
the meta logic.  The object logic turns out to be paraconsistent (Routley &
Priest).

This talk will discuss this work and plans for future extensions.  One
extension is to adapt the logic to conceptual graphs and use it as a
back-end for the CONGRESS system.  Another extension is to attempt a
graceful merger of finite failure negation with constructive negation.

If anyone would like to have an appointment with them, please contact
me @defilippo or x3063.