Anthony Hunter: A logic for reasoning about arguments
西溪逻辑论坛第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) : … Continue reading →