An Update Front-End for Extended Logic Programs

Abstract

In recent years, several approaches for dealing with updates of logic programs have been proposed. In this paper, we describe the system upd, an implementation of the update formalism due to Eiter et al. This method is based on a compilation technique to standard answer set semantics, in which update sequences are translated into single logic programs, and which allows the use of existing logic programming systems as underlying reasoning engine. In the present case, upd is conceived as a front-end to the state-of-the-art solver DLV. Besides the basic update semantics of Eiter et al., the implementation handles also refinements of the semantics involving certain minimality-of-change criteria.