Measuring Similarity between Logical Arguments - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Measuring Similarity between Logical Arguments

Résumé

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.
Fichier principal
Vignette du fichier
Amgoud-David.pdf (297 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02325829 , version 1 (28-10-2019)

Identifiants

  • HAL Id : hal-02325829 , version 1

Citer

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⟩
102 Consultations
64 Téléchargements

Partager

More