Measuring Similarity between Logical Arguments

Leila Amgoud (1, 2) , Victor David (3)

1 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
2 CNRS - Centre National de la Recherche Scientifique
3 IRD - Institut de Recherche pour le Développement

Argumentation is a prominent approach for reasoning with (inconsistent) propositional information. It is based on the justification of formulas by arguments, which are minimal and consistent logical proofs of the formulas. The aim of this paper is to evaluate to what extent two such arguments are similar. For that purpose, we introduce a notion of similarity measure and a set of principles that such a measure should satisfy. We propose some intuitive extensions of measures from the literature, and show that they fail to satisfy some of the principles. Then, we come up with a more discriminating measure which satisfies them all.

Domaines: Intelligence artificielle [cs.AI]

Leila Amgoud, Victor David. Measuring Similarity between Logical Arguments. 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Oct 2018, Tempe, United States. pp.1-21. ⟨hal-02325829⟩