Next Article in Journal
Generalized MGT Heat Transfer Model for an Electro-Thermal Microbeam Lying on a Viscous-Pasternak Foundation with a Laser Excitation Heat Source
Next Article in Special Issue
The Facial Expression Data Enhancement Method Induced by Improved StarGAN V2
Previous Article in Journal
D-Wave Superconducting Gap Symmetry as a Model for Nb1−xMoxB2 (x = 0.25; 1.0) and WB2 Diborides
Previous Article in Special Issue
EMSI-BERT: Asymmetrical Entity-Mask Strategy and Symbol-Insert Structure for Drug–Drug Interaction Extraction Based on BERT
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

The Linguistic Concept’s Reduction Methods under Symmetric Linguistic-Evaluation Information

1
Information Science and Technology College, Dalian Maritime University, Dalian 116026, China
2
School of Computer Science and Technology, Shandong Jianzhu University, Jinan 250101, China
3
Department of Computer Science, University of Jaen, 23071 Jaen, Spain
*
Authors to whom correspondence should be addressed.
Symmetry 2023, 15(4), 813; https://doi.org/10.3390/sym15040813
Submission received: 18 February 2023 / Revised: 15 March 2023 / Accepted: 21 March 2023 / Published: 27 March 2023
(This article belongs to the Special Issue Symmetry/Asymmetry and Fuzzy Systems)

Abstract

:
Knowledge reduction is a crucial topic in formal concept analysis. There always exists uncertain, symmetric linguistic-evaluation information in social life, which leads to high complexity in the process of knowledge representation. In order to overcome this problem, we are focused on studying the linguistic-concept-reduction methods in an uncertain environment with fuzzy linguistic information. Based on three-way decisions and an attribute-oriented concept lattice, we construct a fuzzy-object-induced three-way attribute-oriented linguistic (FOEAL) concept lattice, which provides complementary conceptual structures of a three-way concept lattice with symmetric linguistic-evaluation information. Through the granular concept of the FOEAL lattice, we present the corresponding linguistic concept granular consistent set and granular reduction. Then, we further employ the linguistic concept discernibility matrix and discernibility function to calculate the granular reduction set. A similar issue on information entropy is investigated to introduce a method of entropy reduction for the FOEAL lattice, and the relation between the linguistic concept granular reduction and entropy reduction is discussed. The efficiency of the proposed method is depicted by some examples and comparative analysis.

1. Introduction

Formal concept analysis, which was originally proposed by Wille [1], has proven to be a powerful tool for data analysis and knowledge processing. Its fundamental concept is to study the relationships between objects and attributes in a formal context, and to represent the implicit relationships between conceptual knowledge through the creation of a visual lattice structure. The concept lattice, as the core data structure of formal concept analysis, has been widely utilized in various fields with significant potential applications, including software engineering [2], data mining [3], knowledge discovery [4], and others [5,6,7].
The extension of formal concept analysis and its integration with other theories have seen significant research. Duntsch and Gediga [8] employed modal-style operators to propose an attribute-oriented concept lattice, and then Yao [9] gave an object-oriented concept lattice. Aiming at the data structure in a fuzzy environment, fuzzy concept lattices were also proposed [10,11]. In view of the advantage of three-way decisions that can give decisions with delayed decision making in the context of incomplete information, Qi and Yao et al. [12,13] proposed a three-way concept lattice that can express not only the case where objects share attributes, but also the case where objects do not share attributes. Based on that, researchers have achieved many goals. Qian et al. [14] investigated the connections between the object-oriented concept lattice, property oriented concept lattice, three-way object-oriented concept lattice, and three-way property oriented concept lattice. Hu and Wang et al. [15,16] proposed an algorithm for constructing a multi-granularity concept lattice and discussed the relationship between types of operators under multi-view data based on three-way concept analysis. Singh [17] discussed the incompleteness of fuzzy attribute set to generate a wise three-way fuzzy concept with a neutrosophic graph and a neutrosophic lattice. Xu et al. [18] designed a dynamic learning mechanism for processing continuous fuzzy data using a three-way concept lattice, which can update the concept information faster and effectively improve classification accuracy.
Knowledge reduction is an indispensable technique for improving the efficiency and effectiveness of concept lattice construction. The current main types of reduction can be divided into concept-lattice reduction, attribute reduction, and object reduction, whose primary purpose is to eliminate redundant information while keeping a condition unchanged. Making use of a discernibility matrix to obtain reduction is widespread due to the high compatibility of discernibility functions [19,20,21]. Meanwhile, types of attribute reduction methods were discussed by preserving the lattice structure, join(meet)-irreducible elements, and granular consistent set, respectively [22,23,24]. In addition, some scholars have extended attribute reduction methods to the formal decision context [25,26,27]. Chen et al. [28,29] investigated granular reduction and attribute reduction to overcome the limitations of large-scale data sets in terms of excessive spatial complexity. Qin et al. [30] used the equivalence relation to explore an attribute reduction of attribute (object)-oriented concept lattices. However, there always exists fuzzy and uncertain information in real life. How to deal with fuzzy data has always been an essential issue in machine learning [31,32,33,34,35]. Thus, studying knowledge reduction in a fuzzy formal context is necessary. In order to avoid distorting the knowledge structure during the reduction process, Zhai et al. [36] presented fuzzy-attribute reduction based on Lukasiewicz adjoint operators and hedge. Singh et al. [37] calculated fuzzy concept weights based on Shannon entropy to propose a concept-reduction method with less complexity. Further studies [38,39] on matrix-based fuzzy attribute reduction were put forward in consistent formal fuzzy decision contexts, which provide a new direction for fuzzy three-way concept analysis.
In real-life applications, it is often challenging to provide precise values for evaluation due to the presence of uncertainty and complexity in the environment. Instead, evaluation information in natural language is often more relevant to human cognition. As a result, the decision problem of using symmetric and asymmetric linguistic variables for qualitative assessment has become a topic of significant interest [40,41,42,43,44,45]. Furthermore, taking advantage of natural language and formal concept analysis, Yang et al. [46] and Zou et al. [47,48] analyzed formal contexts with symmetric linguistic-evaluation information. However, from the analysis mentioned above, we can observe that there are still some challenges in linguistic formal concept analysis.
  • The formal concepts in classical formal concept analysis only express whether objects share attributes or whether attributes are shared by objects. In real life, it is not enough to study only these two relations between objects and attributes. Likewise, formal contexts with linguistic information face the same problem. Thus, other relationships that may exist between objects and linguistic concepts need to be discussed as well.
  • The construction of conceptual knowledge is inherently a complex challenge. There is easily a large amount of redundant information in the process of knowledge processing, resulting in a high amount of computational complexity. Therefore, there is an urgent need to propose a reduction method that can reduce the complexity of linguistic concept knowledge.
  • Scholars have achieved many results in fuzzy formal concept analysis. A large amount of fuzzy information can exist in a linguistic environment, so studying the fuzzy linguistic concept formal context is necessary based on the challenges presented above.
In order to overcome the challenges, this paper investigates two linguistic concept reduction methods in a fuzzy linguistic concept formal context, and the main contributions are listed below.
  • Based on three-way concept lattice and modal operators with possibilities and necessity, a fuzzy-object-induced three-way attribute-oriented linguistic (FOEAL) concept lattice is proposed to express more information in a fuzzy linguistic concept formal context.
  • A novel linguistic-concept granular-reduction method based on the FOEAL lattice is designed to preserve granular concept information, which reduces the scale of conceptual knowledge in a linguistic environment.
  • In order to highlight the importance of linguistic-concept information, an entropy-reduction method based on the FOEAL lattice is also presented. We further verified that the set of this entropy reduction is consistent with those of the granular reduction.
  • The examples of the student-debate competition can confirm the rationality, and the comparative analysis provides strong evidence for the effectiveness of the proposed method.
The remainder of this paper is structured as follows. In Section 2, we review some basic notions of concept lattices and linguistic-term sets. In Section 3, we present a fuzzy-object-induced three-way attribute-oriented linguistic concept lattice and study the linguistic-concept granular-reduction method based on it. In Section 4, an entropy reduction method of a fuzzy-object-induced three-way attribute-oriented linguistic-concept lattice is presented, and its relationship to granular reduction is discussed. Section 5 provides a comparative analysis that demonstrates the superiority of our proposed method over other techniques. Finally, this paper is completed with a conclusion in Section 6.

2. Preliminaries

This section gives some basic notions on concept lattices and linguistic-term sets, then introduces some related work on linguistic-concept reduction.

2.1. Basic Notions on Concept Lattice

