论文部分内容阅读
自然语言的形式研究对于刻画其语法和语义至关重要。形式研究的观念来自古代和中世纪逻辑学。基于一阶谓词逻辑的形式语法的建构开始了真正的形式研究。蒙太格语法是形式语法的代表，从蒙太格语法发展而来的DRT则是当代主要的动态语义学，而SDRT又使这一理论向前迈进了一步。
自然语言形式研究的历史演进——从逻辑技术的视角看
【摘 要】
：
自然语言的形式研究对于刻画其语法和语义至关重要。形式研究的观念来自古代和中世纪逻辑学。基于一阶谓词逻辑的形式语法的建构开始了真正的形式研究。蒙太格语法是形式语法
【机 构】
：
浙江大学语言与认知研究中心
【出 处】
：
中共浙江省委党校学报
【发表日期】
：
2006年2期
其他文献
专利是自主创新能力的重要标志，专利保护的过度与不足都会阻碍创新，因而需要在激励创新和促进公益两者之间不断地寻找和调整平衡点。探索适合浙江产业发展需求的专利保护水平，对
针对开采条件恶劣的5#料场，提出了几种开采方案进行分析比选，由于采用最优开采方案——坝体填筑料一次成型上坝施工技术，不仅解决了施工中存在的多种问题，满足了施工需要，而且缩短
利用FLAC软件模拟分析某煤矿区某一典型剖面在不同井工开采条件下变形的孕育和演化，研究该剖面地面沉降的发展规律，为矿区内建筑物的安全运行和开发提供决策依据．
利用能控制吸力的四联非饱和土直剪仪。进行三峡库区千将坪滑坡非饱和土的试验，得到在不同正应力和不同基质吸力条件下土的质量含水量，并根据试验结果。绘制非饱和土的土-水特
通过实验室模拟研究了覆土法对三峡大学文思湖底泥中污染物缓释的可行性．通过监测上覆水体中总氮、总磷和有机质浓度水平监控底泥中污染物释放过程，发现底泥覆土之后上覆水体中