Similarity Measures between Order-Sorted Logical Arguments - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

Similarity Measures between Order-Sorted Logical Arguments

Jean-Guy Mailly

Résumé

Similarity in formal argumentation has received some attention recently, since one can argue that, in some context, using similar arguments to reach a conclusion is not the same as using dissimilar ones. While existing work consider arguments built from propositional logic, in this work we adapt the notion of similarity measures to arguments built from Order-Sorted First Order Logic, an extension of First Order Logic which allows to represent complex information, considering the type of the data. We study and evaluate our approach with respect to an adaptation of axioms from the literature. This paves the way to new reasoning modes taking into account similarity between arguments in complex settings like ontologies.
Fichier principal
Vignette du fichier
JIAF-JFPDA_2023.pdf (337.69 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04386485 , version 1 (12-01-2024)

Identifiants

  • HAL Id : hal-04386485 , version 1

Citer

Victor David, Jérôme Delobelle, Jean-Guy Mailly. Similarity Measures between Order-Sorted Logical Arguments. Journées d'Intelligence Artificielle Fondamentale, 2023, Strasbourg, France. ⟨hal-04386485⟩
16 Consultations
49 Téléchargements

Partager

More