研究人员为包含不确定规则和前提的结构化论证框架开发了新的表达能力结果。该研究引入了一种新颖的比较表达能力概念,允许比较不同形式化在生成抽象论证框架方面的能力。在将抽象模型与 ASPIC+、基于假设的论证和演绎论证等结构化模型进行比较时,研究结果包括正面和负面结果。 AI
影响 这项研究为需要在不确定性下进行推理的AI系统奠定了理论基础,有可能提高其鲁棒性和可靠性。
排序理由 该集群包含一篇在arXiv上发表的学术论文,详细介绍了形式论证的理论结果。[lever_c_demoted from research: ic=1 ai=1.0]
- Antonio Yuste-Ginel
- arXiv
- ASPIC+
- Assumption-Based Argumentation
- Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →