期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
格值一阶逻辑系统LF(X)中带广义量词的α-归结原理 被引量：6
1
作者 周平 姜明 孙西芃 《模糊系统与数学》 CSCD 北大核心 2008年第5期10-15,共6页
讨论格值一阶逻辑系统LF(X)中带广义量词的α-归结,证明了带广义量词的Herbrand-定理,为格值一阶逻辑系统中带广义量词的不确定性自动推理作了理论的准备。
关键词 α-归结原理 广义量词 格值一阶逻辑系统lf(x) 格蕴涵代数
下载PDF
格值一阶逻辑系统LF(X)中带广义量词的不确定性推理 被引量：3
2
作者 周平 姜明 徐扬 《模糊系统与数学》 CSCD 北大核心 2007年第2期40-45,共6页
讨论格值一阶逻辑系统LF(X)中带广义量词的不确定性推理规则,和FMP、FMT规则。为研究带广义量词的归结自动推理作准备,也为研究语言值逻辑推理提供一阶逻辑系统的基础平台。
关键词 格值一阶逻辑系统lf(x) 广义量词 FMP FMT不确定性推理规则
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部