期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
多值特征结构描述(英文)
1
作者
于江生
程民德
《北京大学学报(自然科学版)》
CAS
CSCD
北大核心
1999年第5期589-601,共13页
提出了信念格上的多值非循环有限自动机并给出了特征和的算法,分别与 Rounds Kasper和 Dawar Shanker 的非循环有限自动机相比较,这一理论扩展了自然语言语义运算的能力。定义了最小不相容特征描述逻辑...
提出了信念格上的多值非循环有限自动机并给出了特征和的算法,分别与 Rounds Kasper和 Dawar Shanker 的非循环有限自动机相比较,这一理论扩展了自然语言语义运算的能力。定义了最小不相容特征描述逻辑和它的语义,并为该逻辑提供了一个充分且完备的证明系统。最后,证明了最小不相容特征描述逻辑的可满足性问题是 N
展开更多
关键词
信念格
有限自动机
蕴涵
特征和
多值特征结构
下载PDF
职称材料
叫声“同志”暖人心
2
作者
杨卫星
《乡镇论坛》
1997年第9期24-24,共1页
关键词
建设社会主义精神文明
共产主义理想
暖人心
理想和
信念
党员干部
信念格
共产党人
人民的利益
同志爱
党的事业
原文传递
题名
多值特征结构描述(英文)
1
作者
于江生
程民德
机构
北京大学数学科学学院
出处
《北京大学学报(自然科学版)》
CAS
CSCD
北大核心
1999年第5期589-601,共13页
文摘
提出了信念格上的多值非循环有限自动机并给出了特征和的算法,分别与 Rounds Kasper和 Dawar Shanker 的非循环有限自动机相比较,这一理论扩展了自然语言语义运算的能力。定义了最小不相容特征描述逻辑和它的语义,并为该逻辑提供了一个充分且完备的证明系统。最后,证明了最小不相容特征描述逻辑的可满足性问题是 N
关键词
信念格
有限自动机
蕴涵
特征和
多值特征结构
Keywords
belief lattice
multiple\|valued acyclic finite autom aton
subsumption
feature sum
minimally inconsistent feature description logic
分类号
TP301.1 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
叫声“同志”暖人心
2
作者
杨卫星
出处
《乡镇论坛》
1997年第9期24-24,共1页
关键词
建设社会主义精神文明
共产主义理想
暖人心
理想和
信念
党员干部
信念格
共产党人
人民的利益
同志爱
党的事业
分类号
D261 [政治法律—中共党史]
原文传递
题名
作者
出处
发文年
被引量
操作
1
多值特征结构描述(英文)
于江生
程民德
《北京大学学报(自然科学版)》
CAS
CSCD
北大核心
1999
0
下载PDF
职称材料
2
叫声“同志”暖人心
杨卫星
《乡镇论坛》
1997
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部