Definition 1. 
[9]. Let K = ( G , M , I ) be a formal context, where G = { x i | i 1 , 2 , , n } is a set of objects and M = { a j | j 1 , 2 , , m } is a set of attributes. I is a subset of Cartesian products G × M , which represents the binary relation between G and M. I ( x , a ) = 1 denotes that the object has the attribute, and I ( x , a ) = 0 denotes that the object does not have the attribute.
Definition 2. 
[12]. Let K = ( G , M , I ) be a formal context. Given X G and B M , a pair of operators, : P ( G ) P ( M ) and : P ( M ) P ( G ) , are defined by:
X * = { a M | x G , x I a } ,
B * = { x G | a M , x I a } .
If X * = B , B * = X , then we call ( X , B ) a formal concept. Here, X is called an extent, and B is called an intent of the concept ( X , B ) .
The set of all the formal concepts forms a complete lattice called the concept lattice is which denoted by L ( G , M , I ) . For any ( X 1 , B 1 ) , ( X 2 , B 2 ) L ( G , M , I ) , the partial order relation “≤”, infimum and supremum are given as follows:
( X 1 , B 1 ) ( X 2 , B 2 ) X 1 X 2 ( B 2 B 1 ) ,
( X 1 , B 1 ) ( X 2 , B 2 ) = ( X 1 X 2 , ( B 1 B 2 ) * * ) ,
( X 1 , B 1 ) ( X 2 , B 2 ) = ( ( X 1 X 2 ) * * , B 1 B 2 ) .
Definition 3. 
[12]. Let K = ( G , M , I ) be a formal context. Given X G and B M , a pair of negative operators, ¯ : P ( G ) P ( M ) and ¯ : P ( M ) P ( G ) , are defined by:
X * ¯ = { a M | x X , ¬ ( x I a ) } = { a M | x X , x I c a } ,
B * ¯ = { x G | a B , ¬ ( x I a ) } = { x G | a B , x I c a } .
Here, I c = ( G × M ) I . If X * ¯ = B , B * ¯ = X , then we call ( X , B ) an N-concept.
N L ( G , M , I ) denotes a complete lattice formed by all the N-concepts, in which the partial order relations, infimum and supremum are analogous to the L ( G , M , I ) .
The attribute-oriented concept lattice was proposed by employing modal-style operators as follows [8].
Definition 4. 
[9,49]. Let K = ( G , M , I ) be a formal context, X G , B M . Operators : P ( M ) P ( G ) and : P ( G ) P ( M ) are defined as follows:
X = { a M | a * X } ,
B = { x G | x * B } .
Definition 5. 
[9,49]. Let K = ( G , M , I ) be a formal context. For ( X G , B M ) , ( X , B ) is called an attribute-oriented concept if X = B and X = B . X and B are called the extent and intent of the attribute-oriented concept, respectively.
The set of all the attribute-oriented concepts, denoted by L A ( G , M , I ) , forms a complete lattice and is referred to as an attribute-oriented concept lattice. The meet “∧”, join “∨” and partial order relation “≤” are given by:
( X 1 , B 1 ) ( X 2 , B 2 ) = ( X 1 X 2 , ( B 1 B 2 ) ) ,
( X 1 , B 1 ) ( X 2 , B 2 ) = ( ( X 1 X 2 ) , B 1 B 2 ) ,
( X 1 , B 1 ) ( X 2 , B 2 ) X 1 X 2 ( B 1 B 2 ) .
Motivated by the idea of three-way decision, Qi and Yao et al. [12] put forward three-way concept lattices from the two aspects of objects and attributes. The following is an object-induced three-way concept lattice.
Definition 6. 
[12]. Let K = ( G , M , I ) be a formal context. Given X G and B M , a pair of object-induced three-way operators, : P ( G ) D P ( M ) and : D P ( M ) P ( G ) , are defined by: X = ( X * , X * ¯ ) , ( B , C ) = { x G | x B *   a n d   x C * ¯ } = B * C * ¯ .
Definition 7. 
[12]. Let K = ( G , M , I ) be a formal context. A pair ( X , ( B , C ) ) of an object subset X G and two attribute subsets B , C M is called an object-induced three-way concept, or an OE-concept of ( G , M , I ) , if and only if X = ( B , C ) and ( B , C ) = X . X is called the extent, and ( B , C ) is called the intent of the OE-concept, respectively.
The OE-concepts ( X 1 , ( B 1 , C 1 ) ) and ( X 2 , ( B 2 , C 2 ) ) are ordered by:
( X 1 , ( B 1 , C 1 ) ) ( X 2 , ( B 2 , C 2 ) ) X 1 X 2 ( ( B 1 , C 1 ) ( B 2 , C 2 ) B 1 B 2 , C 1 C 2 ) .
All OE-concepts are denoted by O E L ( G , M , I ) ; then a complete lattice called a object-induced three-way concept lattice(OE-lattice) is formed. The infimum and supremum on O E L ( G , M , I ) are given by:
( X 1 , ( B 1 , C 1 ) ) ( X 2 , ( B 2 , C 2 ) ) = ( X 1 X 2 , ( ( B 1 , C 1 ) ( B 2 , C 2 ) ) ) ) ,
( X 1 , ( B 1 , C 1 ) ) ( X 2 , ( B 2 , C 2 ) ) = ( ( X 1 X 2 ) , ( B 1 , C 1 ) ( B 2 , C 2 ) ) ) .

2.2. Linguistic Term Set

In complex environments, due to the fact that some problems are difficult to be concretely expressed by fuzzy sets, Zadeh [50] proposed linguistic variables with symmetric evaluation information such as “good”, “very good”, “bad” and “very bad”. Furthermore, Herrera [51] proposed a linguistic-term set S = { s α | α = 0 , 1 , . . . , g } to describe all the discrete linguistic variables, where s α denotes a possible value for a linguistic variable, and it also satisfies the following characteristics:
(1)
order relation: s α s β , if α β ,
(2)
negation operator: N e g ( s α ) = s β , where β = g α ,
(3)
maximization operator: max { s α , s β } = s α , if α β ,
(4)
minimization operator: min { s α , s β } = s β , if α β .
It can be seen from the above that the linguistic-term set has an odd number of linguistic terms. If the middle evaluation value represents “medium”, then the rest of the linguistic labels are replaced symmetrically around it. For example, a linguistic-term set with five terms can be defined as S =   { s 0 = very bad, s 1 = bad, s 2 = medium, s 3 = good, s 4 = very good}.

2.3. Linguistic Concept Lattice

Zou et al. [48] presented a linguistic concept lattice by introducing symmetric linguistic-evaluation information into formal concept analysis as follows.
Let S = { s α | α 0 , 1 , 2 , , g } be a linguistic-term set and L = { l j | j 1 , 2 , , m } be an attribute set. Then, we can get the set L s α = { l s k j | j 1 , 2 , , m , k 0 , 1 , 2 , , g } defined on S and L, which is called the linguistic concept set. For example, a linguistic concept l s 0 means that attribute l is evaluated as a linguistic term s 0 . Based on that, we give a linguistic concept formal context.
Definition 8. 
[48]. A linguistic concept formal context is defined as a triple ( G , L s α , I ) , where G = { x i | i 1 , 2 , , n } is a non-empty finite object set and L s α = { l s k j | j 1 , 2 , , m , k 0 , 1 , 2 , , g } is a non-empty finite linguistic concept set. I is the binary relationship from G to L s α ; i.e., I G × L s α . ( x , l s k ) I indicates that the object can be described by a linguistic concept l s k . ( x , l s k ) I indicates that the object x cannot be described by a linguistic concept l s k .
Let ( G , L s α , I ) be a linguistic concept formal context. For X G and B s α L s α , we define a pair of operators on “ ” as follows:
X = { l s k L s α | x X , ( x , l s k ) I } ,
B s α = { x G | l s k B s α , ( x , l s k ) I } .
If X = B s α and B s α = X , then a pair ( X , B s α ) is called a linguistic concept knowledge. The partial order relation “≤” for linguistic concept knowledge ( X 1 , B s α 1 ) and ( X 2 , B s α 2 ) is defined as follows:
( X 1 , B s α 1 ) ( X 2 , B s α 2 ) X 1 X 2 ( B s α 2 B s α 1 ) .
The family of all the linguistic concept knowledge of ( G , L s α , I ) forms a complete lattice, which is referred to as a linguistic concept lattice [48]. The infimum and supremum are given by:
( X 1 , B s α 1 ) ( X 2 , B s α 2 ) = ( X 1 X 2 , ( B s α 1 B s α 2 ) ) ,
( X 1 , B s α 1 ) ( X 2 , B s α 2 ) = ( ( X 1 X 2 ) , B s α 1 B s α 2 ) .

2.4. Linguistic Concept Reduction

