从计算语言学的交叉学科的视角 ,特别是用数理逻辑的观点和方法来观察、分析现代汉语语法和语义。目的是寻求语法结构与语义解释的一致性。这样的分析理解方法称为汉语内涵逻辑模型。本文仅举例分析 ,不涉及形式化描述...
领属关系与逻辑语义解释——兼议形式化方法上海交通大学陆汝占靳光瑾ＡｂｓｔｒａｃｔＴｈｉｓｐａｐｅｒｍａｋｅｓａｎａｔｅｍｐｔｔｏｓｔｕｄｙｔｈｅｓｅｍａｎｔｉｃｒｅｌａｔｉｏｎｂｅｔｗｅｅｎｔｈｅｎ...
词典编纂工作计算机化可明显提高效率和质量，因而需要借鉴国外的有益经验，并结合国内的实际情况，实现词典编纂的计算机化。 我们旨在开发一个汉语词典编纂一体化环境，它可用于语料的收集和加工处理以及词典编纂的...
黄昌宁、林杏光主持：“信息处理用语言理论讲话”第六讲─... CNKI文献
黄昌宁、林杏光主持：“信息处理用语言理论讲话”第六讲──蒙太古语义学陆汝占，靳光瑾语言理论中比起句法理论更深一层的是语义理论。能适用于计算机处理自然语言的语义理论，要求形式化而且是可计算的。可计算的语...
二、词典处理系统 词典处理系统主要完成词典编纂过程中各种必要的功能 ,根据功能不同又分为五个子系统 ,它们是 :词典格式转换系统、词典查询系统、词典自检系统、词典编辑系统、词典编纂项目管理系统。(见图 1 2...
符号逻辑与定理机器证明的研究中,语义归结PI碰撞与电子排列次序有关.本文给出一种新的语义归结方法,称为着色归结方法,定义的PI着色碰撞与电子排列次序无关。本文同时给出该方法的完备性证明. 正定或负定的PI碰撞是着...
提出了一种基于语言建模的文本情感分类的方法.将文本的情感倾向标记为"赞扬"或"批评",可以为文本提供主题之外的语义信息.为此提出了从训练数据中分别估计出代表"赞扬"和"批评&q...
本文介绍了一个带有代数算子的λ演算系统,并给出了该系统模型的定义,证明了一个满足该定义的充分条件,最后构造了该系统的一个模型。
浅谈计算机与汉语研究陆汝占，靳光瑾当今，计算机已闯入了我们的生活，越来越多的人开始认识它、接受它并利用它。它的巨大的能力越来越令人们对它“刮目相看”。现在很多语言学家也开始对它倾注了极大的热情。其实，...
方程式语言是一种新型智能语言。本文介绍该语言的一个实现系统,该系统是以方程逻辑为语义基础,模式匹配为执行机制,本文讨论了自底向上模式匹配方法及其改进,整个系统具有时间响应快、描述能力强的特点。
概念之间的依存分析是提高信息检索性能的关键。相比概念关系的强弱而言,识别关系的类型更有意义。本文在Bootstrapping框架下,以"(地理)领属","(实体)功能"和"(动作)对象"三种语义关系...
本文在原有的方程式语言的基础上,扩充引入高阶函数,使得方程式语言的使用更为方便,表示能力大为加强。源程序的方程式同时允许一阶和高阶两种形式.系统将高阶形式转换成Curry形式.这样整个程序在原解释下运行。
陆汝占 奚宏伟 《上海交通大学学报》 1993年06期 期刊
本文介绍KTPE系统及其实现,介绍用该系统定义和证明UNIFICATION算法正确性的概要.本文是[1]的推广.
本文阐述定理证明环境的思想.介绍建立在IBM-PC机上的KTPE系统,用该思想实现了Boyer-Moore定理证明器.
在隐马尔可夫模型的基础上提出了基于词汇特征的汉语词性标注模型 此模型不但考虑系统t时刻的状态 (词类 )对t+1时刻的状态的影响 ,还把t时刻的观察 (词 )对t+1时刻的状态的影响考虑进去 ,使模型更加精确 由于观察的...
屈刚 陆汝占 《计算机研究与发展》 2003年04期 期刊
Construction of the Model of the Lambda Calculus Syste... CNKI文献
A lambda system with algebraic operators,lambda-plus system,is introduced.After giving thedefinitions of the system,we present a sufficient condition for formulating a model of the system.Finally,a m...
陆汝占 张政... 《Journal of Computer Science and Technology》 1991年01期 期刊
关键词： Construction / of / the / Model
下载（9）| 被引（0）
汉语词性标注的难点在于确定具有多个词类的词 (兼类词 )在上下文中的词性 .基于兼类词在词典中仅占很小的比例 (约为 3% ) ,提出了具有双重状态的隐马尔可夫模型 ,它不但有一个常规的状态转移概率矩阵 ,还在逻辑上为...
屈刚 陆汝占 《上海交通大学学报》 2003年06期 期刊
本文介绍基于知识的定理证明环境,它具有较强的推理证明能力,可直接用来证明递归函数表达的数学定理。其实现方法有助于设计专家系统中的推理系统或智能计算机的核心部分。
运用逻辑语义理论对现代汉语"得"字句实例进行逻辑语义分析,从逻辑语义的角度对"得"字句进行了两个层次的分类。第一层次分为模态句和非模态句。在第二层次中,模态句分为表时间的时间模态句,表必...
提出一种混合型的汉语篇章结构自动分析方法 .此方法主要基于 RST( rhetorical structure theory)分析、主位模式分析等多种语言学方法 ,还利用了向量空间模型等统计方法 .提出并实现了一种确定性 RST分析算法 .与其他...
关键词： 汉语篇章结构自动分析 / 确定性RST分析算法 / 修辞结构理论 / 向量空间模型
下载（397）| 被引（33）
