论证技术

论证技术是人工智能的一个子领域，它专注于将计算技术应用于论证和辩论的创建、识别、分析、导航、评估和可视化。在20世纪80年代和90年代，一般的论证哲学理论，特别是论证理论，被用来处理关键的计算挑战，比如对非单调和可逆推理进行建模，以及为多代理系统设计稳健的协调协议。同时，计算论证框架语义的机制被引入，作为一种提供反对派计算的方式，以计算在冲突论证的背景下相信什么是合理的。有了这些基础，该领域由2000年在苏格兰高地举行的研讨会启动，其结果是由论证哲学家、修辞学家、法律学者和人工智能研究者共同撰写了一本书。从那时起，该领域得到了各种专门活动的支持，如自2001年以来每年举行的自然论证计算模型国际研讨会（CMNA）；自2004年以来每年举行的多代理系统中的论证国际研讨会（ArgMAS）；自2014年以来每年举行的论证挖掘研讨会，以及自2006年以来每两年举行的论证计算模型会议（COMMA）。自2010年起，该领域也有了自己的期刊《论证与计算》，2016年之前由Taylor&Francis出版，此后由IOS出版社出版。论证技术面临的挑战之一是，在用机器可读的术语表示论证和基本概念方面缺乏标准化。许多不同的人工论证分析软件工具，特别是开发了特异性和临时性的论证表示方式，反映了不同的论证结构的基本概念方式。这种标准化的缺乏也意味着工具之间或研究项目之间没有互换，而且几乎没有重复使用通常很昂贵的数据资源。为了解决这个问题，论证交换格式（ArgumentInterchangeFormat）着手建立一个通用标准，以捕捉论证的最小共同特征，然后在不同的环境中进行扩展。

大约从2018年开始，论证技术迅速发展，例如，IBM的大挑战项目"辩论者项目"，其结果于2021年3月发表在《自然》杂志上；德国研究资助者DFG于2019年开始的全国性的鲁棒论证机器研究计划RATIO；以及英国广播公司于2019年在全国范围内部署《证据工具包》。2021年，由斯蒂芬-弗莱讲述的视频对论证技术工作的社会动机进行了总结。

论证助手是一种支持用户撰写论证的软件工具。论证助手可以帮助用户编写内容，审查对方的内容，包括在对话的背景下。除了网络服务之外，这种功能还可以通过文字处理软件的插件结构或网络浏览器来提供。例如，互联网论坛可以通过这种软件工具和服务得到极大的加强。论点博客ArguBlogging是一种软件，它允许用户在他们的网络浏览器中选择网页上的部分超文本，并同意或不同意所选择的内容，将他们的论点与链接的论点数据一起发布到他们的博客上。它以书签的形式实现，为网络浏览器增加功能，并与博客平台（如Blogger和Tumblr）互操作。论据图论据图是对论据的可视化、图表式的表述。这种可视化的图表有助于图表推理，并促进人们迅速和容易地掌握和理解信息的能力。论证图可以提供结构化的、半正式的框架，用互动的视觉语言来表达论点。论证挖掘论证挖掘，或称论证挖掘，是自然语言处理领域的一个研究领域。论证挖掘的目标是借助计算机程序，从自然语言文本中自动提取和识别论证结构。