【摘 要】
:
本文探讨计算语言学中语义研究部分如何吸收和借鉴了形式语义学的理论成果.重点讨论这样几个问题:(1)关于语义值的研究;(2)规则对规则假设;(3)逻辑翻译;(4)类型理论,以及(5)P
论文部分内容阅读
本文探讨计算语言学中语义研究部分如何吸收和借鉴了形式语义学的理论成果.重点讨论这样几个问题:(1)关于语义值的研究;(2)规则对规则假设;(3)逻辑翻译;(4)类型理论,以及(5)Prdog处理语义问题的方法.
其他文献
在教养孩子的过程中,自由和规则是让很多父母难以把握的原则。管得多了,怕孩子没有自由空间;给孩子自由,又怕他会变得无法无天、没有规矩。如何掌控自由与规则之间的天平?
介绍果树矮化密植栽培技术,包括矮化密植栽培的密度、树型、修剪等方面内容,以供参考。
文艺复兴至19世纪早期是近代欧洲艺术史典范建构、传承和流变并确立"古典艺术史"传统的重要时期。意大利文艺复兴时期同时缔造了传记—艺术史和包含古代艺术史的古物学。这两
回顾余华20年的小说创作生涯,可以发现其作品中所呈现的生命观显露出有趣的转变。本文第一部分从其初期的先锋小说入手,分析了余华人性恶思想形成的原因并着重突出了先锋小说
本文试着探讨影响计算机网络安全的主要因素和计算机网络安全的主要技术,提出计算机网络安全防范策略。
目的 探讨慢性硬膜下血肿术后复发的相关危险因素及其防治。 方法 回顾性分析我院2000年1月至2005年1月收治手术治疗的198例慢性硬膜下血肿的临床特点,影像学表现,手术方
当前,计算机网络技术飞速发展,它正以不可替代的趋势改变着人们的学习、生活和工作,给人类带来更加高效、快捷的生活方式。与此同时,关于目前计算机网络发展存在的威胁及其解
背景和目的颅颈连接畸形是神经外科较为常见的一种疾病,随着医学知识的积累和影像技术的提高,临床上对该病的诊断变得较为容易,颅颈连接畸形的治疗目的,是通过减压,改善各项临床症
研究了糠醛丙酮活性稀释体系环氧灌浆材料中糠醛与丙酮的比例,促进剂DMP30用量,固化剂T31用量等对环氧树脂灌浆材料性能的影响。结果表明,当m(糠醛)∶m(丙酮)=110∶50,DMP30
计算语言学是通过建立形式化的计算模型来分析语言材料、理解和生成实际话语以及处理自然语言信息的一门边缘性学科.它是计算机诞生后由应用性研究促发而来的.几十年来国内外