Sciweavers

Share
TPLP
2002

On Properties of Update Sequences Based on Causal Rejection

8 years 3 months ago
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...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 2002
Where TPLP
Authors Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits
Comments (0)
books