Abstract:The attribute logical formula descriptions of object granules based on the property-oriented concept and the object-oriented concepts are studied. The relationships between common attribute concept lattice and property-oriented concept lattice as well as common attribute concept lattice and object-oriented concept lattice are discussed. On the basis of the object granule description method of concept lattice of common attribute analysis, the object granule descriptions based on property-oriented concept lattice of possible attribute analysis and object-oriented concept lattice of necessary attribute analysis are given, respectively. Structural characterizations of attribute logic formulas are analyzed respectively, the semantic of these attribute logic formulas are exactly the extent of property-oriented concept or object-oriented concept. The attribute logical formula descriptions of object granules are helpful to construct the property-oriented and the object-oriented concept lattices.
[1] GANTER B, WILLE R. Formal Concept Analysis Mathematical Foundations. Berlin, Germany: Springer-Verlag, 1999. [2] 徐伟华,李金海,魏 玲,等.形式概念分析的理论与应用.北京:科学出版社, 2016. (XU W H, LI J H, WEI L, et al. Formal Concept Analysis Theory and Application. Beijing, China: Science Press, 2016.) [3] 李金海,吴伟志.形式概念分析的粒计算方法及其研究展望.山东大学学报(理学版),2017, 52(7): 1-12. (LI J H, WU W Z. Granular Computing Approach for Formal Concept Analysis and Its Research Outlooks. Journal of Shandong University(Natural Science), 2017, 52(7): 1-12.) [4] 苗夺谦,张清华,钱宇华,等.从人类智能到机器实现模型——粒计算理论与方法.智能系统学报, 2016, 11(6): 743-757. (MIAO D Q, ZHANG Q H, QIAN Y H, et al. From Human Intelligence to Machine Implementation Model: Theories and Applications Based on Granular Computing. CAAI Transactions on Intelligent Systems, 2016, 11(6): 743-757.) [5] PEDRYCZ W. Granular Computing: An Emerging Paradigm. Berlin, Germany: Springer-Verlag, 2001. [6] KUZNETSOV S O, OBIEDKOV S. Comparing Performance of Algorithms for Generating Concept Lattices. Journal of Experimental and Theoretical Artificial Intelligence, 2002, 14(2): 189-216. [7] BAKLOUTI F, GRARVY R. A Fast and General Algorithm for Galois Lattices Building. Journal of Symbolic Data Analysis, 2005, 3(1): 19-31. [8] ZOU L G, ZHANG Z P, LONG J. A Fast Incremental Algorithm for Constructing Concept Lattices. Expert Systems with Applications, 2015, 42(9): 4474-4481. [9] 范淑媛,王黎明,姜 琴,等.概念格的分布式集成算法研究.计算机科学, 2016, 43(6): 223-228, 275. (FAN S Y, WANG L M, JIANG Q, et al. Research of Distributed Integration Algorithm on Concept Lattices. Computer Science, 2016, 43(6): 223-228, 275.) [10] 智慧来.不完备形式背景上的知识表示.计算机科学, 2015, 42(1): 276-278. (ZHI H L. Knowledge Representation on Incomplete Formal Context. Computer Science, 2015, 42(1): 276-278.) [11] 智慧来.面向异构数据分析的形式概念分析扩展模型.电子学报, 2013, 41(12): 2451- 2455. (ZHI H L. Extended Model of Formal Concept Analysis Oriented for Heterogeneous Data Analysis. Acta Electronica Sinica, 2013, 41(12): 2451-2455.) [12] COLE R, EKLUND P W. Scalability in Formal Concept Analysis. Computational Intelligence, 1999, 15(1): 11-26. [13] EKLUND P W, MARTIN P. WWW Indexation and Document Navigation Using Conceptual Structures // Proc of the 2nd IEEE Conference on Intelligent Information Processing Systems. Washington, USA: IEEE, 1998: 217-221. [14] LI Q G, GUO L K. Formal Query Systems on Contexts and a Representation of Algebraic Lattices. Information Sciences, 2013, 239: 72-84. [15] XIE J P, YANG M H, LI J H, et al. Rule Acquisition and Optimal Scale Selection in Multi-scale Formal Decision Contexts and Their Applications to Smart City. Future Generation Computer Systems, 2018, 83: 564-581. [16] ZHI H L, LI J H. Granule Description Based on Formal Concept Analysis. Knowledge-Based Systems, 2016, 104: 62-73. [17] 智慧来,李金海.基于必然属性分析的粒描述.计算机学报, 2018, 41(12): 2702-2719. (ZHI H L, LI J H. Granule Description Based on Necessary Attribute Analysis. Chinese Journal of Computers, 2018, 41(12): 2702-2719) [18] 闫梦宇,李金海.概念格共有与独有属性(对象)的关系研究.计算机科学与探索, 2019, 13(4): 702-710. (YAN M Y, LI J H. Research on Relationship between Common and Unique Attributes(Objects) of Concept Lattice. Journal of Frontiers of Computer Science and Technology, 2019,13(4): 702- 710.) [19] DÜNTSCH I, GEDIGA G. Approximation Operators in Qualitative Data Aanalysis // DE SWART H, ORLOWSKA E, SCHMIDT G, et al., eds. Theory and Applications of Relational Structures as Knowledge Instruments. Berlin, Germany: Springer-Verlag, 2003: 214-230. [20] 罗佳琪,吴 霞,张家录,等.基于形式概念的对象粒的属性逻辑公式描述.模糊系统与数学, 2020, 34(1): 41-48. (LUO J Q, WU X, ZHANG J L, et al. The Description of Object Granules by Using Attribute Logic Formulas Based on Formal Concept. Fuzzy Systems and Mathematics, 2020, 34(1): 41-48.) [21] 张家录,吴 霞,钟嘉鸣,等.分层概念格的上卷和下钻构造算法研究.模式识别与人工智能, 2018, 31(4): 310-321. (ZHANG J L, WU X, ZHONG J M, et al. Roll-up and Drill-down Building Algorithms of Layered Concept Lattice. Pattern Recognition and Artificial Intelligence, 2018, 31(4): 310-321.) [22] 陈庆燕.Bordat概念格构造算法的改进.计算机工程与应用, 2010, 46(35): 33-35, 38. (CHEN Q Y. Improvement on Bordat Algorithm for Constructing Concept Lattice. Computer Engineering and Applications, 2010, 46(35): 33-35, 38.) [23] 吴 霞,张家录,王鲁达.命题逻辑公式模糊软集语义及其在决策分析中的应用.模式识别与人工智能, 2018, 31(3): 208-218. (WU X, ZHANG J L, WANG L D. Fuzzy Soft Set Semantics of Propositional Logic Formulas and Its Application to Decision Analysis. Pattern Recognition and Artificial Intelligence, 2018, 31(3): 208-218.) [24] WANG G J, ZHOU H J. Quantitative Logic. Information Science, 2009, 179(3): 226-247.