arXiv:2602.03286cs.AIcs.MA2026-02中稿 · AAMAS 2026

提出新方法,让模型基于怀疑拒绝论证,更贴近人类思考方式。

Rejecting Arguments Based on Doubt in Structured Bipolar Argumentation

  • 用句子层面的结构化双向论证框架建模
  • 允许理性怀疑,不强制接受所有可辩护论证
  • 既能判断论证可接受性,也能判断句子可接受性

本文提出一种新的计算论证方法,融合哲学与语言学视角。首先,承认个体可因怀疑而合理拒绝论证,不必接受所有可辩护的论点;其次,主张应关注个体在辩论中接受的具体语句,而非整体论证。为此,定义了结构化双向论证框架(SBAFs),其中论证由语句构成,并包含攻击与支持关系。为该框架提供语义,具有两个特征:(1)不同于完整性语义,本方法不要求接受所有被辩护的论证;(2)除论证扩展外,还提供语言扩展,明确可接受的语句集合。这些语义代表了辩论中合理的立场,介于抽象论证的可接受与完整语义之间。此外,该方法可重新审视现有框架:例如,能给出忽略论证间支持的条件(即使用抽象论证的合理性),并证明演绎支持语义是其特例。

原文摘要 · Abstract (English)

This paper develops a new approach to computational argumentation that is informed by philosophical and linguistic views. Namely, it takes into account two ideas that have received little attention in the literature on computational argumentation: First, an agent may rationally reject an argument based on mere doubt, thus not all arguments they could defend must be accepted; and, second, that it is sometimes more natural to think in terms of which individual sentences or claims an agent accepts in a debate, rather than which arguments. In order to incorporate these two ideas into a computational approach, we first define the notion of structured bipolar argumentation frameworks (SBAFs), where arguments consist of sentences and we have both an attack and a support relation between them. Then, we provide semantics for SBAFs with two features: (1) Unlike with completeness-based semantics, our semantics do not force agents to accept all defended arguments. (2) In addition to argument extensions, which give acceptable sets of arguments, we also provide semantics for language extensions that specify acceptable sets of sentences. These semantics represent reasonable positions an agent might have in a debate. Our semantics lie between the admissible and complete semantics of abstract argumentation. Further, our approach can be used to provide a new perspective on existing approaches. For instance, we can specify the conditions under which an agent can ignore support between arguments (i.e. under which the use of abstract argumentation is warranted) and we show that deductive support semantics is a special case of our approach.

计算论证逻辑推理信念系统

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