属性定向概念格的协调近似表示空间

南京大学学报(自然科学版) ›› 2017, Vol. 53 ›› Issue (2): 333–.

属性定向概念格的协调近似表示空间

李俊余1，2，王　霞1，2*，刘庆凤3

出版日期:2017-03-26 发布日期:2017-03-26
作者简介:1.浙江海洋大学数理与信息学院，舟山，316022；2.浙江省海洋大数据挖掘与应用重点实验室，舟山，316022；3．山东水利职业学院基础教学部，日照，276826
基金资助:
基金项目：国家自然科学基金(61202206) 收稿日期：2016－12－04 *通讯联系人，E-mail：bblylm@126.com

Consistent approximate representation space for property oriented concept lattices

Li Junyu1，2，Wang Xia1，2*，Liu Qingfeng3

Online:2017-03-26 Published:2017-03-26
About author:1.School of Mathematics，Physics and Information Science，Zhejiang Ocean University，Zhoushan，316022，China； 2．Key Laboratory of Oceanographic Big Data Mining & Application of Zhejiang Province，Zhoushan，316022，China； 3．Basic Teaching Department，Shandong Water Polytechnic，Rizhao，276826，China

摘要/Abstract

摘要： 构造形式背景、协调决策形式背景和不协调决策形式背景的统一模型，并提出不同形式背景的概念格的属性约简的定义和方法．首先，定义对象幂集上的一种等价关系，并利用该等价关系给出属性定向概念格的协调近似表示空间的概念．其次，针对不同形式背景构造相应地协调近似表示空间．特别地，构造不协调决策形式背景的四类协调近似表示空间，分别为分布协调近似表示空间、最大分布协调近似表示空间、下协调近似表示空间和上协调近似表示空间．最后，给出协调近似表示空间的属性约简的定义，并利用可辨识矩阵给出属性约简集的判定定理．分析表明，形式背景和决策形式背景(包括协调的和不协调的)都可看作是协调近似表示空间的特殊形式，且形式背景的属性约简恰好对应协调近似表示空间的属性约简．因此，协调近似表示空间的属性约简方法可以在一定程度上降低由形式背景的复杂性带来的概念格的属性约简的复杂性．

Abstract: Formal concept analysis is an effective tool for data analysis，knowledge discovery and information management.This paper mainly studies a unified structure for a formal context，a consistent formal decision context as well as an inconsistent formal decision context based on a property oriented concept lattice，and proposes a new approach to attribute reduction for property oriented concept lattices of different kinds of formal contexts.Using equivalence relations defined on the object power set，an approximate representation space is first introduced for a formal context，which is a quadruple including an object set，an attribute set，a family of equivalence relations on the object power set and an equivalence relation on the object power set.And then the notion of consistency of the approximate representation space is defined.Moreover，consistent approximate representation spaces are constructed corresponding to a formal context，a consistent formal decision context and an inconsistent formal decision context，respectively.In particular，four types of approximate representation spaces are defined for an inconsistent formal decision context，which are distribution approximate representation space，maximum approximate representation space，lower approximate representation space and upper approximate representation space.It is shown that a formal context，a consistent formal decision context and an inconsistent formal decision context are all special cases of consistent approximate representation spaces.Finally，a notion of attribute reduction is defined for consistent approximate representation spaces，and an approach to attribute reduction to calculate all attribute reducts is presented by means of discernibility matrices.It is proved that attribute reduction of six types of consistent approximate representation spaces are just corresponding to attribute reduction of a formal context，a consistent formal decision context and an inconsistent formal decision context.The result indicates that attribute reduction of consistent approximate representation space can be regarded as the unified approach to attribute reduction of different kinds of formal contexts，which can reduce the complexities of attribute reduction produced by differences of formal contexts.

李俊余1，2，王　霞1，2*，刘庆凤3. 属性定向概念格的协调近似表示空间[J]. 南京大学学报(自然科学版), 2017, 53(2): 333–.

Li Junyu1，2，Wang Xia1，2*，Liu Qingfeng3. Consistent approximate representation space for property oriented concept lattices[J]. Journal of Nanjing University(Natural Sciences), 2017, 53(2): 333–.

参考文献

