On Properties of Update Sequences Based on Causal Rejection

In this paper, we consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under the answer set semantics. In this approach, new information is incorporated into the current knowledge base subject to a causal rejection principle, which enforces that, in case of conflicts between rules, more recent rules are preferred and older rules are overridden. Such a rejection principle is also exploited in other approaches to update logic programs, notably in the method of dynamic logic programming, due to Alferes et al. One of the central issues of this paper is a thorough analysis of various properties of the current approach, in order to get a better understanding of the inherent causal rejection principle. For this purpose, we review postulates and principles for update and revision operators which have been proposed in the area of theory change and nonmonotonic reasoning. Moreover, some new properties for approaches to updating logic programs are co...

• Type: Journal
• Year: 2002
• Where: TPLP
• Authors: Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
• Keywords: Causal Rejection Principle, Logic Programs, Rejection Principle, TPLP 2002