Argument Theory Change Through Defeater Activation

Argument Theory Change (ATC) applies classic belief change concepts to the area of argumentation. This intersection of fields takes advantage of the definition of a Dynamic Abstract Argumentation Framework, in which an argument is either active or inactive, and only in the former case it is taken into consideration in the reasoning process. ATC identifies how the framework has to be modified in order to achieve warrant for a certain argument. The present article copes with this matter by defining a revision operator based on activation of arguments, i.e., recognizing the knowledge that is missing.

[1]  Sven Ove Hansson.  Kernel Contraction , 1994, J. Symb. Log..

[2]  Ana Gabriela Maguitman,et al.  Logical models of argument , 2000, CSUR.

[3]  Trevor J. M. Bench-Capon,et al.  Modelling Judicial Context in Argumentation Frameworks , 2008, COMMA.

[4]  Guillermo Ricardo Simari,et al.  Modelling Well-Structured Argumentation Lines , 2007, IJCAI.

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

[6]  Guillermo Ricardo Simari,et al.  A Lattice-Based Approach to Computing Warranted Beliefs in Skeptical Argumentation Frameworks , 2007, IJCAI.

[7]  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..

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

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

[10]  Guido Boella,et al.  Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension , 2009, ECSQARU.

[11]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning and Logic Programming , 1993, IJCAI.

[12]  Claudette Cayrol,et al.  On bipolarity in argumentation frameworks , 2008, NMR.

[13]  Guillermo Ricardo Simari,et al.  Argument Theory Change Applied to Defeasible Logic Programming , 2008, AAAI.

[14]  L. Amgoud,et al.  On bipolarity in argumentation frameworks , 2008 .

[15]  Srdjan Vesic,et al.  On Revising Argumentation-Based Decision Systems , 2009, ECSQARU.

[16]  Guillermo Ricardo Simari,et al.  Defeasible logic programming: an argumentative approach , 2003, Theory and Practice of Logic Programming.