论辩挖掘在不同领域下的应用
引言
论辩研究和推理是一个涉及到逻辑、语言、计算机等多学科领域的过程，在人工智能兴起的时代，计算论辩试图将人类对于论辩领域的知识和人工智能结合起来，用计算机深度模型来挖掘论辩语义、论辩结构等方面，达到自动推理的效果。论辩挖掘是计算论辩中的一个重要任务，它的主要任务有单篇式论辩挖掘，包括提论点分类、论点评估等；交互式论辩挖掘，包括论点对抽取等。此次的三篇论文将阐述论辩挖掘在司法领域、论辩领域、同行评议领域等的证据链支持、反驳证据评估、论点对抽取等方面应用。
文章概览
1. argumentation-driven evidence association in criminal cases
刑事案件中的证据关联是将一组司法证据划分为若干不重叠的子集，提高定罪的可解释性和合法性。可以观察到，分成同一子集的证据通常支持同一主张。在证据关联步骤中，此篇文章提出了一种基于论证驱动（argumentation-driven）的监督学习方法来计算证据对之间的联系。在实际数据集上的实验结果证明了该方法的有效性。
2. knowledge-enhanced evidence retrieval for counterargument generation
找到对陈述的反证是许多任务的关键。此篇文章建立了一个系统，给出一个陈述，从web上不同的来源检索反证据。该系统的核心是一个自然语言推理(natural language inference, nli)模型，它可以判断一个候选句子是否为有效反证。作者提出了一个知识增强的nli模型，旨在通过整合知识图来处理基于因果关系和实例的推理。在实际数据集上的实验结果证明了该方法的有效性。
3. argument pair extraction with mutual guidance and inter-sentence relation graph
此篇文章通过一个相互引导的框架来处理论点对抽取（ape）任务，利用一个段落中一个论点的信息来指导识别另一个段落中可以与之配对的论点。此外，此篇文章还提出了一个句间关系图来有效地模拟两个句子之间的相互关系，从而有利于论点对的提取。实验结果表明，我们的方法明显优于目前sota的模型。
论文细节
1
动机
司法证据的作用是用来支持有利于定罪的诉讼请求，证据描述是刑事判决书的重要组成部分。然而，在不同的法律文件中，证据的组织是不同的。证据关联的形式主要有收集式（collection）和论证驱动式（argumentation-driven）。
在目前大多数的刑事裁判文书中，证据只是以集合的形式罗列出来，没有明确的主张，这被认为是集合的形式。但仅在5%左右的刑事判决文书中，依据相关主张将证据收集分为几个子集，被认为是论证驱动的形式。
由此，此篇文章提出了一项刑事案件中的证据关联任务，通过有监督的方法学习距离度量，无需额外的人工标注即可进行后续证据的聚类。
任务定义
给定证据集合，此篇文章将证据分为不重叠的个子集。
模型
（1）聚合方法
每一种情况下的聚类数量是不同的，所以不能像k-means方法那样设置一个特定的聚类数量。作者通过层次聚类来聚类证据(day and edelsbrunner, 1984)，它可以学习停止阈值，该阈值决定何时停止合并两个聚类。
（2）距离度量
本文提出了三种距离度量的概念，分别是latent distance、explicit distance和ensemble distance。
latent distance是证据之间的距离。在不给出明确主张的情况下，只能利用证据对的信息来计算它们之间的距离。支持同一主张的证据对之间的距离被标记为0，支持不同主张的证据对之间的距离被标记为1。
explicit distance是证据与主张之间的距离。证据和相应的主张之间有很强的相关性，例如，交通事故责任证明可以支持交通事故的责任划分。证据与相应主张的相关性分值为1，证据与其他主张的相关性分值为0。
latent distance仅利用证据之间的语义信息来计算相似度。explicit distance仅利用证据与主张之间的推理关系来计算证据之间的距离。ensemble distance将这两种方法融合在一起，同时利用证据之间的语义信息和证据与主张之间的推理信息，定义为这两个距离的加权和。
数据集及实验
作者以china judgements online中已发表的法律文件构建了一个数据集，选择如下图所示证据描述为论证驱动形式的法律文件进行实验。
作者主要采用esim和bert进行有监督学习的距离预测，结果如下表所示。
表中的结果显示，有监督方法的性能较好。同时，bert模型优于esim模型。可能的原因是，支持同一观点的证据对有共现趋势，这可以在bert模型的下一个句子预测（next sentence prediction）任务中学习到。
latent distance算法利用了证据对之间的语义信息，其性能优于explicit distance。基于ensemble distance的聚类结果由于整合了证据对之间和证据主张之间的关系，比单一距离的聚类结果有很大的提高。
如上图所示，claim1和claim2分别代表受害人的出生日期和死亡日期。受害者的户籍证明和死亡证明都能部分支持受害者的身份信息，但由于在使用latent distance时只考虑证据对之间的关系，误将它们聚在一起。claim4和claim5是相似的，它们都是对交通事故现场的描述，但由于在使用explicit distance时几乎没有考虑证据对之间的语义关系，将被告人王某的供述和证人董某的证言误聚在一起。从而将证据对之间的语义关系与证据主张之间的信息相结合，通过ensemble distance得到的聚类结果是正确的。
2
动机
先前的研究大多集中于对长论点的主要结论提出反驳。虽然这样的反驳是有用的，但辩论式的对话通常是互动的，例如，在change-myview (cmv)中，挑战者经常引用特定的陈述来进行反驳。因此，本文的目标是为论点中的特定陈述找到反证，而不是为一个完整的论点生成一个反证。
任务定义
自然语言推理(natural language inference, nli)模型是本文的核心，给定一个要反驳的陈述，系统对相关文档进行检索和排序，然后得到一组反证候选句。对于每个候选句，nli模型决定它和陈述的关系是否包含、矛盾，或两者都不是。
模型
在本篇文章中，作者提出了知识增强nli模型（kenli），如下图所示。
kenli（图左）是基于roberta-base ，以一对前提p和假设h为输入，计算其关系是蕴含、矛盾还是中性的概率。为了连接p和h之间的实体，知识增强（knowledge enhancement, ke）网被插入到某两层之间，将roberta分为encoder1和encoder2。最后的预测是基于【cls】进行的。
ke net（图中）利用了知识图谱(knowledge graph, kg)，其中节点是实体，边是实体之间的有向关系。kg目标是让信息通过kg在p和h的实体之间流动。ke net是由一堆ke单元组成，每个ke单元使用两个transformer tr1和tr2处理kg上的单跳推理。tr1根据相邻实体更新每个实体embedding，tr2根据实体embedding更新词项embedding。本篇文章中使用了两个知识图谱causenet和wikidata。
数据集及实验
此篇文章的数据主要来自公开的nli数据集：mnli (williams et al.， 2018)、anli (nie et al.， 2020b)、snli (bowman et al.， 2015)和fever-nli (nie et al.， 2019)。实验的结果如下表所示，显示了每个模型5次实验的平均f1得分。
表中可以看出kenli（6-9行）基本上优于baseline模型（1-5行）。这表明kenli有效地整合了知识，有利于预测陈述之间的关系。
最后作者建立了反证检索系统，是在deseption （hidey et al.， 2020）的基础上建立的。如下图所示。
给定一个要验证的陈述语句，检索相关文档并对其进行排序，对候选证据句进行排序，并预测该语句是被支持、被反驳还是都不支持。作者通过提出的知识增强nli模型来强化了最后一个阶段。
3
动机
论点对抽取（argument pair extraction, ape）的目的是从讨论的两段中抽取出交互式的论证对。
以往的研究将该任务应用在同行评议中，但是缺乏论点对之间的论点级别交互的显式建模。此篇文章通过一个相互引导的框架来处理ape任务，利用一个段落中一个论点的信息来指导识别另一个段落中可以与之配对的论点。此外，此篇文章还提出了一个句间关系图来有效地模拟两个句子之间的相互关系，从而有利于论点对的提取。实验结果表明，我们的方法明显优于目前sota的模型。
模型
此篇文章提出了一个具有句间关系图的ape相互引导框架mgf，如下图所示。
（1）inter-sentence relation graph
该图将review和rebuttal中的每一个句子作为节点，从两个角度进行构建。
in-passage edge：根据句子（同一个段落中）在review/rebuttal段落中的相对位置，构建句子之间的边。两个in-passage句子之间边的权重的定义为：
cross-passage edge：基于两句之间的共现词，构建跨段落的句子边缘。两个in-passage句子之间边的权重的定义为：
（2）mutual guidance framework
相互引导框架（mutual guided framework, mgf）首先使用bert对句子进行编码，然后通过图卷积得到面向关系的句子表示法后，使用两个相互引导的标记器提取论点对。
数据集及实验
此篇文章使用cheng等人(2020)提出的review-rebuttal （rr）数据集进行实验，该数据集包含从openreview.net收集的4,764篇iclr的review/rebuttal文本对。baseline是cheng等人(2020)提出的pl-h-lstm-crf和mt-h-lstm-crf 。实验的结果如下表。
从表中可以看出，作者提出的模型mgf在数据集上取得了最好的性能。在不使用bert微调的情况下，non-ft-mgf的性能仍然优于mt-h-lstm-crf，这表明mdf实现的性能增益不仅仅是由于bert微调。通过对mgf和non-ft-mgf的比较，可以发现bert微调可以进一步改善模型结果。
参考文献
[1] yefei teng and wenhan chao. 2021. argumentation-driven evidence association in criminal cases. in findings of the association for computational linguistics: emnlp 2021, pages 2997–3001, punta cana, dominican republic. association for computational linguistics.
[2] yohan jo, haneul yoo, jinyeong bak, alice oh, chris reed, and eduard hovy. 2021. knowledge-enhanced evidence retrieval for counterargument generation. in findings of the association for computational linguistics: emnlp 2021, pages 3074–3094, punta cana, dominican republic. association for computational linguistics.
[3] jianzhu bao, bin liang, jingyi sun, yice zhang, min yang, and ruifeng xu. 2021. argument pair extraction with mutual guidance and inter-sentence relation graph. in proceedings of the 2021 conference on empirical methods in natural language processing, pages 3923–3934, online and punta cana, dominican republic. association for computational linguistics.
能拍摄1080p高清视频、能变色的迷你摄像机
PCB翘曲标准是多少？PCB翘曲度的计算公式和修复？
一名IT工程师的自述
虹科案例|虹科多通道固态光源用于太阳能器件的性能表征与评估
5G通信基站辐射致癌这种说法不知从何而来？会不会造成健康威胁呢？
论辩挖掘在不同领域下的应用
建材智能工厂数字孪生可视化管控平台，推进建材行业数字化转型
使用AI和机器学习来处理COVID-19数据
关于AMP连接器在汽车市场中的应用
商汤论文精选：计算机视觉和深度学习技术最新突破
华为手环3e正式推出 只要109元
LT3932同步降压型LED驱动器具有高比率PWM调光功能
5G到来之后AR/VR赋能传统产业的速度将加快
麦姆斯咨询：3D堆叠技术正成为图像传感器和高端IC应用的新标准
威刚推出全新Premier Pro系列记忆体模组
码农悄悄占领了华尔街
PL4054锂电池500MA充电IC
巴西超级联赛足球俱乐部推出GaloCoin代币一个相当于一巴西雷亚尔
浅谈JAE MX80系列车用级小型防水连接器
中科曙光入选智能制造标杆企业名单！
论辩研究和推理是一个涉及到逻辑、语言、计算机等多学科领域的过程，在人工智能兴起的时代，计算论辩试图将人类对于论辩领域的知识和人工智能结合起来，用计算机深度模型来挖掘论辩语义、论辩结构等方面，达到自动推理的效果。论辩挖掘是计算论辩中的一个重要任务，它的主要任务有单篇式论辩挖掘，包括提论点分类、论点评估等；交互式论辩挖掘，包括论点对抽取等。此次的三篇论文将阐述论辩挖掘在司法领域、论辩领域、同行评议领域等的证据链支持、反驳证据评估、论点对抽取等方面应用。
文章概览
1. argumentation-driven evidence association in criminal cases
刑事案件中的证据关联是将一组司法证据划分为若干不重叠的子集，提高定罪的可解释性和合法性。可以观察到，分成同一子集的证据通常支持同一主张。在证据关联步骤中，此篇文章提出了一种基于论证驱动（argumentation-driven）的监督学习方法来计算证据对之间的联系。在实际数据集上的实验结果证明了该方法的有效性。
2. knowledge-enhanced evidence retrieval for counterargument generation
找到对陈述的反证是许多任务的关键。此篇文章建立了一个系统，给出一个陈述，从web上不同的来源检索反证据。该系统的核心是一个自然语言推理(natural language inference, nli)模型，它可以判断一个候选句子是否为有效反证。作者提出了一个知识增强的nli模型，旨在通过整合知识图来处理基于因果关系和实例的推理。在实际数据集上的实验结果证明了该方法的有效性。
3. argument pair extraction with mutual guidance and inter-sentence relation graph
此篇文章通过一个相互引导的框架来处理论点对抽取（ape）任务，利用一个段落中一个论点的信息来指导识别另一个段落中可以与之配对的论点。此外，此篇文章还提出了一个句间关系图来有效地模拟两个句子之间的相互关系，从而有利于论点对的提取。实验结果表明，我们的方法明显优于目前sota的模型。
论文细节
1
动机
司法证据的作用是用来支持有利于定罪的诉讼请求，证据描述是刑事判决书的重要组成部分。然而，在不同的法律文件中，证据的组织是不同的。证据关联的形式主要有收集式（collection）和论证驱动式（argumentation-driven）。
在目前大多数的刑事裁判文书中，证据只是以集合的形式罗列出来，没有明确的主张，这被认为是集合的形式。但仅在5%左右的刑事判决文书中，依据相关主张将证据收集分为几个子集，被认为是论证驱动的形式。
由此，此篇文章提出了一项刑事案件中的证据关联任务，通过有监督的方法学习距离度量，无需额外的人工标注即可进行后续证据的聚类。
任务定义
给定证据集合，此篇文章将证据分为不重叠的个子集。
模型
（1）聚合方法
每一种情况下的聚类数量是不同的，所以不能像k-means方法那样设置一个特定的聚类数量。作者通过层次聚类来聚类证据(day and edelsbrunner, 1984)，它可以学习停止阈值，该阈值决定何时停止合并两个聚类。
（2）距离度量
本文提出了三种距离度量的概念，分别是latent distance、explicit distance和ensemble distance。
latent distance是证据之间的距离。在不给出明确主张的情况下，只能利用证据对的信息来计算它们之间的距离。支持同一主张的证据对之间的距离被标记为0，支持不同主张的证据对之间的距离被标记为1。
explicit distance是证据与主张之间的距离。证据和相应的主张之间有很强的相关性，例如，交通事故责任证明可以支持交通事故的责任划分。证据与相应主张的相关性分值为1，证据与其他主张的相关性分值为0。
latent distance仅利用证据之间的语义信息来计算相似度。explicit distance仅利用证据与主张之间的推理关系来计算证据之间的距离。ensemble distance将这两种方法融合在一起，同时利用证据之间的语义信息和证据与主张之间的推理信息，定义为这两个距离的加权和。
数据集及实验
作者以china judgements online中已发表的法律文件构建了一个数据集，选择如下图所示证据描述为论证驱动形式的法律文件进行实验。
作者主要采用esim和bert进行有监督学习的距离预测，结果如下表所示。
表中的结果显示，有监督方法的性能较好。同时，bert模型优于esim模型。可能的原因是，支持同一观点的证据对有共现趋势，这可以在bert模型的下一个句子预测（next sentence prediction）任务中学习到。
latent distance算法利用了证据对之间的语义信息，其性能优于explicit distance。基于ensemble distance的聚类结果由于整合了证据对之间和证据主张之间的关系，比单一距离的聚类结果有很大的提高。
如上图所示，claim1和claim2分别代表受害人的出生日期和死亡日期。受害者的户籍证明和死亡证明都能部分支持受害者的身份信息，但由于在使用latent distance时只考虑证据对之间的关系，误将它们聚在一起。claim4和claim5是相似的，它们都是对交通事故现场的描述，但由于在使用explicit distance时几乎没有考虑证据对之间的语义关系，将被告人王某的供述和证人董某的证言误聚在一起。从而将证据对之间的语义关系与证据主张之间的信息相结合，通过ensemble distance得到的聚类结果是正确的。
2
动机
先前的研究大多集中于对长论点的主要结论提出反驳。虽然这样的反驳是有用的，但辩论式的对话通常是互动的，例如，在change-myview (cmv)中，挑战者经常引用特定的陈述来进行反驳。因此，本文的目标是为论点中的特定陈述找到反证，而不是为一个完整的论点生成一个反证。
任务定义
自然语言推理(natural language inference, nli)模型是本文的核心，给定一个要反驳的陈述，系统对相关文档进行检索和排序，然后得到一组反证候选句。对于每个候选句，nli模型决定它和陈述的关系是否包含、矛盾，或两者都不是。
模型
在本篇文章中，作者提出了知识增强nli模型（kenli），如下图所示。
kenli（图左）是基于roberta-base ，以一对前提p和假设h为输入，计算其关系是蕴含、矛盾还是中性的概率。为了连接p和h之间的实体，知识增强（knowledge enhancement, ke）网被插入到某两层之间，将roberta分为encoder1和encoder2。最后的预测是基于【cls】进行的。
ke net（图中）利用了知识图谱(knowledge graph, kg)，其中节点是实体，边是实体之间的有向关系。kg目标是让信息通过kg在p和h的实体之间流动。ke net是由一堆ke单元组成，每个ke单元使用两个transformer tr1和tr2处理kg上的单跳推理。tr1根据相邻实体更新每个实体embedding，tr2根据实体embedding更新词项embedding。本篇文章中使用了两个知识图谱causenet和wikidata。
数据集及实验
此篇文章的数据主要来自公开的nli数据集：mnli (williams et al.， 2018)、anli (nie et al.， 2020b)、snli (bowman et al.， 2015)和fever-nli (nie et al.， 2019)。实验的结果如下表所示，显示了每个模型5次实验的平均f1得分。
表中可以看出kenli（6-9行）基本上优于baseline模型（1-5行）。这表明kenli有效地整合了知识，有利于预测陈述之间的关系。
最后作者建立了反证检索系统，是在deseption （hidey et al.， 2020）的基础上建立的。如下图所示。
给定一个要验证的陈述语句，检索相关文档并对其进行排序，对候选证据句进行排序，并预测该语句是被支持、被反驳还是都不支持。作者通过提出的知识增强nli模型来强化了最后一个阶段。
3
动机
论点对抽取（argument pair extraction, ape）的目的是从讨论的两段中抽取出交互式的论证对。
以往的研究将该任务应用在同行评议中，但是缺乏论点对之间的论点级别交互的显式建模。此篇文章通过一个相互引导的框架来处理ape任务，利用一个段落中一个论点的信息来指导识别另一个段落中可以与之配对的论点。此外，此篇文章还提出了一个句间关系图来有效地模拟两个句子之间的相互关系，从而有利于论点对的提取。实验结果表明，我们的方法明显优于目前sota的模型。
模型
此篇文章提出了一个具有句间关系图的ape相互引导框架mgf，如下图所示。
（1）inter-sentence relation graph
该图将review和rebuttal中的每一个句子作为节点，从两个角度进行构建。
in-passage edge：根据句子（同一个段落中）在review/rebuttal段落中的相对位置，构建句子之间的边。两个in-passage句子之间边的权重的定义为：
cross-passage edge：基于两句之间的共现词，构建跨段落的句子边缘。两个in-passage句子之间边的权重的定义为：
（2）mutual guidance framework
相互引导框架（mutual guided framework, mgf）首先使用bert对句子进行编码，然后通过图卷积得到面向关系的句子表示法后，使用两个相互引导的标记器提取论点对。
数据集及实验
此篇文章使用cheng等人(2020)提出的review-rebuttal （rr）数据集进行实验，该数据集包含从openreview.net收集的4,764篇iclr的review/rebuttal文本对。baseline是cheng等人(2020)提出的pl-h-lstm-crf和mt-h-lstm-crf 。实验的结果如下表。
从表中可以看出，作者提出的模型mgf在数据集上取得了最好的性能。在不使用bert微调的情况下，non-ft-mgf的性能仍然优于mt-h-lstm-crf，这表明mdf实现的性能增益不仅仅是由于bert微调。通过对mgf和non-ft-mgf的比较，可以发现bert微调可以进一步改善模型结果。
参考文献
[1] yefei teng and wenhan chao. 2021. argumentation-driven evidence association in criminal cases. in findings of the association for computational linguistics: emnlp 2021, pages 2997–3001, punta cana, dominican republic. association for computational linguistics.
[2] yohan jo, haneul yoo, jinyeong bak, alice oh, chris reed, and eduard hovy. 2021. knowledge-enhanced evidence retrieval for counterargument generation. in findings of the association for computational linguistics: emnlp 2021, pages 3074–3094, punta cana, dominican republic. association for computational linguistics.
[3] jianzhu bao, bin liang, jingyi sun, yice zhang, min yang, and ruifeng xu. 2021. argument pair extraction with mutual guidance and inter-sentence relation graph. in proceedings of the 2021 conference on empirical methods in natural language processing, pages 3923–3934, online and punta cana, dominican republic. association for computational linguistics.
能拍摄1080p高清视频、能变色的迷你摄像机
PCB翘曲标准是多少？PCB翘曲度的计算公式和修复？
一名IT工程师的自述
虹科案例|虹科多通道固态光源用于太阳能器件的性能表征与评估
5G通信基站辐射致癌这种说法不知从何而来？会不会造成健康威胁呢？
论辩挖掘在不同领域下的应用
建材智能工厂数字孪生可视化管控平台，推进建材行业数字化转型
使用AI和机器学习来处理COVID-19数据
关于AMP连接器在汽车市场中的应用
商汤论文精选：计算机视觉和深度学习技术最新突破
华为手环3e正式推出 只要109元
LT3932同步降压型LED驱动器具有高比率PWM调光功能
5G到来之后AR/VR赋能传统产业的速度将加快
麦姆斯咨询：3D堆叠技术正成为图像传感器和高端IC应用的新标准
威刚推出全新Premier Pro系列记忆体模组
码农悄悄占领了华尔街
PL4054锂电池500MA充电IC
巴西超级联赛足球俱乐部推出GaloCoin代币一个相当于一巴西雷亚尔
浅谈JAE MX80系列车用级小型防水连接器
中科曙光入选智能制造标杆企业名单！