遗传归纳逻辑程序设计中规则的位串表示法.PDF

遗传归纳逻辑程序设计中规则的位串表示法.PDF

  1. 1、本文档共6页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
遗传归纳逻辑程序设计中规则的位串表示法

第27卷第3期 北京工业大学学报 Vol27Nm3 2001年9月 JoURNALOFBEUINGPoLⅥK蝴咀CUNIVERS丌Y Sem2001 遗传归纳逻辑程序设计中规则的位串表示法 杨新武,刘椿年 (北京工业大学计算机学院,北京100022) 摘要:为了利用GA来解决ILP方法中的性能瓶颈问题,关键在于如何把ILP的一阶规则编码为遗传算子可 操作的位串形式.提出了一种新的用于遗传算法((执)的一阶规则位串表示法.示例分析表明.这是一种结合 GA算法和ILP技术的有效的规则位串表示法. 关键词: 遗传算法;逻辑程序;位串表示 391.2 中圈分类号:TP 文献标识码:A 文章编号: 0254_0037(200I)03—0297一06 数据挖掘(DM)技术是当前计算机科学研究的热点之一.ILP是利用逻辑的手段进行学习的机器学 习方法,可以从大量的数据中挖掘出描述某个目标函数的一阶规则集.ILP建立在一阶逻辑的基础上,为 ILP提供了大量的已被透彻理解的概念、技术和理论.一阶逻辑也为ILP提供了一致的和非常有表达力的 表示手段:背景知识和例子以及归纳得到的理论(一阶规则集)都可以被表示为子句语言的公式,所以在学 习中可以非常自然地采用背景知识.而且学到的知识表示为一定的谓词构成的规则和事实,容易被人们 理解,所以ILP成为DM技术中一种渐受重视的新方法…. GA是基于达尔文进化论,在计算机上模拟生命进化机制而发展起来的随机化的并行搜索算法,用于 传统数学难以解决或明显失效的复杂的规划和优化问题.算法仅需要处理对参数集进行了编码的个体和 计算个体的适应度值,对问题本身没有过多要求,如是否可导,连续、单峰分布等.所以遗传算法使用简 单,具有较好的全局搜索能力,鲁棒性强,易于并行化,应用范围广,适合于解决ILP方法中规则获取的性 能瓶颈问题‘2“1. 在GILP方面已出现了一些研究旧“,但由于一阶谓词逻辑自身的复杂性,尚没有发现通用的逻辑程序位 串表示.而遗传算法已有的理论和成果,如著名的模式定理和隐并行性等大多建立在位串表示的基础上· 为了利尉已有的理论和研究成果进行指导和分析,有必要把逻辑程序表示为位串形式.作者提出了一种 结合归纳逻辑程序设计和遗传算法的新的规则位串编码方法. 1归纳逻辑程序设计(ILP) ILP研究在子旬逻辑的框架内从例子中学习理论;例子和背景知识用子句给出,从中归纳得到的理论 也由子句构成.一种重要的情况涉及学习一阶Hom子句.下面先给出ILP所用的一阶谓词的部分定义, 完整定豆可参见所给的文献. 1.1一险谓词的部分定义“。71 定妫变量^y、“、v、w等,常数口、6、c等,函数糟|,、小^等,渭词都、口、r等. 收稿日期:20叭-01.04. 作者简介:杨新武(197卜),男,博士生;刘椿年(1944-),男,教授,博士生导师. 万方数据 298 北京工业大学学报 2001年 定义2 变量,常数是项.若,为n元函数符,,.,…,r。为项,则,(,,,…。。)也是项. 定义3 若p为元谓词符,f,…,f.项,则p(f.,…。。)称为原子. 定义4 原子或原子的非称为句节;原子称正句节,原子的非称为负旬节. 定义5 子句是句节的有限集合,表示句节的析取.可以把{一.v…v一.v,口.v…v一曰}无 二义性地写为:■.,…,■,一B.,…,E. 定义6 若限制t≤1,就得到Hom子句:一一E,…,且.其中爿称为头部或结论;口.,…,占。称为体或 条件.将Hom子旬写法变为』:~8.,…,口,就得到逻辑程序设计语言 定义7 原子L的一条规则月是头原子为L的Hom子句. 1.2标准的lLP问题环境㈣tting)… 给定:背景知识日(有限的子句集) 正铡E+(子句集) 。 负例f(子句集) 找到:理论∑(子句的有限集{c.,C,…}),使得三u占对于fand£一是正确(corfect)的,即 ①∑u占对于F+是完备

文档评论(0)

2105194781 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档