期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
模糊规则的谐调度与矛盾规则的排除方法
被引量：
7
1
作者
梁怡
张文修
《计算机学报》
EI
CSCD
北大核心
1997年第10期949-952,共4页
本文给出了模糊规则的谐调度，得到了两个模糊规则有公共解的充分必要条件，提供了模糊规则知识库中矛盾规则的排除方法．
关键词
模糊
规则
谐调度
矛盾
规则
知识库
下载PDF
职称材料
关联规则挖掘中阈值协调器的设计与实现
被引量：
3
2
作者
梁开健
梁泉
杨炳儒
《系统工程与电子技术》
EI
CSCD
北大核心
2005年第10期1800-1802,F0003,共4页
针对动态的关联规则挖掘中阈值的合理设置问题,提出了一种阈值协调算法(TCA算法),以克服传统的主观经验设置阈值的局限。通过设计一个用于处理动态关联规则挖掘过程中矛盾规则的阈值协调器,以计算矛盾域为基础,动态调节阈值,求得规则的...
针对动态的关联规则挖掘中阈值的合理设置问题,提出了一种阈值协调算法(TCA算法),以克服传统的主观经验设置阈值的局限。通过设计一个用于处理动态关联规则挖掘过程中矛盾规则的阈值协调器,以计算矛盾域为基础,动态调节阈值,求得规则的一个基本的阈值区间,达到客观设置阈值的目的。给出了该方法的具体步骤,通过实验证明了该算法的有效性。
展开更多
关键词
阈值协调器
阈值设置
矛盾
规则
矛盾
域
下载PDF
职称材料
动态KDD过程中矛盾规则的研究
被引量：
1
3
作者
梁开健
梁泉
杨炳儒
《计算机应用研究》
CSCD
北大核心
2006年第1期79-81,共3页
随着数据量的海量扩张、数据类型的复杂化,矛盾知识的问题越发突出,成为KDD领域中一个亟待解决的问题。通过对知识发现内在机理的研究,探讨在动态的知识发现过程中,矛盾知识的产生原因以及矛盾区间的求解方法,对解决当前主流发展中所面...
随着数据量的海量扩张、数据类型的复杂化,矛盾知识的问题越发突出,成为KDD领域中一个亟待解决的问题。通过对知识发现内在机理的研究,探讨在动态的知识发现过程中,矛盾知识的产生原因以及矛盾区间的求解方法,对解决当前主流发展中所面临的若干难题将具有一定的理论和实际意义。
展开更多
关键词
矛盾
规则
动态数据挖掘
信息扩张
下载PDF
职称材料
基于多种群量子进化的区间二型模糊规则挖掘算法
被引量：
7
4
作者
钱小毅
张宇献
+1 位作者
张志峰
王建辉
《控制理论与应用》
EI
CAS
CSCD
北大核心
2019年第1期32-42,共11页
利用智能优化算法挖掘模糊分类规则能够解决模糊前件参数和无关项的组合优化问题,但也存在依赖初始规则以及更新过程无指导等缺陷,导致分类精度难以保证.为此,本文以二型模糊规则分类系统为框架,采用模糊聚类得到代表性样本并启发式的...
利用智能优化算法挖掘模糊分类规则能够解决模糊前件参数和无关项的组合优化问题,但也存在依赖初始规则以及更新过程无指导等缺陷,导致分类精度难以保证.为此,本文以二型模糊规则分类系统为框架,采用模糊聚类得到代表性样本并启发式的产生初始规则,以量子等位基因形式对规则进行编码生成多初始种群,根据基因的优良性,以变尺度变异操作实现等位基因的指导性进化.在此基础上,利用矛盾规则重构机制,提高模糊规则分类系统的精度.将所提出算法与FH–GBML–IVFS–Amp算法和GAGRAD算法进行了分类精度对比,并在不同噪声水平下,与C4.5算法、朴素贝叶斯分类器和BP神经网络进行分类鲁棒性比较,实验结果表明所提出算法具有较好分类精度与鲁棒性.
展开更多
关键词
基于模糊
规则
的分类系统
量子进化算法
多种群量子编码
变尺度变异
矛盾
规则
重构
下载PDF
职称材料
多元协同演绎在一阶逻辑ATP中的应用
被引量：
3
5
作者
曹锋
徐扬
+2 位作者
陈树伟
吴贯锋
常文静
《西南交通大学学报》
EI
CSCD
北大核心
2020年第2期401-408,427,共9页
一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一.目前一阶逻辑自动定理证明大多采用二元归结方法,每次只有2个子句进行归结,只消去1组互补对,导致演绎归结式文字数较多,影响了演绎效率.为此,...
一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一.目前一阶逻辑自动定理证明大多采用二元归结方法,每次只有2个子句进行归结,只消去1组互补对,导致演绎归结式文字数较多,影响了演绎效率.为此,基于矛盾体分离规则提出了一种多元协同演绎算法,该算法每次允许多个子句进行协同演绎,消去多组互补对,从而演绎分离式文字数较少且可控,能有效提高推理能力;并且,该算法通过有效演绎权重和无效演绎权重调整子句演绎顺序,利用回溯机制搜索较优路径,有效规划演绎路径.将该算法应用于国际顶尖证明器Eprover 2.1,以CADE2017竞赛例(FOF组)为测试对象,对加入多元协同演绎算法的Eprover 2.1证明器进行试验.试验结果表明其能力超过了Eprover 2.1:多证明定理8个;能证明Eprover 2.1未证明定理31个,占未证明总数的28.2%.
展开更多
关键词
数理逻辑
人工智能
定理证明
二元归结
矛盾
体分离
规则
下载PDF
职称材料
题名
模糊规则的谐调度与矛盾规则的排除方法
被引量：
7
1
作者
梁怡
张文修
机构
香港中文大学
出处
《计算机学报》
EI
CSCD
北大核心
1997年第10期949-952,共4页
文摘
本文给出了模糊规则的谐调度，得到了两个模糊规则有公共解的充分必要条件，提供了模糊规则知识库中矛盾规则的排除方法．
关键词
模糊
规则
谐调度
矛盾
规则
知识库
Keywords
Fuzzy rules
degree of consistency
delete.
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
关联规则挖掘中阈值协调器的设计与实现
被引量：
3
2
作者
梁开健
梁泉
杨炳儒
机构
北京科技大学信息工程学院
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2005年第10期1800-1802,F0003,共4页
基金
国家自然科学基金重点项目资助课题(69835001)
文摘
针对动态的关联规则挖掘中阈值的合理设置问题,提出了一种阈值协调算法(TCA算法),以克服传统的主观经验设置阈值的局限。通过设计一个用于处理动态关联规则挖掘过程中矛盾规则的阈值协调器,以计算矛盾域为基础,动态调节阈值,求得规则的一个基本的阈值区间,达到客观设置阈值的目的。给出了该方法的具体步骤,通过实验证明了该算法的有效性。
关键词
阈值协调器
阈值设置
矛盾
规则
矛盾
域
Keywords
threshold value coordinator
threshold value setting
contradiction rule
contradiction field
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
动态KDD过程中矛盾规则的研究
被引量：
1
3
作者
梁开健
梁泉
杨炳儒
机构
北京科技大学信息工程学院
出处
《计算机应用研究》
CSCD
北大核心
2006年第1期79-81,共3页
基金
北京市自然科学基金资助项目(4022008)
文摘
随着数据量的海量扩张、数据类型的复杂化,矛盾知识的问题越发突出,成为KDD领域中一个亟待解决的问题。通过对知识发现内在机理的研究,探讨在动态的知识发现过程中,矛盾知识的产生原因以及矛盾区间的求解方法,对解决当前主流发展中所面临的若干难题将具有一定的理论和实际意义。
关键词
矛盾
规则
动态数据挖掘
信息扩张
Keywords
Contradiction Rule
Dynamic Data Mining
Information Dilation
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于多种群量子进化的区间二型模糊规则挖掘算法
被引量：
7
4
作者
钱小毅
张宇献
张志峰
王建辉
机构
沈阳工业大学电气工程学院
东北大学信息科学与工程学院
出处
《控制理论与应用》
EI
CAS
CSCD
北大核心
2019年第1期32-42,共11页
基金
国家自然科学基金项目(61102124
61603263)
+1 种基金
辽宁省自然科学基金项目(2015020064)
辽宁省教育厅项目(LQGD2017035)资助~~
文摘
利用智能优化算法挖掘模糊分类规则能够解决模糊前件参数和无关项的组合优化问题,但也存在依赖初始规则以及更新过程无指导等缺陷,导致分类精度难以保证.为此,本文以二型模糊规则分类系统为框架,采用模糊聚类得到代表性样本并启发式的产生初始规则,以量子等位基因形式对规则进行编码生成多初始种群,根据基因的优良性,以变尺度变异操作实现等位基因的指导性进化.在此基础上,利用矛盾规则重构机制,提高模糊规则分类系统的精度.将所提出算法与FH–GBML–IVFS–Amp算法和GAGRAD算法进行了分类精度对比,并在不同噪声水平下,与C4.5算法、朴素贝叶斯分类器和BP神经网络进行分类鲁棒性比较,实验结果表明所提出算法具有较好分类精度与鲁棒性.
关键词
基于模糊
规则
的分类系统
量子进化算法
多种群量子编码
变尺度变异
矛盾
规则
重构
Keywords
fuzzy rule-based classification system
quantum evolutionary algorithm
multi-population quantum coding
variable scale mutation
contradictory rule reconstruction
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
O159 [自动化与计算机技术—控制科学与工程]
下载PDF
职称材料
题名
多元协同演绎在一阶逻辑ATP中的应用
被引量：
3
5
作者
曹锋
徐扬
陈树伟
吴贯锋
常文静
机构
西南交通大学信息科学与技术学院
西南交通大学系统可信性自动验证国家地方联合工程实验室
西南交通大学数学学院
出处
《西南交通大学学报》
EI
CSCD
北大核心
2020年第2期401-408,427,共9页
基金
国家自然科学基金(61673320)
中央高校基本科研业务费专项资金(2682017ZT12,2682018CX59,2682018ZT25)。
文摘
一阶逻辑是数理逻辑中重要的分支,对其逻辑公式的自动推理是人工智能领域重要的研究热点之一.目前一阶逻辑自动定理证明大多采用二元归结方法,每次只有2个子句进行归结,只消去1组互补对,导致演绎归结式文字数较多,影响了演绎效率.为此,基于矛盾体分离规则提出了一种多元协同演绎算法,该算法每次允许多个子句进行协同演绎,消去多组互补对,从而演绎分离式文字数较少且可控,能有效提高推理能力;并且,该算法通过有效演绎权重和无效演绎权重调整子句演绎顺序,利用回溯机制搜索较优路径,有效规划演绎路径.将该算法应用于国际顶尖证明器Eprover 2.1,以CADE2017竞赛例(FOF组)为测试对象,对加入多元协同演绎算法的Eprover 2.1证明器进行试验.试验结果表明其能力超过了Eprover 2.1:多证明定理8个;能证明Eprover 2.1未证明定理31个,占未证明总数的28.2%.
关键词
数理逻辑
人工智能
定理证明
二元归结
矛盾
体分离
规则
Keywords
mathematical logic
artificial intelligence
theorem proving
binary resolution
contradiction separation rule
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
模糊规则的谐调度与矛盾规则的排除方法
梁怡
张文修
《计算机学报》
EI
CSCD
北大核心
1997
7
下载PDF
职称材料
2
关联规则挖掘中阈值协调器的设计与实现
梁开健
梁泉
杨炳儒
《系统工程与电子技术》
EI
CSCD
北大核心
2005
3
下载PDF
职称材料
3
动态KDD过程中矛盾规则的研究
梁开健
梁泉
杨炳儒
《计算机应用研究》
CSCD
北大核心
2006
1
下载PDF
职称材料
4
基于多种群量子进化的区间二型模糊规则挖掘算法
钱小毅
张宇献
张志峰
王建辉
《控制理论与应用》
EI
CAS
CSCD
北大核心
2019
7
下载PDF
职称材料
5
多元协同演绎在一阶逻辑ATP中的应用
曹锋
徐扬
陈树伟
吴贯锋
常文静
《西南交通大学学报》
EI
CSCD
北大核心
2020
3
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
