报告时间：11月11日下午2点

报告地点：一教308

报告内容：

人们已经从很多方面对自然语言的形式语义展开了研究，例如蒙太古语法、情境语义学和篇章表述理论。Ranta中曾用类型论的方法来处理过逻辑语义，并特别地把普通名词解释为类型（而不是如蒙太古语法中的实体的函数子集）。这在类型论中是很自然的做法，但是由于类型上的算子比函数子集上的要少，因而有着一些副效应。

在这次报告中，罗教授将先介绍类型论，并解释为何强制子类型是合适的带归纳类型的子类型理论。然后展示类型论语义中如何使用强制子类型，尤其是在对Pustejovsky的生成词典理论和Asher处理词典语义的手段进行建模时。

 (abstractbd.tex是英文摘要，下载后如打不开，请用记事本打开)

报告者简介：

罗朝晖先生是伦敦大学皇家霍洛威学院计算机科学系的教授。

他在爱丁堡大学获得博士学位，曾任杜伦大学教授。逻辑和类型论及其应用是罗教授的一个研究方向。

当前演讲基于他最近在语义学中应用类型论所进行的工作。

罗教授的个人主页是

http://www.cs.rhul.ac.uk/home/zhaohui/