提出可分步计算攻防权重的新型渐进语义,提升论证框架可解释性。
Aggregative Semantics for Quantitative Bipolar Argumentation Frameworks
- 分三步聚合攻击者与支持者的权重,再结合论点自身权重
- 在500种语义中测试,验证了方法对不同情境的适应性
- 适合需要透明决策过程的AI可信推理场景
形式化论证在人工智能中日益重要,用于建模相互冲突的信息并识别可接受的论点。本文针对量化双极论证框架(QBAF),提出一种新型渐进语义族——聚合语义。为处理攻击者与支持者角色不对称的问题,不同于模块化语义,该方法分别聚合攻击者与支持者的全局权重,再与论点固有权重合并。整个过程分为三阶段:先分别计算攻击与支持的总权重,最后将二者与原始权重聚合。文中讨论了三种聚合函数应满足的性质及其与经典渐进语义原则的关系,并通过多个简单例子及一个包含500种语义的综合实验进行验证,展示其行为多样性。分步计算使模型更可参数化、更具可解释性,在保持双极性的同时比现有方法更深入地保留了论证结构。
原文摘要 · Abstract (English)
Formal argumentation is being used increasingly in artificial intelligence as an effective and understandable way to model potentially conflicting pieces of information, called arguments, and identify so-called acceptable arguments depending on a chosen semantics. This paper deals with the specific context of Quantitative Bipolar Argumentation Frameworks (QBAF), where arguments have intrinsic weights and can attack or support each other. In this context, we introduce a novel family of gradual semantics, called aggregative semantics. In order to deal with situations in which attackers and supporters do not play a symmetric role, and in contrast to modular semantics, we propose to aggregate attackers and supporters separately. This leads to a three-stage computation, which consists in computing a global weight for attackers and another for supporters, before aggregating these two values with the intrinsic weight of the argument. We discuss the properties that the three aggregation functions should satisfy depending on the context, as well as their relationships with the classical principles for gradual semantics. This discussion is supported by various simple examples, as well as a final example on which five hundred aggregative semantics are tested and compared, illustrating the range of possible behaviours with aggregative semantics. Decomposing the computation into three distinct and interpretable steps leads to a more parametrisable computation: it keeps the bipolarity one step further than what is done in the literature, and it leads to more understandable gradual semantics.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。