Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!elroy.jpl.nasa.gov!decwrl!deccrl!bloom-beacon!eru!hagbard!sunic!mcsun!ukc!edcastle!aiai!aipna!tw From: tw@aipna.ed.ac.uk (Toby Walsh) Newsgroups: comp.ai Subject: Seminar at Dept of AI, Edinburgh on 9th April Message-ID: <4250@aipna.ed.ac.uk> Date: 3 Apr 91 15:45:51 GMT Reply-To: tw@aipna.ed.ac.uk (Toby Walsh) Organization: Dept of AI, Edinburgh University, UK. Lines: 30 AI Departmental Seminar Edinburgh University Tuesday 9th April Room F10, 2pm Updating Knowledge Bases J.W. Lloyd University of Bristol In this seminar, I will consider the problem of updating a knowledge base, where a knowledge base is realised as a logic program. In this general setting, the update problem is as follows. Given an (arbitrary) program satisfying an integrity constraint theory and a closed first order formula, which is (resp., is not) a logical consequence of the completion of the program, find a way to change the program so that the formula is no longer (resp., is) a logical consequence of the completion of the updated program and so that the updated program also satisfies the integrity constraint theory. I will present some update procedures and discuss various properties of the procedures including their correctness. [For more information, or for suggestions for future seminars please contact Toby Walsh, ] -- Toby Walsh, JANET: Toby_Walsh@uk.ac.edinburgh Dept of Artificial Intelligence, ARPA: Toby_Walsh%uk.ac.ed@nsfnet-relay.ac.uk 80 South Bridge, UUCP: ...!ukc!ed.ac.uk!Toby_Walsh Edinburgh EH1 1HN TEL: +44 31 650 2725