%0 Conference Paper
%F Oral 
%T Le cube des oppositions - Une structure à la base de nombreux formalismes de représentation des connaissances
%+ Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA)
%+ Centre National de la Recherche Scientifique (CNRS)
%+ Equipe de Recherche en Ingénierie des Connaissances (ERIC)
%A Dubois, Didier
%A Prade, Henri
%A Rico, Agnès
%< sans comité de lecture
%Z ERIC:15-017
%B IAF
%C Rennes, France
%8 2015-06-29
%D 2015
%Z Computer Science [cs]/Information Theory [cs.IT]Conference papers
%X The square of opposition is a structure involving two involutive negations and relating quantified statements, invented in Aristotle time. Rediscovered in the second half of the $XX^{th}$ century, and advocated as being of interest for understanding conceptual structures and solving problems in paraconsistent logics, the square of opposition has been recently completed into a cube, which corresponds to the introduction of a third negation. Such a cube can be encountered in very different knowledge representation formalisms, such as modal logic, possibility theory in its all-or-nothing version, formal concept analysis, rough set theory and abstract argumentation. After restating these results in a unified perspective, the paper proposes a graded extension of the cube and shows that several qualitative, as well as quantitative formalisms, such as Sugeno integrals used in multiple criteria aggregation and qualitative decision theory, or yet belief functions and Choquet integrals, are amenable to transformations that form graded cubes of opposition. This discovery leads to a new perspective on many knowledge representation formalisms, laying their underlying common features. The cube of opposition exhibits fruitful parallelisms between different formalisms, which leads to highlight some missing components present in one formalism and currently absent from another.\end{abstract}
%G French
%L hal-01179578
%U https://hal.science/hal-01179578
%~ UNIV-TLSE2
%~ UNIV-TLSE3
%~ CNRS
%~ UNIV-LYON2
%~ ERIC
%~ SMS
%~ UT1-CAPITOLE
%~ UDL
%~ IRIT
%~ IRIT-ADRIA
%~ IRIT-IA
%~ TOULOUSE-INP
%~ UNIV-UT3
%~ UT3-INP
%~ UT3-TOULOUSEINP