遗传归纳逻辑程序设计的个体编码生长现象 被引量：3

1

作者 杨新武 刘椿年 《计算机研究与发展》 EI CSCD 北大核心 2003年第8期1238-1243,共6页

遗传归纳逻辑程序设计 (GILP)的个体编码生长现象严重影响了算法的性能和规则的可读性 通过对变长编码的模式分析 ,解释了GILP的个体编码生长现象 并发现 ,若从初始种群开始添加长度惩罚项来解决个体编码生长问题 ,种群会出现退化现象... 遗传归纳逻辑程序设计 (GILP)的个体编码生长现象严重影响了算法的性能和规则的可读性 通过对变长编码的模式分析 ,解释了GILP的个体编码生长现象 并发现 ,若从初始种群开始添加长度惩罚项来解决个体编码生长问题 ,种群会出现退化现象 而采取在演化的初期不添加惩罚项 ,在种群的性状有了明显改善后再添加惩罚的策略 ,既可避免种群退化 ,又可有效解决个体编码生长问题 . 展开更多

关键词 归纳逻辑程序设计 遗传归纳逻辑程序设计 遗传算法 模式分析

在线阅读 下载PDF 职称材料

遗传归纳逻辑程序设计中规则的位串表示法 被引量：10

2

作者 杨新武 刘椿年 《北京工业大学学报》 CAS CSCD 北大核心 2001年第3期297-302,共6页

为了利用ＧＡ来解决ＩＬＰ方法中的性能瓶颈问题，关键在于如何把ＩＬＰ的一阶规则编码为遗传算子可操作的位串形式．提出了一种新的用于遗传算法（ＧＡ）的一阶规则位串表示法．示例分析表明，这是一种结合ＧＡ算法和ＩＬＰ技术的有效... 为了利用ＧＡ来解决ＩＬＰ方法中的性能瓶颈问题，关键在于如何把ＩＬＰ的一阶规则编码为遗传算子可操作的位串形式．提出了一种新的用于遗传算法（ＧＡ）的一阶规则位串表示法．示例分析表明，这是一种结合ＧＡ算法和ＩＬＰ技术的有效的规则位串表示法． 展开更多

关键词 遗传算法 归纳逻辑程序设计 位串表示法 数据挖掘 ILP 一阶规则集 遗传算子

在线阅读 下载PDF 职称材料

基于位串编码的遗传归纳逻辑程序设计 被引量：3

3

作者 杨新武 刘椿年 《计算机工程》 CAS CSCD 北大核心 2009年第2期13-14,20,共3页

归纳逻辑程序设计是基于一阶逻辑的数据挖掘新方法。一阶规则挖掘是目标谓词和背景知识谓词对应的各种原子的复杂组合优化问题。该文根据Occam’s razor原理提出原子的位串编码,设计相应的遗传算子,基于sequential covering策略提出采... 归纳逻辑程序设计是基于一阶逻辑的数据挖掘新方法。一阶规则挖掘是目标谓词和背景知识谓词对应的各种原子的复杂组合优化问题。该文根据Occam’s razor原理提出原子的位串编码,设计相应的遗传算子,基于sequential covering策略提出采用遗传算法作为搜索策略的遗传归纳逻辑程序设计算法GILP。在连通图问题和gcd问题上验证算法的可行性。 展开更多

关键词 遗传算法 归纳逻辑程序设计 位串编码

在线阅读 下载PDF 职称材料

选择策略对遗传归纳逻辑程序设计收敛性能的影响

4

作者 杨新武 刘椿年 《计算机工程》 CAS CSCD 北大核心 2003年第5期8-9,15,共3页