[1]　Wille R．Restructuring lattice theory：An approach based on hierarchies of concepts.Dordrecht?Boston：Reidel Publishing Company，1982，445－470. [2] Ganter B，Wille R．Formal concept analysis：Mathematical foundations.New York：Springer?Verlag，1999，284. [3] Zhang W X，Wei L，Qi J J．Attribute reduction theory and approach to concept lattice.Science in China Series：F?Information Science，2005，48(6)：713－726. [4] Zhang W X，Wei L，Qi J J．Attribute reduction in concept lattice based on discernibility matrix.Lecture Notes in Artificial Intelligence，2005，157－65. [5] 张文修，仇国芳．基于粗糙集的不确定决策．北京：清华大学出版社，2005，275. [6] 魏　玲，祁建军，张文修．决策形式背景的概念格属性约简．中国科学E辑：信息科学，2008，38(2)：195－208.(Wei L，Qi J J，Zhang W X．Attribute reduction in concept lattices based on formal decision contexts.Science in China Series E：Information Sciences，2008，38(2)：195－208.) [7] Liu M，Shao M W，Zhang W X，et al.Reduction method for concept lattices based on rough set theory and its application.Computers and Mathematics with Applications，2007，53：1390－1410. [8] Wang X，Ma J M．A novel approach to attribute reduction in concept lattices.Lecture Notes in Artificial Intelligence，2006：522－529. [9] Wang X，Zhang W X．Relations of attribute reduction between object and property oriented concept lattices.Knowledge?Based Systems，2008，21(5)：398－403. [10] Wu W Z，Leung Y，Mi J S．Granular computing and knowledge reduction in formal contexts.IEEE Transactions on Knowledge and Data Engineering，2009，10(21)：1461－1474. [11] Mi J S，Leung Y，Wu W Z．Approaches to attribute reduction in concept lattices induced by axialities.Knowledge?Based Systems，2010，23：504－511. [12] Li J H，Mei C L，Lv Y J．Knowledge reduction in decision formal contexts.Knowledge?Based Systems，2011，24(5)：709－715. [13] Li J H，Mei C L，Lv Y J．Knowledge reduction in formal decision contexts based on an order?preserving mapping.International Journal of General Systems，2012，41(2)：143－161. [14] Li J H，Mei C L，Lv Y J．Knowledge reduction in real decision formal contexts.Information Sciences，2012，189：191－207. [15] Li L J，Mi J S，Xie B．Attribute reduction based on maximal rules in decision formal context.International Journal of Computational Intelligence Systems，2014，7(6)：1044－1053. [16] Shao M W，Leung Y，Wu W Z．Rule acquisition and complexity reduction in formal decision contexts.International Journal of Approximate Reasoning，2014，55(1)：259－274. [17] 李进金，张燕兰，吴伟志等．形式背景与协调决策形式背景属性约简与概念格生成．计算机学报，2014，37(8)：1768－1774.(Li J J，Zhang Y L，Wu W Z，et al.Attribute reduction for formal context and consistent decision formal context and concept lattice generation.Chinese Journal of Computers，2014，37(8)：1768－1774.) [18] Wang X．Approaches to attribute reduction in concept lattices based on rough set theory.International Journal of Hybrid Information Technology，2012，5(2)：67－80. [19] Wang X，Wu W Z．Attribute reduction in formal decision contexts based on congruence relations.Information，2013，16(12A)：8277－8283. [20] Wang X，Wu W Z．Approximate reduction in inconsistent formal decision contexts.In：Lin T Y，Hu X H，Wu Z H，et al.2012 IEEE International Conference on Granular Computing.New York：IEEE Press，2012：616－621. [21] Li J Y，Wang X，Wu W Z，et al.Attribute reduction in inconsistent formal decision contexts based on congruence relations.Internation Journal of Machine Learning and Cybernetics，DOI：10.1007_s13042－016－0586－z. [22] Li J H，Kumar C A，Mei C L，et al.Comparison of reduction in formal decision contexts.International Journal of Approximate Reasoning，DOI：10.1016/j.ijar.2016.08.007. [23] 李俊余，王　霞．对象定向概念格的不协调决策约简．南京大学学报(自然科学)，2016，52(5)：853－860.(Li J J，Wang X．Inconsistent decision reduction of object oriented concept lattices.Journal of Nanjing University(Natural Sciences)，2016，52(5)：853－860.) [24] 贺明利，魏　玲．基于优势关系序形式背景的约简．计算机科学，2015，42(6)：46－56.(He M L，Wei L．Reduction of ordered formal context based on dominance relation.Computer Science，2015，42(6)：46－56.) [25] 石　慧，魏　玲．面向对象(属性)概念格的布尔表达．南京大学学报(自然科学)，2015，51(2)：415－420.(Shi H，Wei L．Boolean expression of object(property)?oriented concept lattice.Journal of Nanjing University(Natural Sciences)，2015，51(2)：415－420.) [26] Yao Y Y．A comparative study of formal concept analysis and rough set theory in data analysis.In：Tsumoto S，Slowiński R，Komorowski J，et al.The 3rd International Conference Rough Sets and Current Trends in Computing.Springer?Verlag Berlin Heidelberg，2004：59－68.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed