Argumentation abstraite et concepts formels

International audienceCet article présente pour la première fois un parallèle entre deux théories importantes en traitement de l’information qui s’intéressent à des questions qui n’ont apriori rien à voir entre elles et qui concernent des communautés de chercheurs bien distinctes : l’analyse formelle de concepts d’une part et la théorie abstraite de l’argumentation d’autre part. Elles exploitent toutes les deux une relation binaire exprimant pour l’une un lien objet-propriété, et pour l’autre une attaque d’un argument sur un autre argument. Le parallèle se précise davantage quand on considère la relation complémentaire “n’attaque pas” : on s’aperçoit alors que la notion d’extension stable à la base des sémantiques de l’argumentation correspond à l’idée de concept formel. L’article propose une première analyse du parallèle entre la théorie abstraite de l’argumentation, et l’analyse formelle de concepts, elle-même augmentée de d’autres opérateurs que celui à la base des concepts formels, grâce à un autre rapprochement avec la théorie des possibilités. Ce parallèle paraît intéressant pour en particulier enrichir la théorie abstraite de l’argumentation dans le cas de relations bi-valuées, comme dans le cas de relations floues. Un cube d’oppositions entre huit ensembles remarquables d’arguments peut ainsi être construit