采用遗传算法(GA)作为归纳逻辑程序设计(ILP)的搜索策略，可以提高ILP方法的鲁棒性和适应性。文章简要叙述了对作者提出的遗传归纳逻辑程序设计(GILP) 算法作的改进，测试了选择策略对GILP算法收敛性能的影响。采用不同的选择策略不会... 采用遗传算法(GA)作为归纳逻辑程序设计(ILP)的搜索策略，可以提高ILP方法的鲁棒性和适应性。文章简要叙述了对作者提出的遗传归纳逻辑程序设计(GILP) 算法作的改进，测试了选择策略对GILP算法收敛性能的影响。采用不同的选择策略不会影响算法的最终收敛结果，但会产生不同的选择压力，导致算法具有不同的收敛速率。 展开更多

关键词 选择策略 收敛性能 遗传算法 归纳逻辑程序设计 数据挖掘

在线阅读 下载PDF 职称材料

归纳逻辑程序设计综述 被引量：4

5

作者 郑磊 贾东 刘椿年 《计算机工程与应用》 CSCD 北大核心 2003年第17期43-46,86,共5页

归纳逻辑程序设计是由机器学习与逻辑程序设计交叉所形成的一个研究领域,是机器学习的前沿研究课题。该文首先从归纳逻辑程序设计的问题背景、类型划分和搜索程序子句三个方面介绍了归纳逻辑程序设计系统的概貌;然后结合实验室的相关研... 归纳逻辑程序设计是由机器学习与逻辑程序设计交叉所形成的一个研究领域,是机器学习的前沿研究课题。该文首先从归纳逻辑程序设计的问题背景、类型划分和搜索程序子句三个方面介绍了归纳逻辑程序设计系统的概貌;然后结合实验室的相关研究工作,回顾了归纳逻辑程序设计研究的发展;之后介绍了归纳逻辑程序设计领域中需要深入研究的若干问题,并提出了新的解决思路;最后是总结,以引起读者对归纳逻辑程序设计领域研究的进一步关注。 展开更多

关键词 机器学习 逻辑程序设计 归纳逻辑程序设计 粗糙—归纳逻辑程序设计 遗传归纳逻辑程序设计 约束归纳逻辑程序设计 关系数据挖掘

在线阅读 下载PDF 职称材料

归纳逻辑程序设计中的优化问题研究 被引量：1

6

作者 叶风 徐晓飞 +2 位作者 权光日 陈彬 邱深山 《计算机研究与发展》 EI CSCD 北大核心 1999年第5期560-566,共7页

归纳逻辑程序设计的核心问题是如何从背景知识中优选谓词构造满足约束的归纳假设．按Ｏｃａｍ准则，满足约束的最精简归纳假设为优，但迄今归纳逻辑程序设计中精简归纳假设构造的计算复杂性尚未解决．文中以扩张矩阵理论为工具证明了归... 归纳逻辑程序设计的核心问题是如何从背景知识中优选谓词构造满足约束的归纳假设．按Ｏｃａｍ准则，满足约束的最精简归纳假设为优，但迄今归纳逻辑程序设计中精简归纳假设构造的计算复杂性尚未解决．文中以扩张矩阵理论为工具证明了归纳假设构造中的一些主要最优化问题的计算复杂性是ＮＰ困难的，并给出了构造优假设的启发式算法，实验表明该算法产生的归纳假设在结构上具有明显的优越性． 展开更多

关键词 归纳学习 归纳逻辑程序 程序设计 优化

在线阅读 下载PDF 职称材料

约束归纳逻辑程序设计方法的研究 被引量：3

7

作者 郑磊 刘椿年 《计算机工程与应用》 CSCD 北大核心 2003年第10期63-66,共4页

提出了一种新的约束归纳逻辑程序设计方法。该方法能够与自顶向下的归纳逻辑程序设计系统结合,通过在自顶向下归纳方法的一步特殊化操作中引入Fisher判别分析等方法,使得系统能够导出不受变量个数限制的多种形式的线性约束,在不需要用... 提出了一种新的约束归纳逻辑程序设计方法。该方法能够与自顶向下的归纳逻辑程序设计系统结合,通过在自顶向下归纳方法的一步特殊化操作中引入Fisher判别分析等方法,使得系统能够导出不受变量个数限制的多种形式的线性约束,在不需要用户诱导,不依赖约束求解器的情况下,学习出覆盖正例而排斥负例的含约束的Horn子句程序。 展开更多

