# An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation

arXiv: https://arxiv.org/abs/2411.04555 · HTML: https://mlsanity.com/paper/2411.04555/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 5 of its 35 references that are in the map.
- First posted on arXiv 7 Nov 2024.

## Builds on (most cited first, 5 of 5)

- [Explainability Fact Sheets: A Framework for Systematic Assessment of Explainable Approaches](https://mlsanity.com/paper/1912.05100/) (2019)
- [The Argument Reasoning Comprehension Task: Identification and Reconstruction of Implicit Warrants](https://mlsanity.com/paper/1708.01425/) (2017)
- [Embedding Uncertain Knowledge Graphs](https://mlsanity.com/paper/1811.10667/) (2018)
- [Rule Mining over Knowledge Graphs via Reinforcement Learning](https://mlsanity.com/paper/2202.10381/) (2022)
- [Understanding Enthymemes in Argument Maps: Bridging Argument Mining and Logic-based Argumentation](https://mlsanity.com/paper/2408.08648/) (2024)

## Built on by (most cited first, 1 of 1)

- [Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study](https://mlsanity.com/paper/2604.12534/) (2026)

## Abstract (arXiv)

An argument can be seen as a pair consisting of a set of premises and a claim supported by them. Arguments used by humans are often enthymemes, i.e., some premises are implicit. To better understand, evaluate, and compare enthymemes, it is essential to decode them, i.e., to find the missing premisses. Many enthymeme decodings are possible. We need to distinguish between reasonable decodings and unreasonable ones. However, there is currently no research in the literature on "How to evaluate decodings?". To pave the way and achieve this goal, we introduce seven criteria related to decoding, based on different research areas. Then, we introduce the notion of criterion measure, the objective of which is to evaluate a decoding with regard to a certain criterion. Since such measures need to be validated, we introduce several desirable properties for them, called axioms. Another main contribution of the paper is the construction of certain criterion measures that are validated by our axioms. Such measures can be used to identify the best enthymemes decodings.