On updates and inconsistency repairing in knowledge bases

A technique to compute a solution for a given update and a given knowledge base is presented. The salient features of this approach are: the problem is tackled in a general way and presents a technique for repairing inconsistency; the user can interact with the system, actively influence the solution to be generated, and is not forced to generate all possible minimal solutions from which the user finally draws the most preferred one; solutions are obtained by set-oriented fact processing rather than by single fact accesses to the old knowledge base; and, in contrast to the other proposed techniques, the consistency of the old knowledge base is exploited when generating a solution.<
>