An Abductive Framework For Computing Knowledge Base Updates

Details An Abductive Framework For Computing Knowledge Base Updates An Abductive Framework For Computing Knowledge Base Updates

2004-05-22

arxiv.org/abs/cs/0405076v1

Theory and Practice of Logic Programming, vol. 3, no. 6, 2003

Computer Science

Databases

Appeared in Theory and Practice of Logic Programming, vol. 3, no. 6, 2003

Scientific paper

This paper introduces an abductive framework for updating knowledge bases represented by extended disjunctive programs. We first provide a simple transformation from abductive programs to update programs which are logic programs specifying changes on abductive hypotheses. Then, extended abduction, which was introduced by the same authors as a generalization of traditional abduction, is computed by the answer sets of update programs. Next, different types of updates, view updates and theory updates are characterized by abductive programs and computed by update programs. The task of consistency restoration is also realized as special cases of these updates. Each update problem is comparatively assessed from the computational complexity viewpoint. The result of this paper provides a uniform framework for different types of knowledge base updates, and each update is computed using existing procedures of logic programming.

Affiliated with

Also associated with

No associations

Rating

An Abductive Framework For Computing Knowledge Base Updates 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 An Abductive Framework For Computing Knowledge Base Updates, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An Abductive Framework For Computing Knowledge Base Updates will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-261429