arXiv:2511.09600cs.AIcs.LO2025-11被引 1

证明了强合理扩展蕴含弱合理,但反向不成立。

Cogent argument extensions are weakly admissible but not vice versa

  • 从逻辑上分析两种非可接受论证框架的关系
  • 指出强合理扩展必为弱合理扩展
  • 适合研究论证语义的逻辑学者

本文研究了两种非可接受论证框架语义——强合理(cogent)与弱合理(weakly admissible)之间的关系。我们证明:虽然所有强合理扩展都是弱合理扩展,但反之不成立。这一结果澄清了两类语义的包含关系,揭示了强合理语义更强的约束性,对论证理论中的语义选择具有指导意义。

原文摘要 · Abstract (English)

In this research note, we show the relationship between two non-admissible argumentation framework semantics: cogent and weakly admissible semantics. We prove that, while cogent extensions are weakly admissible, the converse is not true.

论证语义逻辑推理非可接受

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。