Two Sides of the Same Coin: Belief Revision and Enforcing Arguments

We study a type of change on knowledge bases inspired by the dynamics of formal argumentation systems, where the goal is to enforce acceptance of certain arguments. We put forward that enforcing acceptance of arguments can be viewed as a member of the wider family of belief change operations, and that an axiomatic treatment of it is therefore desirable. In our case, laying down axioms enables a precise account of the close connection between enforcing arguments and belief revision. Our analysis of enforcing arguments proceeds by (i) axiomatizing it as an operation in propositional logic and providing a representation result in terms of rankings on sets of interpretations, (ii) showing that it stands in close relationship to belief revision, and (iii) using it as a gateway towards a principled treatment of enforcement in abstract argumentation.

[1]  Claudette Cayrol,et al.  Argumentation update in YALLA (Yet Another Logic Language for Argumentation) , 2016, Int. J. Approx. Reason..

[2]  James P. Delgrande,et al.  Belief revision in Horn theories , 2015, Artif. Intell..

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

[4]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[5]  Ringo Baumann,et al.  Normal and strong expansion equivalence for argumentation frameworks , 2012, Artif. Intell..

[6]  S. Hansson.  A Survey of non-Prioritized Belief Revision , 1999 .

[7]  Stefan Woltran,et al.  Belief revision within fragments of propositional logic , 2012, J. Comput. Syst. Sci..

[8]  Matti Järvisalo,et al.  Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation , 2016, AAAI.

[9]  Guillermo Ricardo Simari,et al.  A Specialized Set Theoretic Semantics for Acceptability Dynamics of Arguments , 2016, COMMA.

[10]  Andreas Herzig,et al.  A Dynamic Logic Framework for Abstract Argumentation , 2014, KR.

[11]  Guillermo Ricardo Simari,et al.  Dynamics of knowledge in DeLP through Argument Theory Change , 2013, Theory Pract. Log. Program..

[12]  Sébastien Konieczny,et al.  Extension Enforcement in Abstract Argumentation as an Optimization Problem , 2015, IJCAI.

[13]  Wlodzimierz Rabinowicz,et al.  Epistemic entrenchment with incomparabilities and relational belief revision , 1989, The Logic of Theory Change.

[14]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[15]  Peter Gärdenfors,et al.  Revisions of Knowledge Systems Using Epistemic Entrenchment , 1988, TARK.

[16]  Trevor J. M. Bench-Capon,et al.  Argumentation in artificial intelligence , 2007, Artif. Intell..

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

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

[19]  Matti Järvisalo,et al.  Synthesizing Argumentation Frameworks from Examples , 2019, ECAI.

[20]  Emiliano Lorini,et al.  The Strength of Desires: A Logical Approach , 2017, Minds and Machines.

[21]  Cristiano Castelfranchi,et al.  Revising Beliefs Through Arguments: Bridging the Gap Between Argumentation and Belief Revision in MAS , 2004, ArgMAS.

[22]  Thomas Andreas Meyer,et al.  Refined Epistemic Entrenchment , 2000, J. Log. Lang. Inf..

[23]  Adam J. Grove,et al.  Two modellings for theory change , 1988, J. Philos. Log..

[24]  Fachgruppe Philosophie,et al.  Preferential Belief Change Using Generalized Epistemic Entrenchment , 1992 .

[25]  Guillermo Ricardo Simari,et al.  On the evolving relation between Belief Revision and Argumentation , 2011, The Knowledge Engineering Review.

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

[27]  Thomas Linsbichler,et al.  Characteristics of multiple viewpoints in abstract argumentation , 2014, Artif. Intell..

[28]  Sven Ove Hansson,et al.  A Monoselective Presentation of AGM Revision , 2015, Stud Logica.

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

[30]  Ringo Baumann.  What Does it Take to Enforce an Argument? Minimal Change in abstract Argumentation , 2012, ECAI.