从合取范式到析取范式转换研究.pdfVIP

computerEn酉neenng帆d卸plicmions请纂嘲．j程与谴昆 从合取范式到析取范式的转换研究 智慧来1，智东杰1，刘宗田2 ZHl Huilail，ZHIDon画iel，LIUZongtian2 l河南理工大学计算机科学与技术学院，河南焦作454000 2．上海大学计算机工程与科学学院，上海200072 1．School Sci％ce拍d ofComputerTechnology，H饥勰Pol如∞hnicUniVe硌i吼Ji∞zuo，He咖454000，Chim 2．School Scie∞e，Sh孤ghaiuniVers咄sh觚ghai200072，chi衄 ofcomputerEngine耐ng锄d oncoⅡVersion ZHl fhm no珊mfomto normalfonm Huilai，zHIDongjie，LIu conjunctive zongtian．Research d埘unctive and ComputerEngineeringAppUcations，2012，48(2)：15-17． Abstract：Inordertocalculatethediscemableamctionof of latticeoff．o彻al roughset，intent捌uctionc蛐cept c∞ce口t锄alvsis弛d in conve幅ionf．rom Nonllal mle Fo衄(cNF)toNonnalFo加(DNF) simplificationlogicpmgramdesign，that ConjllIlction Disj咖ction is asacritical miniIIlal t11econversionf．romCNFt0DNFand proposed pmblem．Byusing coverrealize give釉incrementalalg耐tllm． Inorder ttleuseofnonTlal a t11econVersionmethod D№ to“p锄d fo册conversion，definepseudo-CNF锄dgiVe fo咖pseudo-C卜砸t0 no锄al nomal fomconversion fo珊；mininlal l(eywords：conjunctivefom；disjunctive cover；nomal 摘要：为了解决粗糙集分辨函数的计算、概念格中内涵缩减的计算、逻辑程序设计的规则简化等问题，抽象出了从合取范式到 析取范式转换这一核心问题。提出了利用极小覆盖来实现从合取范式到析取范式的转换，给出了一个增量式的算法．为了扩大 范式转换的使用范围，定义了伪合取范式，并给出伪合取范式到析取范式的转换方法。 关键词：合取范式；析取范式；极小覆盖；范式转换 文章编号：1002．833l(2012)02．0015．03文献标识码：A 中图分类号：TPl8 DOI：10．3778组is蚰．1002．8331．2012．02．005 l引言 过设计合理的范式转换算法来减少算法的运行时间，实现快 在粗糙集合理论中属性约简居于核心地位，一直是研究 速的范式转换Mj。文献【8】提出了一种面向分辨函数的范式转 换算法，主要是依据人工范式转换的运行机制，充分利用合取运 的热