关键词 约束归纳逻辑程序设计方法 程序设计方法 机器学习 Porlog语言 ILP系统

在线阅读 下载PDF 职称材料

约束归纳逻辑程序设计系统

8

作者 郑磊 刘椿年 贾东 《计算机工程》 CAS CSCD 北大核心 2003年第19期6-7,25,共3页

提出了一种新的约束归纳逻辑程序设计方法,并初步实现了一个自顶向下的约束归纳逻辑程序原型系统。该系统能够导出不受变量个数限制的多种形式的线性约束,得出覆盖正例而排斥负例的含约束的Horn子句程序。

关键词 约束 归纳逻辑程序设计 约束归纳逻辑程序设计

在线阅读 下载PDF 职称材料

分布式并行约束归纳逻辑程序设计研究 被引量：1

9

作者 卢向澄 郑磊 刘椿年 《计算机应用研究》 CSCD 北大核心 2005年第9期34-36,45,共4页

CILP是关系数据挖掘的主要技术之一。为提高CILP系统的效率,提出了一种基于C3模型,元学习技术和主从式静态负载平衡策略的分布式并行CILP算法,并实现了一个基于COW机群结构的分布式并行CILP原型系统。实验表明该算法是高效的,能获得较... CILP是关系数据挖掘的主要技术之一。为提高CILP系统的效率,提出了一种基于C3模型,元学习技术和主从式静态负载平衡策略的分布式并行CILP算法,并实现了一个基于COW机群结构的分布式并行CILP原型系统。实验表明该算法是高效的,能获得较好的负载平衡,较高的加速比和并行效率。 展开更多

关键词 约束归纳逻辑程序设计 分布式并行逻辑程序归纳设计 关系数据挖掘

在线阅读 下载PDF 职称材料

基于归纳逻辑程序设计的特异规则挖掘 被引量：2

10

作者 黄明新 刘椿年 《北京工业大学学报》 CAS CSCD 北大核心 2003年第4期495-499,共5页

从关系数据挖掘的角度提出了挖掘特异规则的方法,该方法通过面向属性的方法来识别特异数据.借鉴Chi2算法的思想实现了特异数据的离散,并定性地描述了数据的特异程度,结合经典的归纳逻辑程序设计系统FDIL,自然地挖掘出了特异规则,突破了... 从关系数据挖掘的角度提出了挖掘特异规则的方法,该方法通过面向属性的方法来识别特异数据.借鉴Chi2算法的思想实现了特异数据的离散,并定性地描述了数据的特异程度,结合经典的归纳逻辑程序设计系统FDIL,自然地挖掘出了特异规则,突破了传统命题级数据挖掘的框架.试验结果表明利用该方法能够发现被传统的关联规则挖掘算法所忽略的有价值的知识. 展开更多

关键词 归纳逻辑程序设计 关系数据挖掘 特异规则

在线阅读 下载PDF 职称材料

归纳逻辑程序设计综述 被引量：3

11

作者 戴望州 周志华 《计算机研究与发展》 EI CSCD 北大核心 2019年第1期138-154,共17页

归纳逻辑程序设计(inductive logic programming,ILP)是以一阶逻辑归纳理论为基础,并以一阶逻辑为表达语言的符号规则学习方法.ILP学得的模型是易于理解的一阶逻辑符号规则,而非难以解释的黑箱模型;在学习中可以相对容易地显式利用以一... 归纳逻辑程序设计(inductive logic programming,ILP)是以一阶逻辑归纳理论为基础,并以一阶逻辑为表达语言的符号规则学习方法.ILP学得的模型是易于理解的一阶逻辑符号规则,而非难以解释的黑箱模型;在学习中可以相对容易地显式利用以一阶逻辑描述的领域知识;学得模型能对领域中个体间的关系进行建模,而非仅仅对个体的标记进行预测.然而,由于潜在假设空间巨大,进行高效学习有相当的困难.综述了ILP领域的研究情况,从不同一阶逻辑归纳理论的角度对主流的ILP方法做出了梳理.还介绍了近年来ILP基于二阶诱导推理理论的扩展、基于概率的扩展和引入可微构件的扩展.最后,介绍了ILP在实际任务中的代表性应用,探讨了ILP方法目前所遇到的挑战,并对其未来发展进行了展望. 展开更多

