论证技术

编辑
本词条由“匿名用户” 建档。

论证技术

编辑

论证技术人工智能的一个子领域,它专注于将计算技术应用于论证和辩论的创建、识别、分析、导航、评估和可视化。在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)互操作。论据图论据图是对论据的可视化、图表式的表述。这种可视化的图表有助于图表推理,并促进人们迅速和容易地掌握和理解信息的能力。论证图可以提供结构化的、半正式的框架,用互动的视觉语言来表达论点。论证挖掘论证挖掘,或称论证挖掘,是自然语言处理领域的一个研究领域。论证挖掘的目标是借助计算机程序,从自然语言文本中自动提取和识别论证结构。

内容由匿名用户提供,本内容不代表vibaike.com立场,内容投诉举报请联系vibaike.com客服。如若转载,请注明出处:https://vibaike.com/176640/

(1)
词条目录
  1. 论证技术
  2. 论证技术的技术
  3. 论证助手

轻触这里

关闭目录

目录