Abstract：The constrained concept lattice is one type of concept lattice. It is constructed according to the background knowledge of usersinterest and knowledge on dataset. In this paper, the algebraic system of the constrained concept lattice is presented by defining operations of supremum and infimum among the constrained concept lattice nodes, and its algebra properties and completeness of knowledge representation are proved, thus the theoretical basis is established for the application of the constrained concept lattice.
[1] Wille R. Restructuring Lattice Theory: An Approaches Based on Hierarchies of Concepts // Rival I ed.Ordered Sets. Dordrecht, Netherlands: Reideal, 1982: 445-470 [2] Belen D A, Pedro A. Formal Concept Analysis as a Support Technique for CBR. Knowledge-Based Systems, 2001, 14(3): 163-171 [3] Park Y. Software Retrieval by Samples Using Concept Analysis. Journal of Systems and Computer, 2000, 54(3): 179-183 [4] Chu S, Cesnik B. Knowledge Representation and Retrieval Using Conceptual Graphs and Free Document Self-Organisation Techniques. International Journal of Medical Informatics, 2001, 62(2/3): 121-133 [5] Carpineto C, Romano G. A Lattice Conceptual Clustering System and Its Application to Browsing Retrieval. Machine Learning, 1996, 24(2): 95-122 [6] Godin R, Missaoui R. An Incremental Concept Formation Approach for Learning from Databases. Theoretical Computer Science, 1994, 133(2): 387-419 [7] Xie Zhipeng, Liu Zongtian. A Fast Incremental Algorithm for Building Concept Lattice. Chinese Journal of Computers, 2002, 25(5): 490-495 (in Chinese) (谢志鹏,刘宗田.概念格的快速渐进式构造算法.计算机学报, 2002, 25(5): 490-495) [8] Hu Keyun, Lu Yucang, Shi Cunyi. Advances in Concept Lattice and Its Application. Tsinghua Science and Technology: Natural Science, 2000, 40(9): 77-81 (in Chinese) (胡可云,陆玉昌,石纯一.概念格及其应用进展.清华大学学报:自然科学版, 2000, 40(9): 77-81) [9] Zhang Jifu, Zhang Sulan, Hu Lihua. Constrained Concept Lattice and Its Construction Method. CAAI Trans on Intelligent Systems, 2006, 1(2), 31-38 (in Chinese) (张继福,张素兰,胡立华.约束概念格及其构造方法.智能系统学报, 2006, 1(2): 31-38) [10] Zhang Jifu, Jiang Yiyong, Hu Lihua, et al. A Concept Lattice Based Recognition Method of Celestial Spectra Outliers. Acta Automatica Sinica, 2008, 34(9): 1060-1066 (in Chinese) (张继福,蒋义勇,胡立华,等.基于概念格的天体光谱离群数据识别方法.自动化学报, 2008, 34(9): 1060-1066) [11] Zhao Yan, Yao Yiyu. Classification Based on Logical Concept Analysis // Proc of the 19th Conference of the Canadian Society for Computational Studies of Intelligence. Québec, Canada, 2006: 419-430 [12] Zaki M J, Hsiao C J. Efficient Algorithms for Mining Closed Itemsets and Their Lattice Structure. IEEE Trans on Knowledge and Data Engineering, 2005, 17(4): 462-478 [13] Zhang Jifu, Zhang Sulan, Jiang Yiyong. The Local Outliers Mining System of Celestial Body Spectrum Based on Constrained Concept Lattice. Spectroscopy and Spectral Analysis, 2009, 29(2): 551-555 (in Chinese) (张继福,张素兰,蒋义勇.基于约束概念格的天体光谱局部离群数据挖掘系统.光谱学与光谱分析, 2009, 29(2): 551-555) [14] Kent R E. Rough Concept Analysis // Proc of the International Workshop on Rough and Knowledge Discovery. Banff, Canada, 1994: 248-255 [15] Chen Shiquan, Cheng Lichun. Fuzzy Concept Lattice. Fuzzy System and Mathematics, 2002, 16(4): 12-18 (in Chinese) (陈世权,程里春.模糊概念格.模糊系统与数学, 2002, 16(4): 12-18) [16] Zhang Wenxiu, Wei Ling, Qi Jianjue. Attribute Reduction in Concept Lattice. Science in China: Series E, 2005, 35(6): 628-639 (in Chinese) (张文修,魏 玲,祁建军.概念格的属性约简理论与方法.中国科学E辑, 2005, 35(6): 628-639) [17] Nourine L, Raynaud O. A Fast Algorithm for Building Lattices. Information Processing Letters,1999, 71(5/6):199-204 [18] Zhang Jifu, Zhang Sulan, Zheng Lian. Weighted Concept Lattice and Incremental Construction. Pattern Recognition and Artificial Intelligence, 2005, 18(2): 171-176 (in Chinese) (张继福,张素兰,郑 链.加权概念格及其渐进式构造.模式识别与人工智能, 2005, 18(2): 171-176) [19] Han Jiawei, Lakshmanan V S, Ng R T. Constraint-Based Multidimensional Data Mining. Computer, 1999, 32(8): 46-50 [20]Radim B,Vilém V. Formal Concept Analysis with Constraints by Closure Operators // Proc of the 14th International Conference on Conceptual Structures. Aalborg, Denmark, 2006: 131-143 [21] Zuo Xiaoling. Discrete Mathematics. Shanghai, China: Shanghai Scientific and Technical Literature Press, 1981 (in Chinese) (左孝凌.离散数学.上海:上海科学技术文献出版社, 1981)
2010, Vol. 23 
