Updating Extended Logic Programs through Abduction
Chiaki Sakama and Katsumi Inoue
Proceedings of the 5th International Conference on
Logic Programming and Nonmonotonic Reasoning (LPNMR'99),
Lecture Notes in Artificial Intelligence 1730, pages 147-161,
This paper introduces techniques for updating knowledge bases
represented in extended logic programs.
Three different types of updates,
view updates, theory updates, and
inconsistency removal, are considered.
We formulate these updates through abduction,
and provide methods for computing them with update programs.
An update program is an extended logic program which specifies changes
on abductive hypotheses, then updates are computed by the
U-minimal answer sets of an update program.
The proposed technique provides a uniform framework for these different types
of updates, and each update is computed using existing procedures of
Full Paper (gzipped postscript 185K)