Knowledge reduction can reduce the complexity of concept generation in concept lattice theory. Aiming at different formal contexts, there are many reduction models, most of which are based on a classical concept lattice [52,53], fuzzy concept lattice [54], rough concept lattice [55], three-way concept lattice [56,57], etc. [58,59]. However, most of these models are based on either the binary or fuzzy relationships between objects and attributes. In real-life situations, people often prefer to use linguistic values to express these relationships, which cannot be accommodated by the existing conceptual models. Suppose now that there is the following practical problem.
As the country’s economy and society continue to develop, people are paying more and more attention to education. Education at school is one of the essential components of a person’s life, so parents are cautious when choosing schools. In order to evaluate the following five schools, several experts were invited to assess the three aspects of teaching facilities, teaching quality, and school environment, which can be formulated in mathematical language as five objects, X = { x 1 , x 2 , x 3 , x 4 , x 5 } ; and three attributes, B = {a = teaching facilities, b = teaching quality, c = school environment}, respectively. Obviously, the binary relation of whether the object has attributes or whether the attributes can be possessed by the object cannot describe the factual background of the instance in detail. Moreover, since experts sometimes prefer to use natural language such as “well”, “bad” and “somewhat good” to evaluate things, information loss will inevitably occur when fuzzy sets are used to deal with the relationship between objects and attributes, which highlights the advantage of linguistic variables that can handle discrete linguistic information. Zou et al. [48] embedded linguistic-term sets with symmetric linguistic variables into formal contexts and used linguistic information to describe attributes directly; e.g., if the semantic evaluation base for school evaluations by experts is the linguistic-term set S = { s 0 = extremely poor, s 1 = very poor, s 2 = medium, s 3 = very good, s 4 = extremely good}, then the teaching facility is very good, which can be represented by the linguistic concept a s 3 , and each attribute value can generate the corresponding five linguistic concepts. Therefore, instead of using the traditional formal concept analysis model, we can represent the relationship between objects and attributes using a binary table between objects and linguistic concepts, as demonstrated in Table 1, where I ( x 1 , a s 2 ) = 1 indicates that the teaching facilities of school x 1 are rated as medium.
Generating concept lattices is a computationally complex problem that falls under the category of NP-hard problems, and therefore, reduction techniques are essential. It is also important to investigate reduction methods that are specifically designed for symmetric linguistic information. As a crucial component of the linguistic concept formal context, reducing linguistic concepts holds great potential for practical applications. However, previous research, such as that described in reference [48], has only focused on studying reduction methods for linguistic concept formal contexts and incomplete linguistic concept formal contexts. When making decisions based on multiple expert evaluations, it is common for opinions to differ, which can result in vague and uncertain information. To address this issue, we decided to investigate the method of reducing linguistic concepts while taking ambiguity into consideration.

3. Fuzzy-Object-Induced Three-Way Attribute-Oriented Linguistic Concept Lattice

In this section, from the perspective of linguistic concepts, we first construct a fuzzy-object-induced three-way linguistic concept lattice. Subsequently, a reduction method for linguistic concepts is studied in the fuzzy linguistic concept formal context, based on the principles of granular computing.

3.1. The Construction of a Fuzzy-Object-Induced Three-Way Attribute-Oriented Linguistic Concept Lattice

Definition 9. 
Let ( G , L s α , I ˜ ) be a fuzzy linguistic concept formal context, where G = { x i | i 1 , 2 , , n } is a non-empty finite object set and L s α = { l s k j | j 1 , 2 , , m , k 0 , 1 , , g } is a non-empty finite linguistic concept set. For μ I ˜ ( x , l s k ) : G × L s α [ 0 , 1 ] , I ˜ = { < ( x , l s k ) , μ I ˜ ( x , l s k ) > | ( x , l s k ) G × L s α } is the fuzzy relationship from G to L s α . I ˜ ( x , l s k ) = γ denotes that the object x has the linguistic concept l s k to degree γ, where γ [ 0 , 1 ] .
Definition 10. 
Let ( G , L s α , I ˜ ) be a fuzzy linguistic concept formal context and λ [ 0 , 1 ] be a fuzzy credibility threshold. For X G and B ˜ s α F ( L s α ) , the operators are defined as follows:
x ˜ = { < l s k , μ X ( l s k ) > | x G , I ˜ ( x , l s k ) λ }
l s k = { x G | l s k L s α , I ˜ ( x , l s k ) λ }
X ˜ = { < l s k , μ X ( l s k ) > | l s k X }
B ˜ s α ˜ = { x G | x ˜ B ˜ s α } .
where μ X ( l s k ) = x X I ˜ ( x , l s k ) , x ˜ B ˜ s α means that the set of linguistic concepts x is contained in B s α under a fuzzy credibility threshold λ, and the membership degree of linguistic concepts within x is less than or equal to the corresponding membership degree of linguistic concepts within B s α .
Definition 11. 
Let ( G , L s α , I ˜ ) be a fuzzy linguistic concept formal context; I c = 1 G × L s α . For X G and B ˜ s α F ( L s α ) , the operators are defined as follows:
x ˜ ¯ = { < l s k , μ X c ( l s k ) > | x G , I c ˜ ( x , l s k ) λ }
l s k ¯ = { x G | l s k L s α , I c ˜ ( x , l s k ) λ }
X ˜ ¯ = { < l s k , μ X c ( l s k ) > | l s k ¯ X }
B ˜ s α ˜ ¯ = { x G | x ˜ ¯ B ˜ s α }
where μ X c ( l s k ) = x X I c ˜ ( x , l s k ) .
Definition 12. 
Let ( G , L s α , I ˜ ) be a fuzzy linguistic concept formal context. For X G and B ˜ s α , C ˜ s α F ( L s α ) , the fuzzy-object-induced three-way attribute-oriented linguistic operators, or FOEAL-operators, are defined by X = ( X ˜ , X ˜ ¯ ) and ( B ˜ s α , C ˜ s α ) = B ˜ s α ˜ C ˜ s α ˜ ¯ , respectively.
Definition 13. 
Let ( G , L s α , I ˜ ) be a fuzzy linguistic concept formal context. For X G and B ˜ s α , C ˜ s α F ( L s α ) , a pair ( X , ( B ˜ s α , C ˜ s α ) ) is called a fuzzy-object-induced three-way attribute-oriented linguistic concept, or a FOEAL-concept of ( G , L s α , I ˜ ) if X = ( B ˜ s α , C ˜ s α ) and X = ( B ˜ s α , C ˜ s α ) are satisfied, where X is the extent and ( B ˜ s α , C ˜ s α ) is the intent of the FOEAL-concept.
For two FOEAL-concepts ( X 1 , ( B ˜ s α 1 , C ˜ s α 1 ) ) and ( X 2 , ( B ˜ s α 2 , C ˜ s α 2 ) ) , we define the partial order relation as follows:
( X 1 , ( B ˜ s α 1 , C ˜ s α 1 ) ) ( X 2 , ( B ˜ s α 2 , C ˜ s α 2 ) ) X 1 X 2 ( B ˜ s α 1 , C ˜ s α 1 ) ( B ˜ s α 2 , C ˜ s α 2 ) ,
where ( B ˜ s α 1 , C ˜ s α 1 ) ( B ˜ s α 2 , C ˜ s α 2 ) B ˜ s α 1 B ˜ s α 2 ( C ˜ s α 1 C ˜ s α 2 , B ˜ s α 1 B ˜ s α 2 ) means that B s α 1 B s α 2 and μ X 1 ( B s α 1 ) μ X 2 ( B s α 2 ) , so ( X 1 , ( B ˜ s α 1 , C ˜ s α 1 ) ) is called a sub-concept of ( X 2 , ( B ˜ s α 2 , C ˜ s α 2 ) ) , and ( X 2 , ( B ˜ s α 2 , C ˜ s α 2 ) ) is called a super-concept of ( X 1 , ( B ˜ s α 1 , C ˜ s α 1 ) ) .
The set of all FOEAL-concepts, denoted by F O E A L ( G , L s α , I ˜ ) , forms a complete lattice which is called a fuzzy-object-induced three-way attribute-oriented concept lattice (FOEAL-lattice). The infimum and supremum are given by:
( X 1 , ( B ˜ s α 1 , C ˜ s α 1 ) ) ( X 2 , ( B ˜ s α 2 , C ˜ s α 2 ) ) = ( X 1 X 2 , ( ( B ˜ s α 1 , C ˜ s α 1 ) ( B ˜ s α 2 , C ˜ s α 2 ) ) ) ,
( X 1 , ( B ˜ s α 1 , C ˜ s α 1 ) ) ( X 2 , ( B ˜ s α 2 , C ˜ s α 2 ) ) = ( ( X 1 X 2 ) , ( B ˜ s α 1 , C ˜ s α 1 ) ( B ˜ s α 2 , C ˜ s α 2 ) ) .
Example 1. 
Suppose that Table 2 is a fuzzy linguistic concept formal context, denoted by ( G , L s α , I ˜ ) , which describes the level of student debate in a classroom setting. The object set G consists of five students, represented as x 1 , x 2 , x 3 , x 4 and x 5 . The attribute set L includes three skills: language skills ( a ) , debating skills ( b ) and personal image ( c ) . We use the linguistic-term set S = { s 0 = low , s 1 = medium, s 2 = high} to evaluate the attributes a , b , and c. Thus, the generated linguistic concept set is L s α = { a s 0 , a s 1 , a s 2 , b s 0 , b s 1 , b s 2 , c s 0 , c s 1 , c s 2 } . For instance, I ˜ ( x 1 , a s 2 ) = 0.7 implies that the membership degree of student x 1 in the high language skills category is 0.7.
We can obtain the complementary formal context of ( G , L s α , I ˜ ) in Table 3 and generate the FOEAL-concepts in Table 4 with a fuzzy credibility threshold of λ = 0.6 . Taking the FOEAL-concept ( { x 1 , x 3 } , ( { ( a s 2 , 0.7 ) , ( b s 2 , 0.6 ) , ( c s 0 , 0.7 ) , ( c s 1 , 0.6 ) } , { ( a s 0 , 0.9 ) , ( a s 1 , 0.8 ) , ( b s 0 , 0.8 ) , ( b s 1 , 0.8 ) , ( b s 2 , 0.9 ) , ( c s 0 , 0.9 ) , ( c s 1 , 0.8 ) , ( c s 2 , 0.9 ) } ) ) as an example, this FOEAL-concept indicates that the highest level of { x 1 , x 3 } as a whole can reach a membership degree with high language skills for 0.7, a membership degree with high debating skills for 0.6, a membership degree with low personal image for 0.7 and a membership degree with medium personal image for 0.6 from positive information. At the same time, it also shows that except for these four indicator levels, none of the other indicator levels can reach 0.6. From the perspective of negative information, it expresses two possibilities, one of which is that at least one of these two objects { x 1 , x 3 } can reach 0.6 for linguistic concept a s 2 . The other is that the membership degrees for a s 2 of the two objects { x 1 , x 3 } do not reach 0.6 in both the original and complementary fuzzy linguistic concept formal contexts. We can determine which of these two cases the concept belongs to is directly from the positive information of the FOEAL-concept. In this case, it belongs to the first possibility.

