首页> 外文OA文献 >Type-theoretical natural language semantics: on the system F for meaning assembly
【2h】

Type-theoretical natural language semantics: on the system F for meaning assembly

机译:类型理论的自然语言语义:在系统F上进行含义汇编

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务,本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文,但由于OA文献来源多样且变更频繁,仍可能出现获取不到、文献不完整或与标题不符等情况,如果获取不到我们将提供退款服务。请知悉。

摘要

This paper presents and extends our type theoretical framework for a compositional treatment of natural language semantics with some lexical features like coercions (e.g. of a town into a football club) and copredication (e.g. on a town as a set of people and as a location). The second order typed lambda calculus was shown to be a good framework, and here we discuss how to introduced predefined types and coercive subtyping which are much more natural than internally coded similar constructs. Linguistic applications of these new features are also exemplified
机译:本文提出并扩展了我们的类型理论框架,以自然语言语义的组合处理具有一些词汇特征,例如强制(例如从城镇变成足球俱乐部)和共同预测(例如在城镇上作为一组人和一个位置) 。二阶lambda演算被证明是一个很好的框架,在这里我们讨论如何引入预定义类型和强制子类型,它们比内部编码的类似结构自然得多。这些新功能的语言应用也得到了举例说明

著录项

  • 作者

    Retoré Christian;

  • 作者单位
  • 年度 2013
  • 总页数
  • 原文格式 PDF
  • 正文语种
  • 中图分类

相似文献

  • 外文文献
  • 中文文献
  • 专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号