提出非平坦假设论证中的强弱可接受性,拓展语义框架。
On Strong and Weak Admissibility in Non-Flat Assumption-Based Argumentation
- 用双极集合框架建模非平坦假设论证关系
- 证明强弱可接受性均保持模块化性质
- 揭示其与标准可接受性的共性缺陷,适合逻辑形式化研究者
本文扩展了假设论证(ABA)中可接受性概念的研究。针对抽象论证中两个重要替代概念——强可接受性与弱可接受性,我们为一般(又称非平坦)ABA引入相应的偏好、完整和根基语义。为此,采用抽象双极集合论证框架(BSAFs),因其能简洁刻画假设间关系且足够表达非平坦ABA结构。尽管弱可接受性已在不产生假设的受限片段(平坦ABA)中被研究,但强可接受性此前尚未在ABA中探讨。本文首次定义了ABA中的强可接受性并分析其性质;同时将弱可接受性研究从平坦情形推广至非平坦情形。我们证明经典、强及弱可接受性均保持核心的模块化性质。此外,发现强与弱可接受语义在非平坦ABA中存在与标准可接受性类似的局限性,并讨论可能的改进路径。
原文摘要 · Abstract (English)
In this work, we broaden the investigation of admissibility notions in the context of assumption-based argumentation (ABA). More specifically, we study two prominent alternatives to the standard notion of admissibility from abstract argumentation, namely strong and weak admissibility, and introduce the respective preferred, complete and grounded semantics for general (sometimes called non-flat) ABA. To do so, we use abstract bipolar set-based argumentation frameworks (BSAFs) as formal playground since they concisely capture the relations between assumptions and are expressive enough to represent general non-flat ABA frameworks, as recently shown. While weak admissibility has been recently investigated for a restricted fragment of ABA in which assumptions cannot be derived (flat ABA), strong admissibility has not been investigated for ABA so far. We introduce strong admissibility for ABA and investigate desirable properties. We furthermore extend the recent investigations of weak admissibility in the flat ABA fragment to the non-flat case. We show that the central modularization property is maintained under classical, strong, and weak admissibility. We also show that strong and weakly admissible semantics in non-flat ABA share some of the shortcomings of standard admissible semantics and discuss ways to address these.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。