检索结果-内蒙古大学图书馆

计算机研究与发展 2019年第1期56卷 138-154页

作者：戴望州周志华计算机软件新技术国家重点实验室(南京大学) 南京210023

归纳逻辑程序设计(inductive logic programming,ILP)是以一阶逻辑归纳理论为基础,并以一阶逻辑为表达语言的符号规则学习方法.ILP学得的模型是易于理解的一阶逻辑符号规则,而非难以解释的黑箱模型;在学习中可以相对容易地显式利用以一... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

归纳逻辑程序设计综述

引用

计算机工程与应用 2003年第17期39卷 43-46,86页

作者：郑磊贾东刘椿年北京工业大学计算机学院多媒体与智能软件北京市重点实验室北京100022

归纳逻辑程序设计是由机器学习与逻辑程序设计交叉所形成的一个研究领域,是机器学习的前沿研究课题。该文首先从归纳逻辑程序设计的问题背景、类型划分和搜索程序子句三个方面介绍了归纳逻辑程序设计系统的概貌;然后结合实验室的相关研... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

归纳逻辑程序设计的理论与算法

归纳逻辑程序设计的理论与算法

引用

作者：叶风哈尔滨工业大学

学位级别：博士

归纳逻辑程序设计(ILP)是机器学习与逻辑程序设计技术发展并结合而产生的新的研究领域.该文主要致力于ILP的理论基础及其算法的研究,着重讨论归纳逻辑程序设计的语义理论及其实现方法、归纳假设的构造与计算复杂性、极小一般普化方法、... 详细信息

归纳逻辑程序设计(ILP)是机器学习与逻辑程序设计技术发展并结合而产生的新的研究领域.该文主要致力于ILP的理论基础及其算法的研究,着重讨论归纳逻辑程序设计的语义理论及其实现方法、归纳假设的构造与计算复杂性、极小一般普化方法、最大一般特化方法以及智能系统中的一阶知识应用方法等.主要研究内容与成果如下:(1)研究了ILP的语义及其实现方法问题;(2)研究了归纳假设的构造问题;(3)研究了极小一般普化问题;(4)研究了最大一般特化问题;(5)在应用研究方面,将一阶知识的自动推理与归纳有机地结合起来,形成一个较为完整的一阶智能系统解决方案并同时实现ILP的应用.

关键词：知识工程机器学习归纳逻辑程序设计逻辑程序语义归纳操作

来源：评论

学校读者我要写书评

暂无评论

遗传归纳逻辑程序设计的个体编码生长现象

引用

计算机研究与发展 2003年第8期40卷 1238-1243页

作者：杨新武刘椿年北京工业大学计算机学院多媒体与智能软件北京市重点实验室北京100022

遗传归纳逻辑程序设计 (GILP)的个体编码生长现象严重影响了算法的性能和规则的可读性通过对变长编码的模式分析 ,解释了GILP的个体编码生长现象并发现 ,若从初始种群开始添加长度惩罚项来解决个体编码生长问题 ,种群会出现退化现象... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机工程 2003年第19期29卷 6-7,25页

作者：郑磊刘椿年贾东北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室北京100022

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机工程 2003年第5期29卷 8-9,15页

作者：杨新武刘椿年北京工业大学计算机学院多媒体与智能软件北京市重点实验室北京100022

采用遗传算法(GA)作为归纳逻辑程序设计(ILP)的搜索策略，可以提高ILP方法的鲁棒性和适应性。文章简要叙述了对作者提出的遗传归纳逻辑程序设计(GILP) 算法作的改进，测试了选择策略对GILP算法收敛性能的影响。采用不同的选择策略不会... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

归纳逻辑程序设计在数据库知识发现中的应用研究

归纳逻辑程序设计在数据库知识发现中的应用研究

引用

作者：边嘉耕北京工业大学

学位级别：硕士

我的论文题目是“归纳逻辑程序设计（ILP）在数据库知识发现中的应用研究”，属于国家863计划资助的研究项目的一部分，本文是对这两年来工作的总结。随着数据库技术的迅速发展以及数据库管理系统的广泛应用，现实世界积累了越来越... 详细信息