3.2. The Granular Reduction of Fuzzy Linguistic Concept Formal Context

In order to reduce the scale of the fuzzy linguistic concept formal context and the complexity of constructing the FOEAL lattice, we present a linguistic-concept granular reduction that preserves the granular concept information of the FOEAL lattice.
Definition 14. 
Let ( G , L s α , I ˜ ) be a fuzzy linguistic concept formal context, x G ; the granular concept of FOEAL-concept is defined by ( x ˜ ˜ x ˜ ¯ ˜ ¯ , ( x ˜ , x ˜ ¯ ) ) .
Definition 15. 
Let ( G , L s α , I ˜ ) be a fuzzy linguistic concept formal context, x G . A linguistic concept subset D s α L s α is called a fuzzy-object-induced three-way attribute-oriented linguistic granular (FOEALG)-consistent set if x L s α L s α = x D s α D s α . If there is no proper linguistic concept subset E s α D s α such that E s α is a FOEALG-consistent set, then D s α is called a FOEALG reduction of ( G , L s α , I ˜ ) .
Theorem 1. 
Given a fuzzy linguistic concept formal context ( G , L s α , I ˜ ) , x G , D s α L s α , ( x ˜ ˜ x ˜ ¯ ˜ ¯ ) = ( x ˜ D s α ˜ D s α x ˜ ¯ D s α ˜ ¯ D s α ) if and only if D s α is a FOEALG-consistent set.
Proof. 
Definition 15 provides immediate proof for this theorem. □
Given a fuzzy linguistic concept formal context K = ( G , L s α , I ˜ ) , denote all FOEALG reductions by R e d ( K A G ) . Then, the linguistic concept set can be divided as follows:
(1)
core linguistic concept set C r : C r = R e d ( K A G ) ,
(2)
relatively necessary linguistic concept set K r : K r = R e d ( K A G ) R e d ( K A G ) ,
(3)
unnecessary linguistic concept set I r : I r = G R e d ( K A G ) .
Definition 16. 
Given a fuzzy linguistic concept formal context K = ( G , L s α , I ˜ ) , x , y G , we define
D I S F O E A L G ( x , y ) = { l s k L s α | I ˜ λ ( x , l s k ) > I ˜ λ ( y , l s k ) o r I ˜ λ c ( x , l s k ) > I ˜ λ c ( y , l s k ) } ,
where D I S F O E A L G ( x , y ) is referred to as the FOEALG discernibility linguistic concept set of K , and I ˜ λ denotes the fuzzy relationship under fuzzy credibility threshold λ.
We denote Λ F O E A L G = ( D I S F O E A L G ( x , y ) ) as the FOEALG discernibility matrix.
Definition 17. 
Given a fuzzy linguistic concept formal context K = ( G , L s α , I ˜ ) , we define the FOEALG-discernibility function as follows:
f F O E A L G = x , y G D I S F O E A L G ( x , y ) .
Theorem 2. 
Given a fuzzy linguistic concept formal context K = ( G , L s α , I ˜ ) , D s α L s α . For any x G , we have ( x ˜ ˜ x ˜ ¯ ˜ ¯ ) ( x ˜ D s α ˜ D s α x ˜ ¯ D s α ˜ ¯ D s α ) .
Proof. 
y G . Suppose that y ( x ˜ ˜ x ˜ ¯ ˜ ¯ ) ; then, y ˜ x ˜ , which implies that y ˜ D s α = y ˜ D s α x ˜ D s α = x ˜ D s α . Then, y x ˜ D s α ˜ D s α ; likewise, y x ˜ ¯ D s α ˜ ¯ D s α . Therefore, y ( x ˜ D s α ˜ D s α x ˜ ¯ D s α ˜ ¯ D s α ) . Thus, we conclude ( x ˜ ˜ x ˜ ¯ ˜ ¯ ) ( x ˜ D s α ˜ D s α x ˜ ¯ D s α ˜ ¯ D s α ) . □
Example 2. 
Continuing considering the fuzzy linguistic concept formal context in Table 2, we can calculate granular reduction based on the FOEAL lattice to simplify the formal context as follows. Firstly, the granular concepts of FOEAL-concepts can be obtained: ( { x 1 } , ( { ( a s 2 , 0.7 ) , ( b s 2 , 0.6 ) , ( c s 0 , 0.7 ) } , { ( a s 0 , 0.9 ) , ( a s 1 , 0.8 ) , ( b s 0 , 0.8 ) , ( b s 1 , 0.8 ) , ( c s 1 , 0.8 ) , ( c s 2 , 0.9 ) } ) ) , ( { x 2 } , ( { ( a s 0 , 0.7 ) , ( b s 2 , 0.6 ) , ( c s 0 , 0.6 ) } , { ( a s 1 , 0.9 ) , ( a s 2 , 0.8 ) , ( b s 0 , 0.8 ) , ( b s 1 , 0.8 ) , ( c s 0 , 0.6 ) , ( c s 1 , 1 ) } ) ) , ( { x 3 } , ( { ( c s 1 , 0.6 ) } , { ( a s 0 , 0.7 ) , ( a s 1 , 0.8 ) , ( b s 0 , 0.6 ) , ( b s 2 , 0.9 ) , ( c s 0 , 0.9 ) , ( c s 2 , 0.7 ) } ) ) , ( { x 4 } , ( { ( a s 2 , 0.7 ) , ( c s 0 , 0.8 ) } , { ( a s 0 , 0.9 ) , ( a s 1 , 0.8 ) , ( b s 0 , 0.7 ) , ( b s 1 , 0.8 ) , ( c s 1 , 1 ) , ( c s 2 , 0.8 ) } ) )
Then, we can get the FOEALG-discernibility matrix, as shown in Table 5, and calculate the FOEALG-discernibility function as follows:
f F O E A L G = x , y G D I S F O E A L G ( x , y ) = ( c s 0 c s 1 ) ( a s 0 a s 2 c s 0 c s 2 ) ( b s 0 b s 2 c s 2 ) = ( b s 0 c s 0 ) ( b s 2 c s 0 ) ( c s 0 c s 2 ) ( c s 1 c s 2 ) ( a s 0 b s 0 c s 1 ) ( a s 2 b s 0 c s 1 ) ( a s 0 b s 2 c s 1 ) ( a s 2 b s 2 c s 1 )
Therefore, we have eight FOEALG reductions from ( G , L s α , I ˜ ) , which are { b s 0 , c s 0 } , { b s 2 , c s 0 } , { c s 0 , c s 2 } , { c s 1 , c s 2 } , { a s 0 , b s 0 , c s 1 } , { a s 2 , b s 0 , c s 1 } , { a s 0 , b s 2 , c s 1 } and { a s 2 , b s 2 , c s 1 } , respectively. In addition to the fact that a s 1 and b s 1 are unnecessary linguistic concepts, the other linguistic concepts are all relatively necessary linguistic concepts.

4. The Relation between Granular Reduction and Entropy Reduction in the Fuzzy Linguistic Concept Formal Context

