第卷期计算机学报３２ ８Ｖｏｌ．年月０９ＣＨＩＮＥＳＪＯＵＲＡＬＦＭＰＴｕｇ于幂图的属性约简搜索法同济大技术系上海嵌入统服务育部重实验室摘是一种新处不精确完全致数据工具内容之已有代表示信息问在知下其求解难度文中从变手提出了该—给把转化分析效供条途径关键词类号／犇犗犐犛犲犪狉犮犺犻狀犃犾狅狋犿犳犫狌犚犱犅狊犘狑犌犵狆ＹｎＤＱ犆犜狔犼犝狏犓犔犈犕ｈｓｔｒｗｄｐｆｘｖｋ用获取引言核心组成许者对进行量现波兰体可正区［］近来器习差矩阵此础挖掘及多个广泛应收稿日：；最终修改到本课题得国家自然科基金（，）、博士点专项研７１５６４资助陈玉明男生究讲师主要方向为粗糙集理论与模式识别等ｍａｉｃｙ＠苗夺谦教授导领域粒智能Ｗｅｂ书
期玉７［９］息熵的属性约简算法、基于互信决策表再１０和条件等．但这些都不是图搜索式设知识示方研究人工智能中心内容…则犡犿之一对传统问题，任何比较复杂求解犌∑技术离开两面—与犻很多有公结构化陈述质２过程德国数学家Ｗｉｌｅ当年首先提出形概念分析（８ｆｏｒｍａｃｎｐｔ３）用发现排序显ｙｓ达到小种外者进行了大量把应４５理论使命利因此必要更单直观犆若象在础上宽度优深启证参见献势带回溯机制保存路径而可以根据已付代价下步最－佳包括系余否本文主子集间含关新幂该所组合给核作狅狉犲计转为明满足效犫≠及 ６定义称犐犛＝犝犃犞犳其非空限域；值：∪×→令犪∈个函即狓犢狀二元区犅｛犖犇狔｜｝／成划每类粒便时将记犼毕注逆未立特别地如果ω恒δ全且由
计算机学报年８９证明反法假设（）不成． 犐犖犇犅＝犆立，即；由则例示≠犮因为所以令／｛…｝犝犡１２犿犢狀｜＞∑犻犼知识粒度定义可犌７这和已结进行扩使保两量相矛盾故命题得毕另是一个信息系４犛犃犞犳统在中必要的多余属性其充犪∈子分条件－单调与３出来某犓如果邻接下都推论该且狅狉犲∪真５约简对有犫犽、及略集合幂６犘狑前面给向图顶点元素边满足：若犱说随着减＋∩少增越粗之存到称此细映加关划程把者起既根据易又体现空间拓扑于任意大小构了判将层别具犔０问转化搜索同组第
期陈玉样具体基于幂图的属性约简搜索式算法明确３ 子树犜知识表示方是问题求解所必需．为了进一步决从到，序能够好有个过程也就在这中使盲采用适当技术包括各种规则、和等准推理力找答寻路径初始结点出发目标续去满足定要可以最佳户数据实质上非常便地给两向行另ＴｏｐｄｗｎＢｔｍｕ顶层往下粒度由细粗直止核先然后逆面般（１ＳＡｅａｒｃｈｉｇｌ）ｆｂｓ输入：信息系统犐犛＝犝犃犞犳某或者建立只含起节把放犌叫未扩展计ＯＰＥＮ犵犇已其２ＣＬＤ空若退选择第它移４优次并称此狀按同时生成继临集合５根论犆狅狉犲犪∈－些员作添犕｛｝值构对那曾现即６［］设置通指针大加不存做检测否命７全部；转９？８任意启重排≠０Ｇ如流来
学报年按幂图逆向扩展节点，同时生成后继的临９．狀何不构造各样集合把这些员作为添入中犕犌具体分Ｔｏｐ对那未曾在出现过（即表１０ＯＰＥＮｄｗｎｔｍｕ或上和层找）ＣＬＳＤ宽度先深有无设置一个通指针并加进盲目而又某任意方式启发信息重排函准则２Ｇ带回溯机制保存了路径因以搜索程可用如所示算法流来３非常便地控此从核利行能得到约简次优种于例说明４离近数据快速系统其犐犛＝犝犃犞犳｛…｝狓５犪犫犮犱犲使假知识粒最小采括号内值星必再虚线也步已剪枝直下去６空比较两 ＢＡ照述基属性根求犆狅狉７序＋首计；然犇当等×
期陈玉等找到了一个约简从图中可以看出，｛｝为其组成：判别否；．犪犫犮若继续下去第二再核、犲３还有定冗余的和这时比较也得故犱４最小…－共算法幂扩展５ ＢＳＡ示例说明见是种非常方便知识表式根据启发信息不同构造许多效即都率各搜索并且随意控制当向进程就我们具体问题＜高来语６复杂度分析本文新—给把（）空间１转化直观系统占用求所或者｜犝犃形象现过优采则按宽Ｔ解供条途径理论坏情况整总结点数地２犗＋因此步工作利某次深研究更好层每保留致谢衷心感匿名审稿人宝贵建议！粒义计参考献［］ａｗｌｋＺＲｏｕｇｈｓｅｔＩｎｒｉＪｆＣｍｐｄｃ９８般ｂ相ｙ７呈指增长但基于ＮＰＬＱｊ行剪枝０在上改刘清集及推北京科学版社提很大取决ＷＧＹｖ重排ＯＥＤ如果函属性要那么由两部
年 ［］，６ＬｉｕＳｈａｏＨｅｎｇＱＪＷＢｔｌ．Ｒｓｒｃｆ国胤于洪杨大春基条熵决策ｍｄＣ（）：ｐ２０３５４９刘少辉盛秋戬吴斌等集理论高效算法的研究ＺＸ计机学报ＥｊＵ７ｋｗＡｚＴｂｙ／蔡自兴徐光人工智能及其应用第版北京清ＩＤ华出社ｖＫＰ１８ＯｘＭＮＦ苗夺谦王珏粗糙中概念与运信息表示软件Ｇ＆胡桂荣知识约简一种启发式—展范世栋粒度系统程Ｙ实践犆犎犈犖犢狌犕犻狀犵犐犃犗犇狅犙犪犅犮犽狉犱ｑ
