期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
多值特征结构描述(英文)
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 下一页 到第
使用帮助 返回顶部