提出评估隐含论证解码合理性的七项标准与验证方法
An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation
- 基于多领域构建评估隐含论证解码的七项标准
- 定义可验证的标准度量，并确保其满足合理性公理
- 为识别最优解码提供可量化依据，适合逻辑与AI研究者
论证可视为前提集与由此支持的结论的组合。人类使用的论证常为隐含论证，即部分前提未明确陈述。为更好理解、评估和比较隐含论证，需对其解码，即补全缺失前提。同一论证可能存在多种解码方式，需区分合理与不合理解码。然而，当前文献中尚无关于“如何评估解码”的研究。本文基于不同研究领域提出七个相关解码评估标准，并引入“标准度量”概念，用于针对特定标准评估解码结果。为确保度量有效性，本文定义若干理想性质（称为公理）。另一主要贡献是构造了满足这些公理的标准度量，可用于识别最优的隐含论证解码。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。