期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
布尔算子模糊逻辑中的广义半锁归结原理
被引量：
2
1
作者
邓安生
关伟洲
《东北师大学报（自然科学版）》
CAS
CSCD
2000年第3期104-107,共4页
大量冗余子句的产生是导致归结方法低效率的根本原因 .锁策略通过对子句集中的原子进行配锁 ,限制某些子句间的归结以减少无用子句的产生 ,从而能够提高归结方法的效率 .在布尔算子模糊逻辑中 ,当相同谓词符号配相同锁时 ,广义锁归结方...
大量冗余子句的产生是导致归结方法低效率的根本原因 .锁策略通过对子句集中的原子进行配锁 ,限制某些子句间的归结以减少无用子句的产生 ,从而能够提高归结方法的效率 .在布尔算子模糊逻辑中 ,当相同谓词符号配相同锁时 ,广义锁归结方法是广义完备的 .如果对配锁方式不加任何限制 ,则广义半锁归结方法是广义完备的 .
展开更多
关键词
布尔算子
模糊逻辑
广义
锁
子句
广义半锁归结
下载PDF
职称材料
一种新的广义半锁归结
被引量：
1
2
作者
邓安生
孙吉贵
《计算机学报》
EI
CSCD
北大核心
1998年第S1期57-59,共3页
本文提出了对配锁方式不加限制的广义半锁归结方法，并证明了它在一阶逻辑中的完备性．
关键词
一阶逻辑
广义
锁
子句
广义半锁归结
下载PDF
职称材料
题名
布尔算子模糊逻辑中的广义半锁归结原理
被引量：
2
1
作者
邓安生
关伟洲
机构
东北师范大学计算机科学系
出处
《东北师大学报（自然科学版）》
CAS
CSCD
2000年第3期104-107,共4页
基金
国家自然科学基金资助项目!( 6970 3 0 1 0
69983 0 0 2 )
文摘
大量冗余子句的产生是导致归结方法低效率的根本原因 .锁策略通过对子句集中的原子进行配锁 ,限制某些子句间的归结以减少无用子句的产生 ,从而能够提高归结方法的效率 .在布尔算子模糊逻辑中 ,当相同谓词符号配相同锁时 ,广义锁归结方法是广义完备的 .如果对配锁方式不加任何限制 ,则广义半锁归结方法是广义完备的 .
关键词
布尔算子
模糊逻辑
广义
锁
子句
广义半锁归结
Keywords
Boolean operator fuzzy logic
generalized lock clause
generalized semi lock resolution
分类号
O141 [理学—基础数学]
O153.2 [理学—基础数学]
下载PDF
职称材料
题名
一种新的广义半锁归结
被引量：
1
2
作者
邓安生
孙吉贵
机构
东北师范大学计算机科学系
吉林大学计算机科学系
出处
《计算机学报》
EI
CSCD
北大核心
1998年第S1期57-59,共3页
基金
国家自然科学基金
吉林大学符号计算与知识工程国家教委开放研究实验室资助
文摘
本文提出了对配锁方式不加限制的广义半锁归结方法，并证明了它在一阶逻辑中的完备性．
关键词
一阶逻辑
广义
锁
子句
广义半锁归结
Keywords
First-order logic, generalized lock clause, generalized semi-lock resolution
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
布尔算子模糊逻辑中的广义半锁归结原理
邓安生
关伟洲
《东北师大学报（自然科学版）》
CAS
CSCD
2000
2
下载PDF
职称材料
2
一种新的广义半锁归结
邓安生
孙吉贵
《计算机学报》
EI
CSCD
北大核心
1998
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