Information entropy is an essential method for measuring the importance of attributes in rough set theory. This section proposes entropy reduction in a fuzzy linguistic concept formal context by combining necessity and possibility operators and then studies its relationship with granular reduction.
Definition 18. 
Given a fuzzy linguistic concept formal context K = ( G , L s α , I ˜ ) , for B s α , C s α L s α , we define the information entropy of the FOEAL lattice as follows:
H ( L s α ) = 1 | G | x G l o g 2 | x L s α L s α | | G | ,
and the conditional information entropy of B s α with respect to C s α is as follows:
H ( B s α / C s α ) = 1 | G | x G l o g 2 | x B s α B s α x C s α C s α | | x C s α C s α | ,
where | · | indicates the number of elements in the object set.
Theorem 3. 
Given a fuzzy linguistic concept formal context K = ( G , L s α , I ˜ ) , for any x G , C s α B s α L s α , the two information entropies H ( C s α ) and H ( B s α ) , based on the FOEAL lattice, satisfy:
1.  
H ( C s α ) H ( B s α ) and x C s α C s α x B s α B s α ;
2.  
if H ( C s α ) = H ( B s α ) , then x C s α C s α = x B s α B s α .
Proof. 
This can be easily proved by Theorem 2. □
Definition 19. 
Given a fuzzy linguistic concept formal context K = ( G , L s α , I ˜ ) , x G , a linguistic concept subset D s α L s α is called an entropy consistent set of the FOEAL lattice if H ( D s α ) = H ( L s α ) . If there is no proper linguistic concept subset E s α L s α such that E s α is an entropy consistent set of the FOEAL lattice, then D s α is called an entropy reduction of the FOEAL lattice.
Given a fuzzy linguistic concept formal context K = ( G , L s α , I ˜ ) , denote all entropy reductions of the FOEAL lattice by R e d ( K A E ) . Similarly, the linguistic concept set can be divided as follows:
(1)
core linguistic concept set C t : C t = R e d ( K A E ) ,
(2)
relatively necessary linguistic concept set K t : K t = R e d ( K A E ) R e d ( K A E ) ,
(3)
unnecessary linguistic concept set I t : I t = G R e d ( K A E ) .
Theorem 4. 
Given a fuzzy linguistic concept formal context K = ( G , L s α , I ˜ ) , l s k L s α , l s k I t if and only if H ( { l s k } | L s α { l s k } ) = 0 .
Proof. 
( ) Since l s k I t , we have H ( L s α { l s k } ) H ( L s α ) according to the Theorem 3.
Assume that H ( L s α { l s k } ) < H ( L s α ) ; obviously, L s α { l s k } is not a consistent set. It follows that l s k C t , which contradicts l s k I t . Therefore, H ( L s α { l s k } ) = H ( L s α ) , x G , x L s α L s α = x L s α { l s k } L s α { l s k } is held; i.e., H ( { l s k } | L s α { l s k } ) = 1 | G | x G l o g 2 | x { l s k } { l s k } x L s α { l s k } L s α { l s k } | | x L s α { l s k } L s α { l s k } | = 1 | G | x G l o g 2 | x { l s k } { l s k } x L s α L s α | | x L s α L s α | = 0 .
( ) Since H ( { l s k } | L s α { l s k } ) = 0 , x G , l o g 2 | x { l s k } { l s k } x L s α { l s k } L s α { l s k } | | x L s α { l s k } L s α { l s k } | 0 , we have H ( { l s k } | L s α { l s k } ) 0 . Suppose that x 0 G , s.t. x 0 { l s k } { l s k } x 0 L s α { l s k } L s α { l s k } x 0 L s α { l s k } L s α { l s k } ; then l o g 2 | x { l s k } { l s k } x L s α { l s k } L s α { l s k } | | x L s α { l s k } L s α { l s k } | < 0 ; i.e., H ( { l s k } | L s α { l s k } ) > 0 , which contradicts H ( { l s k } | L s α { l s k } ) = 0 . Therefore, x G , x { l s k } { l s k } x L s α { l s k } L s α { l s k } = x L s α { l s k } L s α { l s k } , and then x L s α { l s k } L s α { l s k } = x L s α L s α , so we conclude that l s k I t . □
Theorem 5. 
Given a fuzzy linguistic concept formal context K = ( G , L s α , I ˜ ) , l s k L s α , l s k C t if and only if H ( { l s k } | L s α { l s k } ) > 0 .
Proof. 
This is easy to prove by Theorem 4. □
Remark 1. 
We can obtain the method to calculate the core linguistic concept set and unnecessary linguistic concept set according to the above theorems; therefore, we can also find the linguistic concept’s reduction by calculating the relatively unnecessary linguistic concept set indirectly through these two theorems.
Theorem 6. 
Given a fuzzy linguistic concept formal context K = ( G , L s α , I ˜ ) , D s α L s α , for any l s k D s α , D s α is an entropy reduction of the FOEAL lattice if and only if H ( D s α ) = H ( L s α ) and H ( { l s k } | L s α { l s k } ) > 0 .
Proof. 
( ) Since D s α is an entropy reduction of the FOEAL lattice, we have H ( D s α ) = H ( L s α ) . Obviously, for any l s k D s α , it satisfies l o g 2 | x { l s k } { l s k } x D s α { l s k } D s α { l s k } | | x D s α { l s k } D s α { l s k } | 0 ; then, H ( { l s k } | D s α { l s k } ) = 1 | G | x G l o g 2 | x { l s k } { l s k } x D s α { l s k } D s α { l s k } | | x D s α { l s k } D s α { l s k } | = 1 | G | x G l o g 2 | x D s α D s α | | x D s α { l s k } D s α { l s k } | 0 . Suppose that h s k D s α , s.t. H ( { h s k } | D s α { h s k } ) = 0 . Then, h s k I t , x D s α D s α = x D s α { h s k } D s α { h s k } . It follows that H ( D s α { h s k } ) = H ( D s α ) , which contradicts that D s α is an entropy reduction of the FOEAL lattice. Therefore, l s k D s α , H ( { l s k } | L s α { l s k } ) > 0 holds.
( ) Assume that H ( D s α ) = H ( L s α ) and H ( { l s k } | L s α { l s k } ) > 0 for any l s k D s α . Then, H ( { l s k } | D s α { l s k } ) = 1 | G | x G l o g 2 | x D s α D s α | | x D s α { l s k } D s α { l s k } | > 0 ; i.e., x D s α D s α x D s α { l s k } D s α { l s k } . According to Definition 18, H ( D s α ) = 1 | G | x G l o g 2 | x D s α D s α | | G | > 1 | G | x G l o g 2 | x D s α { l s k } D s α { l s k } | | G | = H ( D s α { l s k } ) . Therefore, D s α { l s k } is not an entropy-consistent set of the FOEAL lattice. We can conclude that D s α is an entropy reduction of the FOEAL lattice. □
Theorem 7. 
Given a fuzzy linguistic concept formal context K = ( G , L s α , I ˜ ) , D s α L s α , D s α is an entropy consistent set of the FOEAL lattice if and only if D s α is a FOEALG consistent set.
Proof. 
( ) Assume that D s α is an entropy consistent set. We obtain H ( D s α ) = H ( L s α ) . x G , x D s α D s α = x L s α L s α ; therefore, D s α is a FOEALG-consistent set.
( ) Analogously to the necessity, it follows easily. □
Theorem 8. 
Given a fuzzy linguistic concept formal context K = ( G , L s α , I ˜ ) , D s α L s α , D s α is an entropy reduction of the FOEAL lattice if and only if D s α is a FOEALG reduction.
Proof. 
Analogously to Theorem 7, it follows easily. □
Example 3. 
Continuing considering the fuzzy linguistic concept formal context in Table 2. From Example 2, it is clear that x 1 L s α L s α = x 1 , x 2 L s α L s α = x 2 , x 3 L s α L s α = x 3 and x 4 L s α L s α = x 4 . We can get H ( L s α ) = 1 | G | x G l o g 2 | x L s α L s α | | G | = 2 according to the Definition 18. By taking the linguistic concept D s α = { a s 0 , b s 0 , c s 1 } as an example, the calculation yields H ( D s α ) = 2 ; however, if D s α 1 = { a s 0 , b s 0 } , then H ( D s α 1 ) = 7 4 ; if D s α 2 = { a s 0 , c s 1 } , then H ( D s α 2 ) = 3 2 ; if D s α 3 = { b s 0 , c s 1 } , then H ( D s α 3 ) = 2 1 4 l o g 2 3 . Therefore, we can conclude that H ( L s α ) = H ( D s α ) , { a s 0 , b s 0 , c s 1 } is an entropy reduction of the FOEAL lattice. Similarly, { b s 0 , c s 0 } , { b s 2 , c s 0 } , { c s 0 , c s 2 } , { c s 1 , c s 2 } , { a s 2 , b s 0 , c s 1 } , { a s 0 , b s 2 , c s 1 } and { a s 2 , b s 2 , c s 1 } are also entropy reductions of the FOEAL lattice.
From the above analysis, we confirm that the entropy reduction is equal to the granular reduction based on the FOEAL lattice, and we can obtain the granular concept information through the information entropy. In practical applications, the desired FOEAL-concept information can also be selected by setting the parameter λ .

5. Comparative Analysis

We compare our methods with other knowledge reduction methods in six aspects: the type of concept lattice that the paper can handle, the expression form of the concept, how many reduction methods the paper actually proposes, which conditions are preserved during reduction and whether the reduction method can handle linguistic information and fuzzy information. Table 6 displays the comparison results for the corresponding methods.
  • In Ref. [30]: Utilizing the object-oriented concept lattice L O ( G , M , I ) and the attribute-oriented concept lattice L A ( G , M , I ) , Qin et al. introduced a technique for attribute reduction that maintains decision rules.
  • In Ref. [39]: Zhang et al. put forward a new fuzzy three-way concept lattice, denoted by O F T L ( G , M , I ˜ ) and A F T L ( G , M , I ˜ ) , which takes into account the fuzziness of objects and attributes, respectively. Furthermore, they presented a granular matrix-based reduction method to handle fuzzy data in a fuzzy formal context.
  • In Ref. [22]: Ren et al. developed four techniques for attribute reduction that preserve lattice structure, granular information and join (meet)-irreducible elements, utilizing three-way concept lattices O E L ( G , M , I ) and A E L ( G , M , I ) .
  • In Ref. [48]: Zou et al. presented a linguistic concept lattice L L ( G , L s α , I ) , and further studied a multi-granularity linguistic-concept reduction algorithm based on the similarity relations in an incomplete linguistic concept formal context, which can deal with different types of linguistic information.
