西溪逻辑论坛第90期

Date: 18 June 2018 (10:00-11:00)
Venue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang University
Speaker: Prof. Anthony Hunter (University College London)
Title: A logic for reasoning about arguments

讲座报道

2018年6月18日上午，“第90期西溪逻辑论坛”邀请的主讲人是英国伦敦大学学院的Anthony Hunter教授。Hunter在本次报告中提出计算语言学领域已经越来越关注从自然语言中识别论证和论证之间的关系，而其中关键的挑战就在于对表达论证的目标形式的选择。因此他主要提出了两个问题，第一个问题是从自然语言挖掘论证的目标语言形式，第二个问题是联合、解构和分析从文本中挖掘出的论证的方法。他首先提出一种表示论证结构的形式化语言，其次基于这种形式化语言提出相应的论证推理框架，并且该框架具有很高的灵活性，可以适用于不同的推理规则集。

Hunter首先论述了提出一种新的形式语言的动机。目前常用的抽象论辩系统和逻辑论辩系统的表达力都不能满足我们的要求，这两者都存在一定的缺陷，因此我们需要一种更好的形式语言来表达从自然语言中挖掘产生的论证。为了解决这一问题，他提出了一种分别表达理由和结论的形式语言，以及用这种语言进行推理和辩论的框架。具体的说，该形式语言在命题逻辑语言的基础上增加了三个算子，分别是：R（·）、C（·）和—。基于此产生的基本论证及其反对共有四种表示形式，分别为：

（1）R(y) : C(x)：表示y是得出结论x的理由；

（2）R(y) : −C(x)：表示y是得不出结论x的理由；

（3）−R(y) : C(x)：是论证（1）的反论证，表示y不是得出结论x的理由；

（4）−R(y) :- C(x)：是论证（2）的反论证，表示y不是得不出结论x的理由。

同时，hunter也定义了基本的推理规则，此外，他表示这种方法也可以表示论证之间的三种攻击关系：反驳、攻击前提和底切。其中与现有的论证计算模型不同的一点是，论证之间的攻击（支持）关系由一组论证的外部关系所表示。综上所述，hunter表示他们提出了一种使用新的表达论证并进行推理的逻辑，该逻辑通过挖掘获得论证及其反对，并基于相应的推理规则进行分析。

Hunter 通过将他们的方法与传统的方法进行比较说明，清晰的表明了研究的动机和必要性，这种写作和报告的方式非常值得我们学习。而且报告的内容也很有启发性，有助于帮助同学了解在大数据领域进行研究的思路和方式。在报告中，老师同学都积极参与了讨论，现场气氛非常热烈，报告的效果也很好。

（撰稿：杭颖颖；摄影：何娟）