我的论文题目是“归纳逻辑程序设计（ILP）在数据库知识发现中的应用研究”，属于国家863计划资助的研究项目的一部分，本文是对这两年来工作的总结。随着数据库技术的迅速发展以及数据库管理系统的广泛应用，现实世界积累了越来越多的数据，如何从这些数据中得到隐含的有价值的信息和知识，就成为一个迫切需求和非常艰巨的任务。目前的数据库系统擅长于事务性处理，但对分析性处理，即发现数据中存在的关系和规则，根据现有的数据预测未来的发展趋势，缺乏有效挖掘数据背后隐藏的知识的手段。数据库中的知识发现（Knowledge Discovery in Databases，KDD）就是把数据库管理系统和人工智能中的各种算法结合起来发现隐藏在大量数据中知识的一个新研究方向。本文在剖析机器学习中归纳逻辑程序设计系统的基础上，分析了归纳逻辑程序设计系统和数据库系统结合的三种方法，给出了数据库和谓词之间的映射关系，并在此基础上完成了数据库管理系统与归纳逻辑程序设计系统松散耦合的接口，实现了一个子句级紧耦合的知识发现系统原型（KDDGOL），该原型具有通用性，表达能力强和多表学习等特点。目前归纳逻辑程序设计在数据库知识发现中的应用研究我们在国内还未见到，国际上也只有少数的研究机构在进行（如德国Morik等的RDT/DB系统），KDDGOL系统是我们把归纳逻辑程序设计和数据库结合向实用化推进的一个有意义的尝试。在实施过程中由于考虑到系统的效率和可行性，对模式说明（即假设偏向bias）做了较严格的限制，相对于一般的归纳逻辑程序设计系统表达能力弱一些，同时对于现实中的数据库存在噪音等问题，需要进一步工作去完善。

关键词：数据库数据库系统归纳逻辑程序设计数据库中的知识发现数据库知识发现 KDD 知识发现系统 ILP

来源：评论

学校读者我要写书评

暂无评论

归纳逻辑程序设计在数据库知识发现中的应用研究

归纳逻辑程序设计在数据库知识发现中的应用研究

引用

作者：边喜耕北京工业大学

学位级别：硕士

该文在剖析机器学习归纳逻辑程序设计系统的基础上,分析了归纳逻辑程序系统和数据系统结合的三种方法,给出了数据库和谓词之间的映射关系,并在此基础上完成了数据库管理系统与归纳逻辑程序设计系统松散耦合的接口,实现了一个子句级紧耦... 详细信息

该文在剖析机器学习归纳逻辑程序设计系统的基础上,分析了归纳逻辑程序系统和数据系统结合的三种方法,给出了数据库和谓词之间的映射关系,并在此基础上完成了数据库管理系统与归纳逻辑程序设计系统松散耦合的接口,实现了一个子句级紧耦合的知识发现系统原型?KDDGOL),该原型具有通用性,表达能力强和多表学习等特点.

关键词：数据库管理系统归纳逻辑程序设计数据库知识发现

来源：评论

学校读者我要写书评

暂无评论

归纳逻辑程序设计系统向约束方向的扩充

归纳逻辑程序设计系统向约束方向的扩充

引用

作者：夏姗姗北京工业大学

学位级别：硕士

我的硕士论文课题“归纳逻辑程序设计系统向约束方向的扩充”是国家自然科学基金资助项目“约束归纳逻辑程序设计的研究”的一部分。逻辑程序设计（Logic Programming，简称LPL）基于一阶谓词逻辑的Horn子集，其丰富的表达能力极大... 详细信息

