EXPLAINER est une équipe associée internationale Inria, créée avec Anthony Hunter (University College London), dédiée à l’étude des arguments implicites et au raisonnement neuro-symbolique.

Après la disparition tragique d’Anthony Hunter, Antonio Rago (King’s College London) a repris la co-coordination britannique. Victor David coordonne l’équipe côté Inria.

En hommage à Tony Hunter

Tony était bien plus qu’un chercheur exceptionnel : c’était pour moi un ami et un mentor. Sa gentillesse, sa générosité et sa curiosité intellectuelle faisaient de lui une personne formidable. Il a profondément inspiré de nombreuses personnes au sein de la communauté de l’argumentation, et son influence continuera de vivre à travers celles et ceux qu’il a accompagnés et les idées qu’il a partagées. Je garderai une immense reconnaissance pour tout ce qu’il m’a appris et pour notre amitié.

Objectifs scientifiques

Une part importante de la communication humaine repose sur des prémisses ou conclusions implicites, appelées enthymèmes. Le projet étudie leur reconstruction et leur évaluation au moyen de représentations logiques, de graphes argumentatifs et de méthodes associant apprentissage et raisonnement.

  • Identifier et représenter les éléments implicites des arguments en langue naturelle.
  • Décoder et comparer plusieurs interprétations possibles.
  • Évaluer la qualité des reconstructions et leurs conséquences sur les relations argumentatives.
  • Développer des méthodes interprétables associant logique et modèles de langage.

Équipe et activités

Coordination : Victor David (Inria) et Antonio Rago (King’s College London). Collaboration fondatrice avec Anthony Hunter (UCL). Participation de Serena Villata, Elena Cabrio, Pierre Monnin, Ameer Saadat-Yazdi, Elfia Bezou Vrakatseli et Nino Pireaud.

  • Avril 2025 — validation de l’équipe associée EXPLAINER.
  • 2025 — stage M2 de Nino Pireaud et visite scientifique d’Anthony Hunter.
  • 2026 — travaux d’ingénierie de recherche de Nino Pireaud et recrutement des postdoctorants Ameer Saadat-Yazdi et Elfia Bezou Vrakatseli.
  • 2026–2029 — doctorat de Nino Pireaud sur la persuasion.

Contributions scientifiques

Publications liées aux thématiques de l’équipe. Les titres sont conservés dans leur langue originale.

2026

  • Learnable Multi-Attribute Gradual Semantics for Predicting Persuasion in Argumentative Debates
    Nino Pireaud, Victor David, Anthony Hunter, Pierre Monnin, Elena Cabrio
    KR 2026 – KR meets Machine Learning and Explanation · PDF
  • Elucidating Arguments Maps in Propositional Logic: Addressing Enthymemes and their Relationships
    Jonathan Ben-Naim, Victor David, Anthony Hunter
    KR 2026 – Main Track · PDF
  • Do Argumentation Schemes Help? An Assessment of Their Role in Formalising Natural Language Arguments
    Ameer Saadat-Yazdi, Victor David, Anthony Hunter, Serena Villata
    COMMA 2026 · PDF
  • How Can Similarity Be Explained? Modeling Multiple Points of View with Inverse simFOL
    Nino Pireaud, Victor David, Pierre Monnin, Elena Cabrio, Serena Villata, Anthony Hunter
    COMMA 2026 · PDF

2025

  • A Logic-based Framework for Decoding Enthymemes in Argument Maps Involving Implicitness in Premises and Claims — Victor David, Anthony Hunter. IJCAI 2025. PDF.
  • An Axiomatic Study of a Modular Evaluation of Enthymeme Decoding in Weighted Structured Argumentation — Jonathan Ben-Naim, Victor David, Anthony Hunter. KR 2025. PDF.