Chiaki Sakama and Katsumi Inoue

Abstract

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
logic programming.