我的硕士论文课题“归纳逻辑程序设计系统向约束方向的扩充”是国家自然科学基金资助项目“约束归纳逻辑程序设计的研究”的一部分。逻辑程序设计（Logic Programming，简称LPL）基于一阶谓词逻辑的Horn 子集，其丰富的表达能力极大地促进了知识处理、人工智能等应用领域的进一步发展。约束逻辑程序设计（Constraint Logic Programmng，简称CLP）是计算机科学中具有战略意义的研究方向之一。约束逻辑程序设计将约束求解技术和逻辑程序设计结合起来，用有关论域上的约束求解机制取代逻辑程序设计的合一机制，将逻辑推理应用于计算，表达能力丰富，十分接近自然语言。归纳逻辑程序设计（Inductive Logic Programming，简称ILP）是机器学习中的一个较新的研究领域。归纳逻辑程序设计可以看作LP的逆向求解，因为ILP是根据事实求规则，而LP是已知规则对问题真假做出判断。将ILP向约束方向扩充是一个具有重要意义和挑战性的研究工作。它将ILP 和CLP结合起来，形成约束归纳逻辑程序设计（Constraint Inductuve Logic Programming，简称CILP）这一崭新领域。现在我们所扩充的ILP系统Progol是由英国牛津大学Stephen Muggleton 教授所主持的研究小组研制的系统。该系统是目前国际上最具有代表性的ILP 系统。本文对Progol系统进行了源程序级的深入剖析，在此基础上将它扩充为能够学习出CLP程序的CILP系统。本文提出了一种从正负例和背景知识学习含有约束原子的一阶谓词公式的归纳逻辑程序设计方法。该方法是以Progol为基础，经过对它的研究剖析，加入我们自己提出的学习约束原子的新方法，使得在不需要用户诱导的情况下，系统直接经过正负例的比较与推导，得到一个覆盖正例而排斥负例的含约束原子的结论子句集。本文介绍了用该方法所实现的CILP系统，同时讨论了应用该方法的一些实例与进一步研究该问题的预期方向。今后，我们将对系统进一步扩展完善，使之成为一个具有更大实用范围的约束归纳逻辑程序设计系统。

关键词：归纳逻辑程序设计 CLP 背景知识子句长度 ILP Prolog

来源：评论

学校读者我要写书评

暂无评论

归纳逻辑程序设计初探

归纳逻辑程序设计初探

引用

作者：谢颖北京师范大学

学位级别：硕士

归纳逻辑程序设计是机器学习与逻辑程序设计的交叉领域。现代科技,特别是计算机技术的发展极大地推进了人类的发展进程,但是计算机也存在着一些局限性,于是产生了新的需求——使机器具有智能,人工智能的概念应运而生。机器学习是人工智... 详细信息

归纳逻辑程序设计是机器学习与逻辑程序设计的交叉领域。现代科技,特别是计算机技术的发展极大地推进了人类的发展进程,但是计算机也存在着一些局限性,于是产生了新的需求——使机器具有智能,人工智能的概念应运而生。机器学习是人工智能的重要研究领域之一,根据研究角度的不同,机器学习有多种方法,其中归纳学习是最常用的方法之一。当考虑归纳学习一阶规则的时候,产生了归纳逻辑程序设计这种方法。归纳逻辑程序设计所使用的逻辑工具并不是归纳逻辑,而是演绎逻辑中的子句逻辑,它包括合一消解推理系统和霍恩子句推理系统。其中有三个重要的概念:子句、赫尔布兰德解释、消解,它们分别涉及形式语言、语义和推演三方面的内容。归纳逻辑程序设计学习的任务是从给定的例子中学习一般理论。这种学习就是一个搜索正确理论的过程,其采用的基本操作是泛化和特化。一般来说,发现一个正确的理论总是要反复地通过特化和泛化的步骤调整一个理论使其适应于实例。根据搜索理论的方向不同,可以分为自上而下和自下而上的归纳逻辑程序设计系统,前者主要采用特化操作,后者则主要采用泛化操作。归纳逻辑程序设计的研究同逻辑和哲学有着密切的关系。虽然它所使用的逻辑工具并不是归纳逻辑,但是二者都是以归纳为研究对象并且都面临着归纳合理性的问题需要解决。除此之外,归纳逻辑程序设计的发展还受到了科学哲学的影响。当然,它在机器学习的发展中也发挥了重要的作用,成为机器学习中的核心研究领域。

关键词：归纳逻辑程序设计子句逻辑霍恩子句逻辑程序设计泛化特化

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：