On Properties of Update Sequences Based on Causal Rejection

Details On Properties of Update Sequences Based on Causal Rejection On Properties of Update Sequences Based on Causal Rejection

2001-09-05

arxiv.org/abs/cs/0109006v1

Computer Science

Artificial Intelligence

59 pages, 2 figures, 3 tables, to be published in "Theory and Practice of Logic Programming"

Scientific paper

We consider an approach to update nonmonotonic knowledge bases represented as extended logic programs under answer set semantics. New information is incorporated into the current knowledge base subject to a causal rejection principle enforcing that, in case of conflicts, more recent rules are preferred and older rules are overridden. Such a rejection principle is also exploited in other approaches to update logic programs, e.g., in dynamic logic programming by Alferes et al. We give a thorough analysis of properties of our approach, to get a better understanding of the causal rejection principle. We review postulates for update and revision operators from the area of theory change and nonmonotonic reasoning, and some new properties are considered as well. We then consider refinements of our semantics which incorporate a notion of minimality of change. As well, we investigate the relationship to other approaches, showing that our approach is semantically equivalent to inheritance programs by Buccafurri et al. and that it coincides with certain classes of dynamic logic programs, for which we provide characterizations in terms of graph conditions. Therefore, most of our results about properties of causal rejection principle apply to these approaches as well. Finally, we deal with computational complexity of our approach, and outline how the update semantics and its refinements can be implemented on top of existing logic programming engines.

Affiliated with

Also associated with

No associations

Rating

On Properties of Update Sequences Based on Causal Rejection does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On Properties of Update Sequences Based on Causal Rejection, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On Properties of Update Sequences Based on Causal Rejection will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-715108