扩展了假设论证框架，支持含约束变量的非基论点。
Constrained Assumption-Based Argumentation Frameworks
- 引入带约束变量的非基假设论证框架（CABA）
- 定义了多种非基攻击语义，可覆盖传统框架
- 适合逻辑推理与形式化验证研究者
假设论证（ABA）是一种成熟的结构化论证形式。现有基于原子语言的ABA框架受限于仅能表达无变量的命题论点与攻击关系，应用范围有限。本文提出一种新型受限假设论证框架（CABA），其组件及生成的论点可包含取值于可能无限域的约束变量。我们定义了基于多种非基攻击概念的非基语义，并证明该新语义在标准ABA语义上保守推广，保持原有性质的同时增强了表达能力。
原文摘要 · Abstract (English)
Assumption-based Argumentation (ABA) is a well-established form of structured argumentation. ABA frameworks with an underlying atomic language are widely studied, but their applicability is limited by a representational restriction to ground (variable-free) arguments and attacks built from propositional atoms. In this paper, we lift this restriction and propose a novel notion of constrained ABA (CABA), whose components, as well as arguments built from them, may include constrained variables, ranging over possibly infinite domains. We define non-ground semantics for CABA, in terms of various notions of non-ground attacks. We show that the new semantics conservatively generalise standard ABA semantics.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。