-
题名自然语言语义相关度计算模型及其权重系数研究
- 1
-
-
作者
刘运通
熊晶
-
机构
安阳师范学院计算机与信息工程学院
-
出处
《计算机应用研究》
CSCD
北大核心
2014年第6期1661-1664,共4页
-
基金
国家自然科学基金资助项目(U1204402)
河南省教育厅科学技术研究重点资助项目(13B520894)
安阳师范学院计算机与信息工程学院2014年度科研团队培育项目
-
文摘
为了更为高效、准确地使用语义信息来进行自然语言处理,提出了一种自然语言语义相关度计算模型,并对模型的求解方法以及相关的权重系数作了研究。该模型使用语义相关度来判定语句的最佳语法分析方案,并采用简单子句归结法进行模型求解;通过对比实验,可以初步确定这些权重系数的合理取值范围,并揭示权重系数与模型求解正确率之间的关系。
-
关键词
语义相关度计算模型
权重系数
简单语义单元
简单子句
-
Keywords
semantic relevancy calculating model
weight coefficients
simple semantic units
simple clause
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于格值一阶逻辑LF(X)的自动推理算法
被引量：1
- 2
-
-
作者
李晓冰
徐扬
-
机构
东北财经大学管理科学与工程学院
西南交通大学智能控制开发中心
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第23期18-20,49,共4页
-
基金
国家自然科学基金No.60474022
No.60875034
高等学校博士学科点专项科研基金项目No.20060613007~~
-
文摘
基于谓词逻辑的归结推理方法是目前理论上较为成熟、可以在计算机上实现的推理方法之一。针对格值一阶逻辑LF(X)中归结自动推理问题,以格值一阶逻辑LF(X)的α-归结原理为理论基础,通过对例子进行分析,提出了LF(X)中简单广义子句集的归结自动推理算法,并证明了该算法的可靠性和完备性。
-
关键词
格值一阶逻辑
自动推理
α-归结原理
简单广义子句集
-
Keywords
lattice-valued first-order logic
automated reasoning
α -resolution principle
simple generalized clause set
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
