A Formal Concept View of Abstract Argumentation

The paper presents a parallel between two important theories for the treatment of information which address questions that are apparently unrelated and that are studied by different research communities: an enriched view of formal concept analysis and abstract argumentation. Both theories exploit a binary relation (expressing object-property links, attacks between arguments). We show that when an argumentation framework rather considers the complementary relation does not attack, then its stable extensions can be seen as the exact counterparts of formal concepts. This leads to a cube of oppositions, a generalization of the well-known square of oppositions, between eight remarkable sets of arguments. This provides a richer view for argumentation in cases of bi-valued attack relations and fuzzy ones.

[1]  Jeff Z. Pan,et al.  An Argument-Based Approach to Using Multiple Ontologies , 2009, SUM.

[2]  Michael Clarke,et al.  Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 1991, Lecture Notes in Computer Science.

[3]  Henri Prade,et al.  Towards a Logic of Argumentation , 2012, SUM.

[4]  Manuel Ojeda-Aciego,et al.  Formal concept analysis via multi-adjoint concept lattices , 2009, Fuzzy Sets Syst..

[5]  Didier Dubois,et al.  Graduality, Uncertainty and Typicality in Formal Concept Analysis , 2010, 35 Years of Fuzzy Set Theory.

[6]  Claude Chabrol,et al.  Structures intellectuelles , 1967 .

[7]  Didier Dubois,et al.  Possibility Theory and Formal Concept Analysis: Context Decomposition and Uncertainty Handling , 2010, IPMU.

[8]  Leila Amgoud,et al.  Argumentation frameworks as constraint satisfaction problems , 2011, Annals of Mathematics and Artificial Intelligence.

[9]  Louis Couturat.  L'algèbre de la logique , 1980 .

[10]  C.J.H. Mann,et al.  Fuzzy Relational Systems: Foundations and Principles , 2003 .

[11]  Radim Bělohlávek,et al.  Fuzzy Relational Systems: Foundations and Principles , 2002 .

[12]  Robert Blanché,et al.  Structures Intellectuelles : essai sur l'organisation systématique des concepts , 1981 .

[13]  Didier Dubois,et al.  From Blanché’s Hexagonal Organization of Concepts to Formal Concept Analysis and Possibility Theory , 2012, Logica Universalis.

[14]  Bernhard Ganter,et al.  Formal Concept Analysis , 2013 .

[15]  Didier Dubois,et al.  Possibilistic logic : a retrospective and prospective view , 2003 .

[16]  Wei Xu,et al.  Fuzzy inference based on fuzzy concept lattice , 2006, Fuzzy Sets Syst..

[17]  M. K. Luhandjula.  Studies in Fuzziness and Soft Computing , 2013 .

[18]  Claudette Cayrol,et al.  On the Acceptability of Arguments in Preference-based Argumentation , 1998, UAI.

[19]  Didier Dubois,et al.  A Possibility-Theoretic View of Formal Concept Analysis , 2007, Fundam. Informaticae.

[20]  Philippe Besnard,et al.  Checking the acceptability of a set of arguments , 2004, NMR.

[21]  Rudolf Wille,et al.  Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts , 2009, ICFCA.

[22]  Radim Belohlávek,et al.  Fuzzy Galois Connections , 1999, Math. Log. Q..

[23]  Didier Dubois,et al.  Possibility theory and formal concept analysis: Characterizing independent sub-contexts , 2012, Fuzzy Sets Syst..

[24]  Dov M. Gabbay.  Introducing Equational Semantics for Argumentation Networks , 2011, ECSQARU.

[25]  Didier Dubois,et al.  Bridging gaps between several frameworks for the idea of granulation , 2011, 2011 IEEE Symposium on Foundations of Computational Intelligence (FOCI).

[26]  L. Beran,et al.  [Formal concept analysis]. , 1996, Casopis lekaru ceskych.

[27]  R. Belohlávek.  Fuzzy Relational Systems: Foundations and Principles , 2002 .

[28]  Michael Wooldridge,et al.  Weighted argument systems: Basic definitions, algorithms, and complexity results , 2011, Artif. Intell..

[29]  Radim Belohlávek,et al.  What is a Fuzzy Concept Lattice? II , 2011, RSFDGrC.

[30]  Philippe Besnard,et al.  Characterization of Semantics for Argument Systems , 2004, KR.

[31]  Andrei Popescu,et al.  Non-dual fuzzy connections , 2004, Arch. Math. Log..

[32]  Ramón Fuentes-González,et al.  The study of the L-fuzzy concept lattice , 1994 .

[33]  Zdzislaw Pawlak,et al.  Rough Set Theory , 2008, Wiley Encyclopedia of Computer Science and Engineering.

[34]  O. Ridoux,et al.  Introduction to logical information systems , 2004, Inf. Process. Manag..

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

[36]  Seth C. Kalichman,et al.  Foundations and Principles , 2013 .

[37]  Chris Cornelis,et al.  35 Years of Fuzzy Set Theory - Celebratory Volume Dedicated to the Retirement of Etienne E. Kerre , 2011, Studies in Fuzziness and Soft Computing.

[38]  Vilém Vychodil,et al.  What is a fuzzy concept lattice? , 2005, CLA.

[39]  Dexue Zhang,et al.  Concept lattices of fuzzy contexts: Formal concept analysis vs. rough set theory , 2009, Int. J. Approx. Reason..

[40]  Anthony Hunter,et al.  Instantiating abstract argumentation with classical logic arguments: Postulates and properties , 2011, Artif. Intell..

[41]  Henri Prade,et al.  Possibility-theoretic extension of derivation operators in formal concept analysis over fuzzy lattices , 2011, Fuzzy Optim. Decis. Mak..

[42]  Jean-Yves Béziau,et al.  The Power of the Hexagon , 2012, Logica Universalis.

[43]  Eyke Hüllermeier,et al.  Computational Intelligence for Knowledge-Based Systems Design, 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings , 2010, IPMU.