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

报告地点：一教308

报告题目：Type-Theoretical Semantics with Coercive Subtyping

摘要：

　　人们已经从很多方面对自然语言的形式语义展开了研究，例如蒙太古语法、情境语义学和篇章表述理论。Ranta中曾用类型论的方法来处理过逻辑语义，并特别地把普通名词解释为类型（而不是如蒙太古语法中的实体的函数子集）。这在类型论中是很自然的做法，但是由于类型上的算子比函数子集上的要少，因而有着一些副效应。
　　在这次报告中，罗教授将先介绍类型论，并解释为何强制子类型是合适的带归纳类型的子类型理论。然后展示类型论语义中如何使用强制子类型，尤其是在对Pustejovsky的生成词典理论和Asher处理词典语义的手段进行建模时。

　　　　　　　　　　北京大学逻辑、语言与认知中心


更详细的信息见北京大学逻辑、语言与认知中心网页：http://www.phil.pku.edu.cn/cllct/ann_content.php?msgid=106