DEFILIPPO@C.CS.CMU.EDU.UUCP (02/04/87)
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.