余喆、鞠实儿、陈伟伟| Context-based argumentation frameworksand multi-agent consensus building

论文题目：Context-based argumentation frameworksand multi-agent consensus building

作者：余喆、鞠实儿、陈伟伟

原文链接：https://doi.org/10.1093/logcom/exad063

论文摘要

Argumentation must be conducted within specific contexts that involve particular social norms and values. For decision-making, the divergence of opinions among participants does not lie solely in disagreements of common sense and beliefs but mainly stems from differences in the priority orderings over values. In this paper, we discuss how to build consensus among participants holding different value orderings based on an extended structured argumentation framework that takes contextual factors into account. Compared with other formal systems for multi-agent reasoning based on argumentation, the context-based argumentation system especially emphasizes the dynamic nature of contexts. In addition, we refer to a pragmatic perspective to discuss how people manage to achieve the consensus they expect by changing contexts during an argument.

成果介绍

论辩是人们日常推理、解决观点和信念冲突的重要手段，一直以来都是哲学、逻辑学、语言学等学科领域所关注的研究主题。当前，基于符号逻辑的形式论辩研究也成为了人工智能领域备受关注的话题之一。形式论辩能够以可计算的方式评价一组论辩中的论证是否可辩护，由此将论辩研究引入了人工智能的研究视野。其中，结构化论辩系统在关注论证的符号表示与构造的同时，可以合理嵌入概率、权重等机制，获得论证之间的偏好，并通过抽象框架实现高效的论证计算评价，从而能够在输出推理结果的同时给出对于人类用户而言易理解的解释，有望成为人类推理与机器推理之间的沟通桥梁。

与此同时，人工智能论辩系统要在可应用性上获得突破，也亟待从以自然语言论证为关注点的非形式论辩，以及其他相关的社会文化领域研究成果中汲取养料。参考语用论辩研究成果，我们发现论辩参与者的价值排序、论辩过程中的语境敏感性及动态开放性特点，在多主体推理的共识形成过程中起到关键性作用。本研究主要结合这一观点，在传统的结构化论辩系统基础上融入论辩语境中的社会规范与价值，给出了关于论辩语境、论辩系统、用于实现认识推理与实践推理的论证构造、基于信念与价值的偏好获取、论证评价、共识达成等概念的详细定义，使得形式论辩系统能够同时处理关于信念的认识推理与关于行动决策的实践推理，并在论辩参与者对关键社会价值持有不同的优先排序的情况下，达成多方皆可接受的共识。在给出相关定义和系统合理性的形式证明同时，对历史事件“大礼议”之争的案例刻画也表明本研究所定义的论辩系统能够建模动态变化社会文化语境下的多主体论辩与推理决策过程。

发表期刊

Journal of Logic and Computation（逻辑与计算）是一本由牛津大学出版社出版的双月刊，该期刊的目标是促进逻辑和计算机科学之间的交叉和融合，探索逻辑在人工智能等领域的各种应用。该期刊创刊于1990年，根据最新的JCR期刊分区，该期刊属于逻辑学2区。

文章来源：逸仙逻辑公众号