决策蕴涵规范基.pdfVIP

第 1期 电 子 学 报 Vo1．43 No．1 2015年 1月 ACrAEIJECI1H0NICASINICA Jan． 2015 决策蕴涵规范基 翟岩慧，李德玉，曲开社 (山西大学计算机与信息技术学院，山西太原030006) 摘 要：主要给出一个决策蕴涵下的决策蕴涵规范基 ．首先给出决策前提的概念，然后生成以决策前提为前提 ， 决策前提相对于决策子背景的闭包为结论的决策蕴涵集——决策蕴涵规范基．证明了该决策决策蕴涵集是完备的，无 冗余的，并且是最优的，即在所有完备的决策蕴涵集中，决策蕴涵规范基所含的决策蕴涵数最少．最后给出了该决策蕴 涵基的生成算法 ．实验表明，决策蕴涵规范基可以很好地抑制冗余决策蕴涵的生成，比已有的决策蕴涵集也更为紧凑 和有效． 关键词： 决策蕴涵 ；规范基；概念格；最小生成子 中图分类号： TPI8 文献标识码： A 文章编号： 0372-2112(2015)01—0018—06 电子学报URL：http：／／www．~jouma1．org．ca DOI：10．3969／j．issn．0372—2112．2015．01．004 CanonicalBasisforDecisionImplications ZHAIYan—hui，LIDe—yu，QUKai-she (SchoolofComputer lnformotionTechnology，ShanxiUniversity，Taiyuan，Shonxi030006，China) Abstract： Inthispaperweintroducedthenotionofdecisionpremise，andformeddecisionimpficationswithdceisionpremis— esaspremi essandclosuresW．r．t．decisionsubcontextas consequences．ItWas proventhatsuchdecisionhnpficafionsconstitutehte so-calleddecisioncanonicalbasis，i．e．，itiscomplete，non-redundantandofminimalcardinalityamongallcomp leteestsofdecision implications ．W ealsodescribed’na ~gofithm togeneratedecision implicationcnaonical basisnadanalyzde timecomplexityofthis algorithm ．Experiments showde thatdecisioncnaonicalbasisCna greatlyreduceredundantdecisionimplicationsnadismoreefficient thna ohterdecisionimplicationbases． Keywords： decisionimplication；cnaonicalbasis；conceptlattice；minimalgenerator 的．完备的蕴涵集是数据集一个完整表示 ，而无冗余集 1 引言 用来表示该蕴涵集中没有冗余蕴涵，即该集合是数据集 形式概念分析 (FormalConceptAnalysis，FCA)是 R 的一个紧表示 ． WillellJ提出的一种从形式背景建立概念格来进行数据 决策背景和决策蕴涵是形