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.

翻译：论证可视为由前提集及其支持的结论构成的二元组。人类使用的论证常为省略三段论，即部分前提是隐含的。为了更好地理解、评估和比较省略三段论，必须对其进行解码，即找出缺失的前提。可能的省略三段论解码方案众多，我们需要区分合理与不合理的解码。然而，目前文献中尚无关于"如何评估解码方案"的研究。为实现这一目标并奠定基础，我们基于不同研究领域提出了七项与解码相关的评估标准。随后，我们引入了标准度量的概念，其目标在于依据特定标准评估解码方案。由于此类度量需经过验证，我们为其建立了若干理想性质，称为公理。本文的另一主要贡献是构建了经公理验证的特定标准度量，此类度量可用于识别最优的省略三段论解码方案。