tw@aipna.ed.ac.uk (Toby Walsh) (04/03/91)
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, <T.Walsh@uk.ac.edinburgh>]
--
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