Dynamics of Knowledge in DeLP through Argument Theory Change

Details Dynamics of Knowledge in DeLP through Argument Theory Change Dynamics of Knowledge in DeLP through Argument Theory Change

2011-11-29

arxiv.org/abs/1111.6883v1

Computer Science

Artificial Intelligence

61 pages To appear in Theory and Practice of Logic Programming (TPLP)

Scientific paper

This article is devoted to the study of methods to change defeasible logic programs (de.l.p.s) which are the knowledge bases used by the Defeasible Logic Programming (DeLP) interpreter. DeLP is an argumentation formalism that allows to reason over potentially inconsistent de.l.p.s. Argument Theory Change (ATC) studies certain aspects of belief revision in order to make them suitable for abstract argumentation systems. In this article, abstract arguments are rendered concrete by using the particular rule-based defeasible logic adopted by DeLP. The objective of our proposal is to define prioritized argument revision operators \`a la ATC for de.l.p.s, in such a way that the newly inserted argument ends up undefeated after the revision, thus warranting its conclusion. In order to ensure this warrant, the de.l.p. has to be changed in concordance with a minimal change principle. To this end, we discuss different minimal change criteria that could be adopted. Finally, an algorithm is presented, implementing the argument revision operations.

Affiliated with

Also associated with

No associations

Rating

Dynamics of Knowledge in DeLP through Argument Theory Change 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 Dynamics of Knowledge in DeLP through Argument Theory Change, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Dynamics of Knowledge in DeLP through Argument Theory Change will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-16755