于江生
- 作品数：10 被引量：28H指数：3
- 供职机构：北京大学信息科学技术学院计算语言学研究所更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术语言文字理学哲学宗教更多>>
- CCD语义知识库的构造研究被引量：12
- 2005年
- CCD(theChineseConceptDictionary)是一个WordNet框架下的汉英双语语义知识库(theChinese-EnglishWordNet).在制定语义规范后,作者提出了构造CCD的演化模型(themodelofevolution).新的构造模型强调双语语义知识库构造中的继承(inheritance)和转换(transformation)思想,希望从WordNet现有的英语单语语义信息出发,通过词典编纂者的联机翻译(onlinetranslations)和可视化操作(visualizedoperations),逐步实现由WordNet到CCD的计算性转换,自然地得到一个双语语义知识库,从而大幅度提高构造此类语义知识库的效率和质量.针对该构造模型,作者设计并实现了可视化的辅助词典构造软件VACOL.该软件在北大计算语言所CCD项目中得到大规模的应用,取得了很好的成果.
- 刘扬俞士汶于江生
- 关键词：语义分析语义知识库CCD
- 句法范畴的代数结构与演绎系统
- 2001年
- 本文给出了建立在含幺半群基础上的范畴语法的代数结构 ,定义了范畴方程和它的解并对范畴方程的解作了分类 :相容性的相关性。定理“对于范畴方程的任意一个解X ,都存在唯一的本质解Y使得Y X”使得我们可以通过一定的演绎规则对词w的本质范畴作扩张以得到w的所有句法范畴。最后 。
- 于江生
- 关键词：句法范畴范畴语法代数结构
- 多值特征结构描述(英文)
- 1999年
- 提出了信念格上的多值非循环有限自动机并给出了特征和的算法，分别与 Ｒｏｕｎｄｓ Ｋａｓｐｅｒ和 Ｄａｗａｒ Ｓｈａｎｋｅｒ 的非循环有限自动机相比较，这一理论扩展了自然语言语义运算的能力。定义了最小不相容特征描述逻辑和它的语义，并为该逻辑提供了一个充分且完备的证明系统。最后，证明了最小不相容特征描述逻辑的可满足性问题是 Ｎ
- 于江生程民德
- 关键词：有限自动机蕴涵
- 关于ontology的对话
- 2004年
- 于江生幸运温珍珊靳志辉欧阳佑
- 关键词：ONTOLOGY本体论人工智能词典知识库
- 可定向带边曲面的自同胚自由度问题
- 于江生
- 关键词：FOLIATION奇点PUNCTURE
- 语义学的数学基础
- 该文试图构建一个以语言信息的动态理论为框架基础,以λ-演算为主要工具的上容的语义学的框架,提供一套自然语言语义的殂式化描述语言(元语言).
- 于江生
- 关键词：语义模态逻辑自然语言形式化描述语言
- CCD构造模型及VACOL辅助软件的设计与实现被引量：12
- 2003年
- 依据在北大计算语言所CCD(theChineseConceptDictionary)项目的工程实践 ,本文提出了CCD的构造模型。该模型强调双语词典 (bilinguallexicon)构造中的继承 (inheritance)和转换 (transformation)思想 ,希望从WordNet现有的英语单语词汇语义信息出发 ,通过词典编篡者的翻译和可视化操作 (visualizedoperations) ,逐步实现由WordNet到CCD的计算性转换 (computationaltransformation) ,自然地得到一个汉英对应的双语语义词典 ,从而大幅度提高此类词典编篡的质量和效率。针对该构造模型 ,作者设计并实现了一个可视化的辅助词典构造软件VACOL(theVisualizedAuxiliaryCon structionofLexicon)。作者阐述了VACOL软件的设计原理 ,对其中涉及的一些关键算法和技术 ,如WordNet词汇语义信息抽取、数据敏感的树结构建立及其可视化操作等 ,也简要做了介绍。
- 刘扬于江生俞士汶
- 关键词：WORDNETCCD
- 机器切分歧义和动态词典
- 本文给出了机器切分歧义的形式定义,在概念上澄清了它与传统意义上的切分歧义的区别和联系,并给出切分混乱度的计算公式和机器自动判定歧义和歧义类型的几个定理.汉语的特点导致了词典的构造直接影响机器切分结果的好坏,作者提出用动态...
- 于江生
- 文献传递
- CCD语义知识库的构造研究
- CCD(the Chinese Concept Dictionary)是一个WordNet框架下的汉英双语语义知识库(the Chinese-English WordNet).在制定语义规范后,作者提出了构造CCD的演化...
- 刘扬俞士汶于江生
- 关键词：语义分析语义知识库CCD计算语言学
- 文献传递
- 语义指向的形式模型
- Frege的组合性原则说,一个复合表达式的语义是其组成部分语义的函项,这说明一个词或词组(甚至一个句子)的语义与其所处的语境的语义是相互制约的.本文提供了一个形式模型(λ-DRT),描述语义的这种制约关系从而改变过去孤立...
- 于江生
- 关键词：语义指向