关键词 机器学习 一阶逻辑 规则学习 归纳逻辑程序设计 概率归纳逻辑程序设计

在线阅读 下载PDF 职称材料

约束归纳逻辑程序设计的研究

12

作者 夏姗姗 刘椿年 《北京工业大学学报》 CAS CSCD 2000年第3期108-112,共5页

提出并讨论了从正负例和背景知识学习含有约束的一阶谓词公式的约束归纳逻辑程序设计方法．该方法以国际上具有代表性的ＩＬＰ系统Ｐｒｏｇｏｌ为基础，加入我们自己的学习约束的新方法，在不需要用户诱导的情况下，经过对正负例的比较... 提出并讨论了从正负例和背景知识学习含有约束的一阶谓词公式的约束归纳逻辑程序设计方法．该方法以国际上具有代表性的ＩＬＰ系统Ｐｒｏｇｏｌ为基础，加入我们自己的学习约束的新方法，在不需要用户诱导的情况下，经过对正负例的比较与推导，学习出覆盖正例而排斥负例的含约束的Ｈｏｒｎ子句程序，同时介绍了这个ＩＬＰ系统的实现算法和应用实例． 展开更多

关键词 约束 归纳逻辑程序设计 约束归纳逻辑程序设计 机器学习

在线阅读 下载PDF 职称材料

遗传程序设计方法综述 被引量：52

13

作者 刘大有 卢奕南 +1 位作者 王飞 梁艳春 《计算机研究与发展》 EI CSCD 北大核心 2001年第2期213-222,共10页

近年来 ,遗传程序设计 (genetic program ming,GP)的研究引起了人们很大的关注 ,它运用遗传算法(genetic algorithm,GA)的思想 ,通过生成计算机程序来解决问题 .介绍了遗传程序设计的研究状况以及目前的研究进展 ,概述了它的基本算法、... 近年来 ,遗传程序设计 (genetic program ming,GP)的研究引起了人们很大的关注 ,它运用遗传算法(genetic algorithm,GA)的思想 ,通过生成计算机程序来解决问题 .介绍了遗传程序设计的研究状况以及目前的研究进展 ,概述了它的基本算法、主要特点、理论与技术 ,同时介绍了一些 GP实现系统以及主要的应用领域 ,最后探讨了遗传程序设计的研究方向 . 展开更多

关键词 遗传算法 遗传程序设计 自然进化 程序归纳 程序设计方法

在线阅读 下载PDF 职称材料

论归纳与演绎逻辑的融合 被引量：5

14

作者 宋伟 桂起权 《华中科技大学学报（社会科学版）》 2003年第3期29-31,75,共4页

由于归纳与演绎逻辑具有不同的逻辑推理特征,二者长期以来一直处于一种分化的状态。然而,目前人工智能逻辑程序设计的研究正在改变这种状态,即在一种逻辑=推理+控制的新框架内,归纳与演绎逻辑之间出现了一种融合的倾向。

关键词 归纳逻辑 演绎逻辑 逻辑程序设计 融合

在线阅读 下载PDF 职称材料

基于记忆策略的元解释学习

15

作者 王榕 田聪 +2 位作者 孙军 于斌 段振华 《软件学报》 北大核心 2025年第8期3477-3493,共17页

