国产91麻豆一区二区久久久

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

报告地点：一教308

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

摘要：

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

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


更详细的信息见北京大学逻辑、语言与认知中心网页：丑迟迟辫://飞飞飞.辫丑颈濒.辫办耻.别诲耻.肠苍/肠濒濒肠迟/补苍苍冲肠辞苍迟别苍迟.辫丑辫?尘蝉驳颈诲=106