Remark 2. 
Even though the concept lattices examined in references [22,39,48] pertain to knowledge reduction of the two concept lattices analyzed from the viewpoints of objects and attributes, their techniques essentially share the same nature. Therefore, only one of them is displayed in Table 6.
Since people are always accustomed to evaluating things in natural language, the combination of linguistic-term sets and formal concept analysis plays a significant role. In light of the above analysis, we summarize some merits of our proposed approach:
(1)
To accurately represent the uncertainty and complexity of real-world situations, we introduced a fuzzy linguistic concept formal context that establishes a fuzzy relation between objects and linguistic concepts. This approach generates a FOEAL lattice that aligns more closely with human cognition.
(2)
By combining the advantages of O E L ( G , M , I ) and L A ( G , M , I ) , we propose a FOEAL lattice in a fuzzy linguistic concept formal context, which can not only show the idea of three divisions in three-way decisions, but also express the complementary structure of a linguistic concept lattice compared with symmetric linguistic-evaluation information.
(3)
In view of the validity and simplicity of granular reduction in formal concept analysis, two linguistic-concept-reduction methods preserving granular information and information entropy, granular reduction and entropy reduction based on the FOEAL lattice, are given to reduce the scale of linguistic concepts.

6. Conclusions

We have discussed the linguistic-concept-reduction methods combining granular computing with information entropy in a fuzzy linguistic concept formal context. A fuzzy-object-induced three-way attribute-oriented linguistic-concept lattice has been proposed, which describes the possible fuzzy relations between objects and linguistic concepts in terms of both positive and negative information. We have given a granular reduction method of the FOEAL lattice to preserve the fuzzy, granular concept information. In addition, we have also presented an entropy reduction method of the FOEAL lattice and discussed its relationship with the granular reduction mentioned above, which further enhances our understanding of the decision-making problem in artificial intelligence.
In future research, we intend to investigate different reduction methods in the fuzzy linguistic concept formal decision context and apply them to practical problems. Moreover, we will further employ fuzzy learning techniques to improve the effectiveness of the FOEAL concept lattice.

Author Contributions

Investigation, H.C. and L.Z.; writing—original draft preparation, H.C.; writing—review and editing, H.C. and G.Y.; supervision, L.Z. and A.D.; formal analysis, L.M.; project administration, L.Z. and A.D. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported by the National Natural Science Foundation of P.R. China (No. 62176142), the Foundation of Liaoning Educational Committee (No. LJ2020007) and the Special Foundation for Distinguished Professors of Shandong Jianzhu University.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Ganter, B.; Wille, R. Formal Concept Analysis: Mathematical Foundations; Springer: Berlin, Germany, 1999. [Google Scholar]
  2. Poelmans, J.; Ignatov, D.I.; Kuznetsov, S.O.; Dedene, G. Formal concept analysis in knowledge processing: A survey on applications. Expert Syst. Appl. 2013, 40, 6538–6560. [Google Scholar] [CrossRef]
  3. Aswani Kumar, C.; Srinivas, S. Mining associations in health care data using formal concept analysis and singular value decomposition. J. Biol. Syst. 2010, 18, 787–807. [Google Scholar] [CrossRef]
  4. Formica, A. Similarity reasoning in formal concept analysis: From one- to many-valued contexts. Knowl. Inf. Syst. 2018, 60, 715–739. [Google Scholar] [CrossRef]
  5. Xu, W.; Li, W. Granular computing approach to two-way learning based on formal concept analysis in fuzzy datasets. IEEE Trans. Cybern. 2016, 46, 366–379. [Google Scholar] [CrossRef]
  6. Tsang, E.C.C.; Fan, B.J.; Chen, D.G.; Xu, W.H.; Li, W.T. Multi-level cognitive concept learning method oriented to data sets with fuzziness: A perspective from features. Soft Comput. 2020, 24, 3753–3770. [Google Scholar] [CrossRef]
  7. Fujita, H.; Gaeta, A.; Loia, V.; Orciuoli, F. Resilience analysis of critical infrastructures: A cognitive approach based on granular computing. IEEE Trans. Cybern. 2019, 49, 1835–1848. [Google Scholar] [CrossRef] [PubMed]
  8. Düntsch, I.; Gediga, G. Modal-style operators in qualitative data analysis. In Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM 2002), Maebashi, Japan, 9–12 December 2002; pp. 155–162. [Google Scholar]
  9. Yao, Y.Y. Concept lattices in rough set theory. In Proceedings of the 2004 IEEE Annual Meeting of the Fuzzy Information (NAFIPS 2004), Banff, AB, Canada, 27–30 June 2004; pp. 796–801. [Google Scholar]
  10. Burusco, A.; Fuentes-González, R. The study of the L-fuzzy concept lattice. Mathw. Soft Comput. 1994, 1, 209–218. [Google Scholar]
  11. Belohlavek, R. Concept lattices and order in fuzzy logic. Knowl.-Based Syst. 2004, 128, 277–298. [Google Scholar] [CrossRef]
  12. Qi, J.; Wei, L.; Yao, Y. Three-way formal concept analysis. In Proceedings of the 9th International Conference on Rough Sets and Knowledge Technology (RSKT 2014), Shanghai, China, 24–26 October 2014; pp. 732–741. [Google Scholar]
  13. Qi, J.; Qian, T.; Wei, L. The connections between three-way and classical concept lattices. Knowl.-Based Syst. 2016, 91, 143–151. [Google Scholar] [CrossRef]
  14. Qian, T.; Wei, L.; Qi, J. A theoretical study on the object (property) oriented concept lattices based on three-way decisions. Soft Comput. 2019, 23, 9477–9489. [Google Scholar] [CrossRef]
  15. Hu, Q.; Qin, K.Y.; Yang, L. A constructing approach to multi-granularity object-induced three-way concept lattices. Int. J. Approx. Reason. 2022, 150, 229–241. [Google Scholar] [CrossRef]
  16. Wang, Z.; Qi, J.J.; Shi, C.J.; Ren, R.S.; Wei, L. Multiview granular data analytics based on three-way concept analysis. Appl. Intell. 2022. [CrossRef]
  17. Singh, P.K. Three-way fuzzy concept lattice representation using neutrosophic set. Int. J. Mach. Learn. Cybern. 2017, 8, 69–79. [Google Scholar] [CrossRef] [Green Version]
  18. Yuan, K.; Xu, W.; Li, W.; Ding, W. An incremental learning mechanism for object classification based on progressive fuzzy three-way concept. Inf. Sci. 2022, 584, 127–147. [Google Scholar] [CrossRef]
  19. Chen, J.; Mi, J.; Xie, B.; Lin, Y. A fast attribute reduction method for large formal decision contexts. Int. J. Approx. Reason. 2019, 106, 1–17. [Google Scholar] [CrossRef]
  20. Qi, J.J. Attribute reduction in formal contexts based on a new discernibility matrix. J. Appl. Math. Comput. 2009, 30, 305–314. [Google Scholar] [CrossRef]
  21. Zhang, W.X.; Wei, L.; Qi, J.J. Attribute reduction theory and approach to concept lattice. Sci. China. Ser. F Inf. Sci. 2005, 48, 713–726. [Google Scholar] [CrossRef]
  22. Ren, R.; Ling, W. The attribute reductions of three-way concept lattices. Knowl.-Based Syst. 2016, 99, 92–102. [Google Scholar] [CrossRef]
  23. Li, T.J.; Wu, W.Z. Attribute reduction in formal contexts: A covering rough set approach. Fundam. Informaticae 2011, 111, 15–32. [Google Scholar] [CrossRef]
  24. Niu, J.; Chen, D.; Li, J.; Wang, H. A dynamic rule-based classification model via granular computing q. Inf. Sci. 2022, 584, 325–341. [Google Scholar] [CrossRef]
  25. Hu, Q.; Qin, K.Y.; Yang, H.; Xue, B.B. A novel approach to attribute reduction and rule acquisition of formal decision context. Appl. Intell. 2022. [CrossRef]
  26. Li, J.; Mei, C.; Lv, Y. Knowledge reduction in decision formal contexts. Knowl.-Based Syst. 2011, 24, 709–715. [Google Scholar] [CrossRef]
  27. Li, J.H.; Mei, C.L.; Lv, Y.J. Incomplete decision contexts: Approximate concept construction, rule acquisition and knowledge reduction. Int. J. Approx. Reason. 2013, 54, 149–165. [Google Scholar] [CrossRef]
  28. Chen, J.; Mi, J.; Lin, Y. A graph approach for fuzzy-rough feature selection. Fuzzy Sets Syst. 2020, 391, 96–116. [Google Scholar] [CrossRef]
  29. Chen, J.K.; Mi, J.S.; Xie, B.; Lin, Y.J. Attribute reduction in formal decision contexts and its application to finite topological spaces. Int. J. Mach. Learn. Cybern. 2021, 12, 1–14. [Google Scholar] [CrossRef]
  30. Qin, K.Y.; Li, B.; Pei, Z. Attribute reduction and rule acquisition of formal decision context based on object (property) oriented concept lattices. Int. J. Mach. Learn. Cybern. 2019, 10, 2837–2850. [Google Scholar] [CrossRef]
  31. Tang, Y.; Pan, Z.; Pedrycz, W.; Ren, F.; Song, X. Viewpoint-based kernel fuzzy clustering with weight information granules. IEEE Trans. Emerg. Top. Comput. Intell. 2022. [CrossRef]
  32. Tang, Y.; Zhang, L.; Bao, G.; Ren, F.J.; Pedrycz, W. Symmetric implicational algorithm derived from intuitionistic fuzzy entropy. Iran. J. Fuzzy Syst. 2022, 19, 27–44. [Google Scholar]
  33. Yang, J.Q.; Chen, C.H.; Li, J.Y.; Liu, D.; Li, T.; Zhan, Z.H. Compressed-encoding particle swarm optimization with fuzzy learning for large-scale feature selection. Symmetry 2022, 14, 1142. [Google Scholar] [CrossRef]
  34. Ali, J.; Bashir, Z.; Tabasam, R. Weighted interval-valued dual-hesitant fuzzy sets and its application in teaching quality assessment. Soft Comput. 2021, 25, 3503–3530. [Google Scholar] [CrossRef]
  35. Ali, J.; Garg, H. On spherical fuzzy distance measure and TAOV method for decision-making problems with incomplete weight information. Eng. Appl. Artif. Intell. 2023, 119, 105726. [Google Scholar] [CrossRef]
  36. Zhai, Y.; Li, D. Knowledge structure preserving fuzzy attribute reduction in fuzzy formal context. Int. J. Approx. Reason. 2019, 115, 209–220. [Google Scholar] [CrossRef]
  37. Singh, P.K.; Cherukuri, A.K.; Li, J. Concepts reduction in formal concept analysis with fuzzy setting using Shannon entropy. Int. J. Mach. Learn. Cybern. 2017, 8, 179–189. [Google Scholar] [CrossRef]
  38. Lin, Y.; Li, J.; Liao, S.; Zhang, J.; Liu, J. Reduction of fuzzy-crisp concept lattice based on order-class matrix. J. Intell. Fuzzy Syst. 2020, 39, 8001–8013. [Google Scholar] [CrossRef]
  39. Zhang, C.; Li, J.; Lin, Y. Matrix-based reduction approach for one-sided fuzzy three-way concept lattices. J. Intell. Fuzzy Syst. 2021, 40, 11393–11410. [Google Scholar] [CrossRef]
  40. Xu, Z.S. An approach based on the uncertain LOWG and induced uncertain LOWG operators to group decision making with uncertain multiplicative linguistic preference relations. Decis. Support Syst. 2006, 2, 488–499. [Google Scholar] [CrossRef]
  41. Seiti, H.; Hafezalkotob, A.; Herrera-Viedma, E. A novel linguistic approach for multi-granular information fusion and decision-making using risk-based linguistic D numbers. Inf. Sci. 2020, 530, 43–65. [Google Scholar] [CrossRef]
  42. Rodríguez, R.M.; Labella, L.; Sesma-Sara, M.; Bustince, H.; Martínez, L. A cohesion-driven consensus reaching process for large scale group decision making under a hesitant fuzzy linguistic term sets environment. Comput. Ind. Eng. 2021, 155, 107–158. [Google Scholar] [CrossRef]
  43. Song, Y.M.; Hu, J. Vector similarity measures of hesitant fuzzy linguistic term sets and their applications. PLoS ONE 2017, 12, e0189579. [Google Scholar] [CrossRef] [Green Version]
  44. Ali, J.; Naeem, M.; Mahmood, W. Generalized q-rung picture linguistic aggregation operators and their application in decision making. J. Intell. Fuzzy Syst. 2023, 44, 4419–4443. [Google Scholar] [CrossRef]
  45. Ali, J.; Bashir, Z.; Rashid, T. WASPAS-based decision making methodology with unknown weight information under uncertain evaluations. Expert Syst. Appl. 2021, 168, 114–143. [Google Scholar] [CrossRef]
  46. Yang, L.; Wang, Y.; Li, H. Research on the disease intelligent diagnosis model based on linguistic truth-valued concept lattice. Complexity 2021, 2021, 1–11. [Google Scholar] [CrossRef]
  47. Cui, H.; Yue, G.L.; Zou, L.; Liu, X.; Deng, A.S. Multiple multidimensional linguistic reasoning algorithm based on property-oriented linguistic concept lattice. Int. J. Approx. Reason. 2020, 131, 80–92. [Google Scholar] [CrossRef]
  48. Zou, L.; Pang, K.; Song, X.Y.; Kang, N.; Liu, X. A knowledge reduction approach for linguistic concept formal context. Inf. Sci. 2020, 524, 165–183. [Google Scholar] [CrossRef]
  49. Leung, Y.; Wu, W.Z.; Zhang, W.X. Knowledge acquisition in incomplete information systems: A rough set approach. Eur. J. Oper. Res. 2006, 168, 164–180. [Google Scholar] [CrossRef]
  50. Zadeh, L.A. The Concept of a linguistic variable and its application to approximate reasoning-I. Inf. Sci. 1975, 8, 199–249. [Google Scholar] [CrossRef]
  51. Herrera, F.; Herrera, V.E.; Verdegay, J.L. A model of monsensus in group decision making under linguistic assessments. Fuzzy Sets Syst. 1996, 78, 73–87. [Google Scholar] [CrossRef]
  52. Shao, M.W.; Wu, W.Z.; Wang, X.Z.; Wang, C.Z. Knowledge reduction methods of covering approximate spaces based on concept lattice. Knowl.-Based Syst. 2020, 191, 1–9. [Google Scholar] [CrossRef]
  53. Li, L.; Zhang, D. 0-1 linear integer programming method for granule knowledge reduction and attribute reduction in concept lattices. Soft Comput. 2019, 23, 383–391. [Google Scholar] [CrossRef]
  54. Bartl, E.; Konecny, J. L-Concept lattices with positive and negative attributes: Modeling uncertainty and reduction of size. Inf. Sci. 2019, 472, 163–179. [Google Scholar] [CrossRef]
  55. Wang, P.; Wu, W.; Zhong, H.M. Information flow-based second-order cone programming model for big data using rough concept lattice. Neural Comput. Appl. 2022, 35, 2257–2266. [Google Scholar] [CrossRef]
  56. Hao, F.; Gao, J.; Bisogni, C.; Loia, V.; Pei, Z.; Nasridinov, A. Exploring invariance of concept stability for attribute reduction in three-way concept lattice. Soft Comput. 2023, 27, 723–735. [Google Scholar] [CrossRef]
  57. Liu, G.L.; Xie, Y.H.; Gao, X.W. Three-way reduction for formal decision contexts. Inf. Sci. 2022, 615, 39–57. [Google Scholar] [CrossRef]
  58. Benitez-Caballero, M.J.; Medina, J.; Ramirez-Poussa, E. Characterizing one-sided formal concept analysis by multi-adjoint concept lattices. Mathematics 2022, 10, 1020. [Google Scholar] [CrossRef]
  59. Antoni, L.; Cornejo, M.E.; Medina, J.; Ramírez-Poussa, E. Attribute classification and reduct computation in multi-adjoint concept lattices. IEEE Trans. Fuzzy Syst. 2021, 29, 1121–1132. [Google Scholar] [CrossRef]