元解释学习(meta-interpretive learning,MIL)是一种归纳逻辑程序设计(inductive logic programming,ILP)方法,旨在从一组实例、元规则和其他背景知识中学习一个程序.MIL采用深度优先和失败驱动策略在程序空间中搜索适当的子句以生成程... 元解释学习(meta-interpretive learning,MIL)是一种归纳逻辑程序设计(inductive logic programming,ILP)方法,旨在从一组实例、元规则和其他背景知识中学习一个程序.MIL采用深度优先和失败驱动策略在程序空间中搜索适当的子句以生成程序.事实上,这种机制不可避免地引发了对相同目标重复证明的问题.提出一种剪枝策略,该策略利用Prolog内置的数据库机制来存储未能达成的目标及其对应的错误信息,从而有效避免冗余的证明过程.此后,这些累积的错误信息能够作为指导,帮助MIL系统在未来的学习过程中进行优化和调整.证明剪枝算法的正确性,并在理论上计算程序空间的缩减比例.将所提出的方法应用于两个现有的MIL系统Metagol和Metagol_(AI),从而产生了两个新的MIL系统MetagolF和Metagol_(AI_F).在4个不同任务上的实证结果表明,所提出的策略可以显著减少学习相同程序的时间消耗. 展开更多

关键词 元解释学习 冗余证明 记忆策略 剪枝算法 归纳逻辑程序设计

在线阅读 下载PDF 职称材料

复杂结构归纳学习研究 被引量：2

16

作者 李琳娜 杨炳儒 《计算机工程与应用》 CSCD 北大核心 2008年第5期1-7,共7页

复杂结构归纳学习的需求近年来快速增长。复杂结构归纳学习方法按照知识表示方式不同分为基于逻辑的方法与基于数学图的方法。阐述了复杂结构归纳学习研究的历史沿革,介绍、分析和对比了不同知识表示方式下的学习方法,给出了复杂结构归... 复杂结构归纳学习的需求近年来快速增长。复杂结构归纳学习方法按照知识表示方式不同分为基于逻辑的方法与基于数学图的方法。阐述了复杂结构归纳学习研究的历史沿革,介绍、分析和对比了不同知识表示方式下的学习方法,给出了复杂结构归纳学习将来发展面临的挑战和需重点解决的问题。 展开更多

关键词 复杂结构 归纳学习 基于图的概念学习 归纳逻辑程序设计 高阶逻辑

在线阅读 下载PDF 职称材料

基于反事实的相关背景知识获取方法

17

作者 王学敏 包旭光 +1 位作者 常亮 郝远静 《计算机工程与应用》 CSCD 北大核心 2024年第20期168-179,共12页

在多任务学习中,学习器会将已学到的知识添加到背景知识库中,并利用这些背景知识来辅助其他任务的学习。然而,随着背景知识的不断积累,知识库可能会变得庞大,给学习系统带来负担。因此,有必要对不相关的背景知识进行遗忘。现有的遗忘策... 在多任务学习中,学习器会将已学到的知识添加到背景知识库中,并利用这些背景知识来辅助其他任务的学习。然而,随着背景知识的不断积累,知识库可能会变得庞大,给学习系统带来负担。因此,有必要对不相关的背景知识进行遗忘。现有的遗忘策略往往未充分考虑背景知识与学习任务之间的关联性,而是为不同的归纳任务提供相同的背景知识。针对这一问题,提出了一种基于反事实思维的相关性识别方法,即反事实获取法。该方法通过相关性函数评估每个假设对学习任务的具体贡献,仅保留那些相关性函数值超过设定阈值的假设。此外,该方法应用于归纳逻辑编程领域,设计出一个名为Countergol的多任务归纳逻辑编程学习器。理论分析显示,Countergol能够有效地缩减假设空间及样本复杂度。实验结果表明,通过与其他遗忘方法的对比,Countergol在大量任务学习中的优越性得到了进一步验证。 展开更多

关键词 归纳逻辑程序设计 反事实 多任务学习

