语义类型的细化和转换——MG中类型论的新进展

来源 :四川师范大学学报:社会科学版 | 被引量 : 0次 | 上传用户:fwy825
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自然语言计算机处理(NLP)的重要性已经越来越为学者们所意识到,本文主要考虑NLP分析自然语言语义涉及到的逻辑类型论工具和蒙太格语法MG。由于自然语言真实文本的复杂多样性,传统MG的解释力明显不够。为突破这样的局限,本文关注语义类型的细化和语义类型的转换,对自然语言的语义类型进行细致的划分,在MG的类型论中添加语用算子,针对不同语境进行语义类型的转换。
其他文献
软土地基下基坑土方开挖分三层开挖(-4.00m、-8.60m、-10.25m),每层均先开挖四角区域,再开挖中间对撑区域,水平混凝土支撑安装穿插于开挖过程中,形成“中心岛式”,以及时平衡基坑外侧土
采用大鼠中动脉阻塞诱导脑缺血再灌注模型,将微透析与HPLC结合,建立精确实时检测脑缺血大鼠纹状体中神经递质的方法,探讨了葛根素对该脑区单胺类递质的影响.实验证实葛根素能
时下,人们似乎认为,从传统的计划经济体制向社会主义市场经济体制转变,经济增长方式从粗放型向集约型转变,是工业企业的事,对农业特别是粮食生产则不太经意.我认为粮食生产也
武汉市排水泵站管理处是市水务局下属担负城区渍水排放任务的全额拨款事业单位,近年来,着眼于排水泵站事业的可持续发展,通过公开招聘引进大学毕业生,有步聚地进行机关和基层
目的 综合评价胸苷酸合成酶(TS)基因del6多态性与儿童急性淋巴细胞白血病(ALL)易感性的关系。方法 系统检索Pubmed、Science Direct、Google Scholar、中国知网(CNKI)和万方数据库,
DirectX是微软公司一组专门用于开发游戏等高性能多媒体软件的底层应用程序接口。基于DirectX 9.0技术实现了一个三维撞球游戏,其中使用DirectX Graphics实现了三维游戏场景的绘制,使用DirectInput实现了游戏键盘的输入控制,使用DirectSound产生游戏的各种音效。游戏中设计的碰撞检测算法简单、实用。游戏具有一定的娱乐性和真实性。
走进应城市三合镇,人们便会看到,在这里院落最宽敞的是校园,房子最漂亮的是学校,最受人尊重的是教师。知情者深谙,这一切里无不凝聚了镇党委、政府一班人对教育、对教师韵深
Windows下完成端口(IOCP)模型只需少数几个工作线程以及异步读写操作就可处理2000个以上的客户孽的尊发连接。这相对于多线程方式的客户端并发数而言有了质的提升,同时避免了CPU
应用Superpave沥青混合料设计方法,对掺聚酯纤维普通沥青混合料性能进行了系统的研究,并结合在329国道慈溪段畅通工程沥青路面中的应用,论证了聚酯纤维沥青混合料的路用性能,
进行4种加载方式对钢管混凝土轴压长柱和中长柱试件受力性能影响的试验研究,并与轴压短柱试验进行对比和分析。结果表明,加载方式对长柱中截面应力的影响较小,但对刚度影响较