Table 1. Linguistic concept formal context ( G , L s α , I ) .
Table 1. Linguistic concept formal context ( G , L s α , I ) .
a bc
a s 0 a s 1 a s 2 a s 3 a s 4 b s 0 b s 1 b s 2 b s 3 b s 4 c s 0 c s 1 c s 2 c s 3 c s 4
x 1 001000000100010
x 2 000100000100100
x 3 000010001001000
x 4 001000001000001
x 5 000100100010000
Table 2. Fuzzy linguistic concept formal context ( G , L s α , I ˜ ) .
Table 2. Fuzzy linguistic concept formal context ( G , L s α , I ˜ ) .
G / M abc
a s 0 a s 1 a s 2 b s 0 b s 1 b s 2 c s 0 c s 1 c s 2
x 1 0.10.20.70.20.20.60.70.20.1
x 2 0.70.10.20.20.20.60.400.6
x 3 0.30.20.50.40.50.10.10.60.3
x 4 0.10.20.70.30.20.50.800.2
Table 3. The complementary fuzzy linguistic concept formal context ( G , L s α , I ˜ c ) .
Table 3. The complementary fuzzy linguistic concept formal context ( G , L s α , I ˜ c ) .
G / M abc
a s 0 a s 1 a s 2 b s 0 b s 1 b s 2 c s 0 c s 1 c s 2
x 1 0.90.80.30.80.80.40.30.80.9
x 2 0.30.90.80.80.80.40.610.4
x 3 0.70.80.50.60.50.90.90.40.7
x 4 0.90.80.30.70.80.50.210.8
Table 4. FOEAL concepts of Table 2.
Table 4. FOEAL concepts of Table 2.
ExtentIntent
{ x 1 } ( { ( a s 2 , 0.7 ) , ( b s 2 , 0.6 ) , ( c s 0 , 0.7 ) } , { ( a s 0 , 0.9 ) , ( a s 1 , 0.8 ) , ( b s 0 , 0.8 ) , ( b s 1 , 0.8 ) , ( c s 1 , 0.8 ) , ( c s 2 , 0.9 ) } )
{ x 2 } ( { ( a s 0 , 0.7 ) , ( b s 2 , 0.6 ) , ( c s 0 , 0.6 ) } , { ( a s 1 , 0.9 ) , ( a s 2 , 0.8 ) , ( b s 0 , 0.8 ) , ( b s 1 , 0.8 ) , ( c s 0 , 0.6 ) , ( c s 1 , 1 ) } )
{ x 3 } ( { ( c s 1 , 0.6 ) } , { ( a s 0 , 0.7 ) , ( a s 1 , 0.8 ) , ( b s 0 , 0.6 ) , ( b s 2 , 0.9 ) , ( c s 0 , 0.9 ) , ( c s 2 , 0.7 ) } )
{ x 4 } ( { ( a s 2 , 0.7 ) , ( c s 0 , 0.8 ) } , { ( a s 0 , 0.9 ) , ( a s 1 , 0.8 ) , ( b s 0 , 0.7 ) , ( b s 1 , 0.8 ) , ( c s 1 , 1 ) , ( c s 2 , 0.8 ) } )
{ x 1 , x 2 } ( { ( a s 0 , 0.7 ) , ( a s 2 , 0.7 ) , ( b s 2 , 0.6 ) , ( c s 0 , 0.7 ) } , { ( a s 0 , 0.9 ) , ( a s 1 , 0.9 ) , ( a s 2 , 0.8 ) , ( b s 0 , 0.8 ) , ( b s 1 , 0.8 ) , ( c s 0 , 0.6 ) , ( c s 1 , 1 ) , ( c s 2 , 0.9 ) } )
{ x 1 , x 3 } ( { ( a s 2 , 0.7 ) , ( b s 2 , 0.6 ) , ( c s 0 , 0.7 ) , ( c s 1 , 0.6 ) } , { ( a s 0 , 0.9 ) , ( a s 1 , 0.8 ) , ( b s 0 , 0.8 ) , ( b s 1 , 0.8 ) , ( b s 2 , 0.9 ) , ( c s 0 , 0.9 ) , ( c s 1 , 0.8 ) , ( c s 2 , 0.9 ) } )
{ x 1 , x 4 } ( { ( a s 2 , 0.7 ) , ( b s 2 , 0.6 ) , ( c s 0 , 0.8 ) } , { ( a s 0 , 0.9 ) , ( a s 1 , 0.8 ) , ( b s 0 , 0.8 ) , ( b s 1 , 0.8 ) , ( c s 1 , 1 ) , ( c s 2 , 0.9 ) } )
{ x 2 , x 3 } ( { ( a s 0 , 0.7 ) , ( b s 2 , 0.6 ) , ( c s 0 , 0.6 ) , ( c s 1 , 0.6 ) } , { ( a s 0 , 0.7 ) , ( a s 1 , 0.9 ) , ( a s 2 , 0.8 ) , ( b s 0 , 0.8 ) , ( b s 1 , 0.8 ) , ( b s 2 , 0.9 ) , ( c s 0 , 0.9 ) , ( c s 1 , 1 ) , ( c s 2 , 0.7 ) } )
{ x 2 , x 4 } ( { ( a s 0 , 0.7 ) , ( a s 2 , 0.7 ) , ( b s 2 , 0.6 ) , ( c s 0 , 0.8 ) } , { ( a s 0 , 0.9 ) , ( a s 1 , 0.9 ) , ( a s 2 , 0.8 ) , ( b s 0 , 0.8 ) , ( b s 1 , 0.8 ) , ( c s 0 , 0.6 ) , ( c s 1 , 1 ) , ( c s 2 , 0.8 ) } )
{ x 3 , x 4 } ( { ( a s 2 , 0.7 ) , ( c s 0 , 0.8 ) , ( c s 1 , 0.6 ) } , { ( a s 0 , 0.9 ) , ( a s 1 , 0.8 ) , ( b s 0 , 0.7 ) , ( b s 1 , 0.8 ) , ( b s 2 , 0.9 ) , ( c s 0 , 0.9 ) , ( c s 1 , 1 ) , ( c s 2 , 0.8 ) } )
{ x 1 , x 2 , x 3 } ( { ( a s 0 , 0.7 ) , ( a s 2 , 0.7 ) , ( b s 2 , 0.6 ) , ( c s 0 , 0.7 ) , ( c s 1 , 0.6 ) } , { ( a s 0 , 0.9 ) , ( a s 1 , 0.9 ) , ( a s 2 , 0.8 ) , ( b s 0 , 0.8 ) , ( b s 1 , 0.8 ) , ( b s 2 , 0.9 ) , ( c s 0 , 0.9 ) , ( c s 1 , 1 ) , ( c s 2 , 0.9 ) } )
{ x 1 , x 2 , x 4 } ( { ( a s 0 , 0.7 ) , ( a s 2 , 0.7 ) , ( b s 2 , 0.6 ) , ( c s 0 , 0.8 ) } , { ( a s 0 , 0.9 ) , ( a s 1 , 0.9 ) , ( a s 2 , 0.8 ) , ( b s 0 , 0.8 ) , ( b s 1 , 0.8 ) , ( c s 0 , 0.6 ) , ( c s 1 , 1 ) , ( c s 2 , 0.9 ) } )
{ x 1 , x 3 , x 4 } ( { ( a s 2 , 0.7 ) , ( b s 2 , 0.7 ) , ( c s 0 , 0.8 ) , ( c s 1 , 0.6 ) } , { ( a s 0 , 0.9 ) , ( a s 1 , 0.8 ) , ( b s 0 , 0.8 ) , ( b s 1 , 0.8 ) , ( b s 2 , 0.9 ) , ( c s 0 , 0.9 ) , ( c s 1 , 1 ) , ( c s 2 , 0.9 ) } )
{ x 2 , x 3 , x 4 } ( { ( a s 0 , 0.7 ) , ( a s 2 , 0.7 ) , ( b s 2 , 0.6 ) , ( c s 0 , 0.8 ) , ( c s 1 , 0.6 ) } , { ( a s 0 , 0.9 ) , ( a s 1 , 0.9 ) , ( a s 2 , 0.8 ) , ( b s 0 , 0.8 ) , ( b s 1 , 0.8 ) , ( b s 2 , 0.9 ) , ( c s 0 , 0.9 ) , ( c s 1 , 1 ) , ( c s 2 , 0.8 ) } )
{ x 1 , x 2 , x 3 , x 4 } ( { ( a s 0 , 0.7 ) , ( a s 2 , 0.7 ) , ( b s 2 , 0.6 ) , ( c s 0 , 0.8 ) , ( c s 1 , 0.6 ) } , { ( a s 0 , 0.9 ) , ( a s 1 , 0.9 ) , ( a s 2 , 0.8 ) , ( b s 0 , 0.8 ) , ( b s 1 , 0.8 ) , ( b s 2 , 0.9 ) , ( c s 0 , 0.9 ) , ( c s 1 , 1 ) , ( c s 2 , 0.9 ) } )
( , )
Table 5. FOEALG-discernibility matrix of ( G , L s α , I ˜ ) .
Table 5. FOEALG-discernibility matrix of ( G , L s α , I ˜ ) .
x 1 x 2 x 3 x 4
x 1 a s 0 a s 2 c s 0 c s 2 a s 0 a s 2 b s 0 b s 1 b s 2 c s 0 c s 1 c s 2 b s 0 b s 2 c s 2
x 2 a s 0 a s 1 a s 2 c s 0 c s 1 c s 2 a s 0 a s 1 a s 2 b s 0 b s 1 b s 2 c s 1 c s 2 a s 0 a s 1 a s 2 b s 0 b s 2 c s 0 c s 2
x 3 b s 2 c s 0 c s 1 a s 0 b s 2 c s 0 c s 1 c s 2 b s 2 c s 0 c s 1
x 4 c s 0 c s 1 a s 0 a s 2 c s 0 c s 2 a s 0 a s 2 b s 0 b s 1 c s 0 c s 1 c s 2
Table 6. Comparison of other reduction methods.
Table 6. Comparison of other reduction methods.
Methods  The Type of
Concept Lattice
Concept
Extent
Concept
Intent
Reduction
Methods
Reduction Conditions
for Preservation
Linguistic
Information
Fuzzy
Information
Ref. [30] L O ( G , M , I ) XB1decision rules××
Ref. [39] O F T L ( G , M , I ˜ ) X( B ˜ , C ˜ )1granular matrix×
Ref. [22] O E L ( G , M , I ) X(B, C)4lattice structure/
granular information/
join (meet)-irreducible elements     
××
Ref. [48] L L ( G , L s α , I ) X B s α 2multi-granularity similarity relations/
binary relation   
×
Our methods F O E A L ( G , L s α , I ˜ ) X( B ˜ s α , C ˜ s α )2granular concept/
entropy information   
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Cui, H.; Deng, A.; Yue, G.; Zou, L.; Martinez, L. The Linguistic Concept’s Reduction Methods under Symmetric Linguistic-Evaluation Information. Symmetry 2023, 15, 813. https://doi.org/10.3390/sym15040813

AMA Style

Cui H, Deng A, Yue G, Zou L, Martinez L. The Linguistic Concept’s Reduction Methods under Symmetric Linguistic-Evaluation Information. Symmetry. 2023; 15(4):813. https://doi.org/10.3390/sym15040813

Chicago/Turabian Style

Cui, Hui, Ansheng Deng, Guanli Yue, Li Zou, and Luis Martinez. 2023. "The Linguistic Concept’s Reduction Methods under Symmetric Linguistic-Evaluation Information" Symmetry 15, no. 4: 813. https://doi.org/10.3390/sym15040813

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop