Removed Set-Based Revision of Abstract Argumentation Frameworks

Argumentation frameworks have aroused intense interest from the AI community over the past years. Dynamic aspects of argumentation frameworks have received some interest from the community, but none of these works tries to address the recovering problem, that is, what shall we do when the new addition leads to the loss of all extensions. Such problem is typically a belief revision problem. In this paper, we propose a revision operator to revise an argumentation framework by another one, with the guarantee that the result of the operation will be an argumentation framework which has at least one stable extension. We also propose an algorithm to compute the revision operation outcome.

[1]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[2]  Claudette Cayrol,et al.  Revision of an Argumentation System , 2008, KR.

[3]  Anthony Hunter,et al.  Elements of Argumentation , 2007, ECSQARU.

[4]  Stefan Woltran,et al.  AGM-Style Belief Revision of Logic Programs under Answer Set Semantics , 2008, LPNMR.

[5]  Guillermo Ricardo Simari,et al.  Explanations, belief revision and defeasible reasoning , 2002, Artif. Intell..

[6]  André Fuhrmann.  An Essay on Contraction , 1996 .

[7]  Guillermo Ricardo Simari,et al.  Belief dynamics and defeasible argumentation in rational agents , 2004, NMR.

[8]  Julien Hué,et al.  Merging Belief Bases Represented by Logic Programs , 2009, ECSQARU.

[9]  Jürg Kohlas,et al.  Handbook of Defeasible Reasoning and Uncertainty Management Systems , 2000 .

[10]  Ringo Baumann,et al.  Expanding Argumentation Frameworks: Enforcing and Monotonicity Results , 2010, COMMA.

[11]  Farid Nouioua.  AFs with Necessities: Further Semantics and Labelling Characterization , 2013, SUM.

[12]  Odile Papini.  A Complete Revision Function in Propositional Calculus , 1992, ECAI.

[13]  Claudette Cayrol,et al.  Change in Abstract Argumentation Frameworks: Adding an Argument , 2010, J. Artif. Intell. Res..

[14]  Sanjay Modgil,et al.  Proof Theories and Algorithms for Abstract Argumentation Frameworks , 2009, Argumentation in Artificial Intelligence.

[15]  Sven Ove Hansson,et al.  Revision of Belief Sets and Belief Bases , 1998 .

[16]  Odile Papini,et al.  Revision: an application in the framework of GIS , 2000, International Conference on Principles of Knowledge Representation and Reasoning.

[17]  Guillermo Ricardo Simari,et al.  Argument Theory Change: Revision Upon Warrant , 2008, COMMA.

[18]  Sébastien Konieczny,et al.  On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses , 2014, KR.

[19]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[20]  James P. Delgrande.  A program-level approach to revising logic programs under the answer set semantics , 2010, Theory Pract. Log. Program..

[21]  Leon van der Torre,et al.  A Logical Theory about Dynamics in Abstract Argumentation , 2013, SUM.

[22]  Didier Dubois,et al.  Inconsistency Management and Prioritized Syntax-Based Entailment , 1993, IJCAI.