DeepAI AI Chat
Log In Sign Up

Dynamics of Knowledge in DeLP through Argument Theory Change

by   Martín O. Moguillansky, et al.
Universidad Nacional del Sur

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 à 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.


page 1

page 2

page 3

page 4


Two forms of minimality in ASPIC+

Many systems of structured argumentation explicitly require that the fac...

Change in Abstract Argumentation Frameworks: Adding an Argument

In this paper, we address the problem of change in an abstract argumenta...

Using Enthymemes to Fill the Gap between Logical Argumentation and Revision of Abstract Argumentation Frameworks

In this paper, we present a preliminary work on an approach to fill the ...

Measuring Inconsistency in Argument Graphs

There have been a number of developments in measuring inconsistency in l...

Domain Modelling in Computational Persuasion for Behaviour Change in Healthcare

The aim of behaviour change is to help people to change aspects of their...

On Minimal Change in Evolving Multi-Context Systems (Preliminary Report)

Managed Multi-Context Systems (mMCSs) provide a general framework for in...