中文

加权结构化论证中隐喻解码评估的公理化研究

人工智能 2024-11-14 v2 计算机科学中的逻辑

摘要

一个论证可被视为由一组前提和支持它们的结论组成的对。人类使用的论证通常是隐喻(enthymeme),即某些前提是隐含的。为了更好地理解、评估和比较隐喻,解码它们(即找到缺失的前提)是必不可少的。许多隐喻解码都是可能的。我们需要区分合理的解码和不合理的解码。然而,目前文献中尚无关于「如何评估解码?」的研究。为了开辟道路并实现这一目标,我们基于不同研究领域引入了七个与解码相关的标准。然后,我们引入了准则度量的概念,其目的是根据某一准则评估一个解码。由于此类度量需要验证,我们为它们引入了一些称为公理的理想性质。该论文的另一主要贡献是构造了由我们的公理验证的某些准则度量。此类度量可用于识别最佳的隐喻解码。

关键词

引用

@article{arxiv.2411.04555,
  title  = {An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation},
  author = {Jonathan Ben-Naim and Victor David and Anthony Hunter},
  journal= {arXiv preprint arXiv:2411.04555},
  year   = {2024}
}

备注

14 pages