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

来源 :四川师范大学学报:社会科学版 | 被引量 : 0次 | 上传用户:fwy825
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自然语言计算机处理(NLP)的重要性已经越来越为学者们所意识到,本文主要考虑NLP分析自然语言语义涉及到的逻辑类型论工具和蒙太格语法MG。由于自然语言真实文本的复杂多样性,传统MG的解释力明显不够。为突破这样的局限,本文关注语义类型的细化和语义类型的转换,对自然语言的语义类型进行细致的划分,在MG的类型论中添加语用算子,针对不同语境进行语义类型的转换。
其他文献
软土地基下基坑土方开挖分三层开挖(-4.00m、-8.60m、-10.25m),每层均先开挖四角区域,再开挖中间对撑区域,水平混凝土支撑安装穿插于开挖过程中,形成“中心岛式”,以及时平衡基坑外侧土
采用大鼠中动脉阻塞诱导脑缺血再灌注模型,将微透析与HPLC结合,建立精确实时检测脑缺血大鼠纹状体中神经递质的方法,探讨了葛根素对该脑区单胺类递质的影响.实验证实葛根素能
DirectX是微软公司一组专门用于开发游戏等高性能多媒体软件的底层应用程序接口。基于DirectX 9.0技术实现了一个三维撞球游戏,其中使用DirectX Graphics实现了三维游戏场景的绘制,使用DirectInput实现了游戏键盘的输入控制,使用DirectSound产生游戏的各种音效。游戏中设计的碰撞检测算法简单、实用。游戏具有一定的娱乐性和真实性。
Windows下完成端口(IOCP)模型只需少数几个工作线程以及异步读写操作就可处理2000个以上的客户孽的尊发连接。这相对于多线程方式的客户端并发数而言有了质的提升,同时避免了CPU
进行4种加载方式对钢管混凝土轴压长柱和中长柱试件受力性能影响的试验研究,并与轴压短柱试验进行对比和分析。结果表明,加载方式对长柱中截面应力的影响较小,但对刚度影响较