在线阅读 下载PDF 职称材料

一种自顶向下和自底向上相结合的ILP算法 被引量：2

18

作者 许中卫 李炜 +1 位作者 宋杰 吴建国 《计算机工程与应用》 CSCD 北大核心 2006年第15期23-25,共3页

归纳逻辑程序设计(ILP)是机器学习的一个重要分支,给定一个样例集和相关背景知识,ILP研究如何构建与其相一致的逻辑程序,这些逻辑程序由有限一阶子句组成。文章描述了一种综合当前一些ILP方法多方面优势的算法ICCR,ICCR溶合了以FOIL为... 归纳逻辑程序设计(ILP)是机器学习的一个重要分支,给定一个样例集和相关背景知识,ILP研究如何构建与其相一致的逻辑程序,这些逻辑程序由有限一阶子句组成。文章描述了一种综合当前一些ILP方法多方面优势的算法ICCR,ICCR溶合了以FOIL为代表的自顶向下搜索策略和以GOLEM为代表的自底向上搜索策略,并能根据需要发明新谓词、学习递归逻辑程序,对比实验表明,对相同的样例及背景知识,ICCR比FOIL和GOLEM能学到精度更高的目标逻辑程序。 展开更多

关键词 归纳逻辑程序设计 自顶向下 自底向上 一阶子句

在线阅读 下载PDF 职称材料

多关系数据挖掘方法研究 被引量：5

19

作者 徐光美 杨炳儒 +1 位作者 张伟 宁淑荣 《计算机应用研究》 CSCD 北大核心 2006年第9期8-12,共5页

目前大多数数据挖掘方法是从单关系中发现模式,而多关系数据挖掘(MRDM)则可直接从关系数据库的多表中抽取有效模式。MRDM可以解决原有命题数据挖掘方法不能解决的问题,它不仅有更强的信息表示能力,可以表示和发现更复杂的模式,还可以在... 目前大多数数据挖掘方法是从单关系中发现模式,而多关系数据挖掘(MRDM)则可直接从关系数据库的多表中抽取有效模式。MRDM可以解决原有命题数据挖掘方法不能解决的问题,它不仅有更强的信息表示能力,可以表示和发现更复杂的模式,还可以在挖掘进程中有效地利用背景知识来提高挖掘效率和准确率。近年来,借鉴归纳逻辑程序设计(ILP)技术,已经形成许多多关系数据挖掘方法,如关系关联规则挖掘方法、关系分类聚类方法等。 展开更多

关键词 多关系数据挖掘(关系数据挖掘) 归纳逻辑程序设计 关系分类回归 关系关联规则 基于距离的关系方法

在线阅读 下载PDF 职称材料

多关系关联规则算法综述 被引量：3

20

作者 侯伟 杨炳儒 宋威 《计算机工程与应用》 CSCD 北大核心 2007年第23期1-5,共5页

多关系数据挖掘是借鉴ILP技术,并结合机器学习方法所提出的数据挖掘新课题。多关系关联规则是多关系方法在概念描述任务中最具代表性的研究方向之一,此类方法在发挥多关系方法的模式表达能力与利用背景知识能力的同时,借鉴成熟的关联规... 多关系数据挖掘是借鉴ILP技术,并结合机器学习方法所提出的数据挖掘新课题。多关系关联规则是多关系方法在概念描述任务中最具代表性的研究方向之一,此类方法在发挥多关系方法的模式表达能力与利用背景知识能力的同时,借鉴成熟的关联规则方法的思想与优化策略,取得了较高的性能与表达复杂模式的能力,同时在面向复杂结构数据的应用中获得了较好的效果。在简述多关系方法的基础上,通过分析与比较目前具有代表性的多关系关联规则算法,总结了各算法的优势与不足,并指出了该领域目前的主要热点问题。 展开更多

关键词 归纳逻辑程序设计 多关系数据挖掘 多关系关联规则

在线阅读 下载PDF 职称材料