Generating irregular fractals based on iterated function systems

1.   Introduction

In 1982, Pawlak ^[48,49] established the concept of rough set theory as a crucial foundation for the analysis of information systems that involve ambiguity/imperfect data. This theory starts from an equivalence relation $R$ over the universe $U$, which serves to define the granule (or block) bases. These bases are known as equivalent classes and it is said that the elements lie in the same class or category provided that they are associated with each other by $R$. To decide the nature of the information obtained from a rough set of data, the concepts of lower approximation and upper approximation which are central in the rough set theory have been introduced. The ordered pair consisting of lower and upper approximations known as P-approximation space. For more illustrative descriptions of the obtained information in terms of structure and completeness of knowledge, researchers have put forward the concepts of a boundary region and an accuracy measure.

The condition of equivalence relation that is imposed for P-approximation spaces is a strict condition that limits the applications of rough sets. Therefore, Yao ^[55] relaxed this condition to an arbitrary relation and defined the after and before neighborhoods as novel granule bases to analyze information systems. This model (called G-approximation space) overcame the drawbacks of P-approximation space and helped decision-makers to deal with a wide range of practical problems. Afterward, many researchers and scholars introduced new sorts of neighborhood systems ^[1,5,6,59]. By using operators like union, intersection, subset and superset, various scholars have proposed another category of rough neighborhoods. Among them, Mareay ^[43] applied the equality relation between Yao's neighborhoods to present new rough set paradigms. Further discussion about these paradigms has been conducted in ^[21,22]. Dai et al. ^[24] displayed three types of rough models by using the concept of maximal right neighborhoods inspired by a similarity relation. Then, Al-shami ^[9] provided seven rough set paradigms from the perspective of different kinds of maximal neighborhoods they generated from arbitrary binary relations. He exploited these models to rank suspected individuals of COVID-19. Fresh techniques to create G-approximation spaces utilizing maximal neighborhoods have been suggested by Azzam and Al-shami ^[23]. In the previous studies, various types of G-approximation spaces have been introduced with the aim to develop characterizations of boundary regions and accuracy measures such as $\mathbb{I}_j$-neighborhoods ^[14], containment rough neighborhoods ^[8] and subset rough neighborhoods ^[13]. Abu-Donia ^[2,3] exhibited approximation operators using finite set relations instead of one relation, which offers more advantages for G-approximation spaces and can handle some real-life issues. To cope with some complicated problems and widen the scope of applications, several authors have hybridized the rough set with fuzzy set and soft set theories ^{[18,19,20,27,37,42,44,45,46,52]}.

Given the similarity between interior and closure operators and lower and upper rough approximation operators, scholars have studied G-approximation spaces from the perspective of topology ^{[41,51,53,54,60]}. Moreover, some generalizations of topology such as supra topology ^[12], infra topology ^[16], minimal structure ^[7,26], generalized open sets ^[4,10,11] and bitopology ^[50] have been used to describe G-approximation spaces. In 2013, Kandil et al. ^[39] introduced the abstract principle of the so-called ideal $\mathcal{K}$ with rough neighborhoods to provide the ideal G-approximation spaces (I-G-approximation spaces) as new rough set paradigms, which maximize the accuracy. This combination has been approved by several authors, who made use of it to reduce the upper approximation and increase the lower approximation. The aforementioned neighborhood systems have been reformulated within the frameworks of I-G-approximation spaces ^{[30,32,40,47]}, topological structures ^{[17,28,31,58]} and graph theory ^[29]. It was combined ideals and diverse types of maximal neighborhoods to construct some approximation spaces that have desirable properties to cope with some practical issues by some authors ^{[15,33,34,35]}.

Al-shami et al. ^[14] presented the concept of $E_j$-neighborhoods (studied here under the name of $\mathbb{I}_j$-neighborhoods) using the intersection operator between Yao's neighborhoods. Then, Hosny et al. ^[36] analyzed the rough set models induced from $\mathbb{I}_j$-neighborhoods via I-G-approximation spaces and topologies. Here, we replace the nonempty intersection of $\mathbb{I}_j$-neighborhoods by the belong relation to ideal with the aim to establish new types of neighborhood systems, namely, $\mathbb{I}^{\mathcal{K}}_{j}$-neighborhoods. We demonstrate in this context the advantages of the proposed models as tools to enlarge lower (shrink upper) approximation and reduce ambiguity regions, which results in a more accurate decision. Also, we illustrate via our experimental results on Chikungunya's information system that the proposed approach outperforms state-of-the-art methods ^[14,36] in terms of improving approximation operators and increasing accuracy measures. Finally, it should be noted that the current methodology is valid for any arbitrary binary relation, which means that the strict condition of an equivalence relation for P-approximation spaces can be eliminated.

The layout of this article is as follows. Section 2 describes the basic concepts of rough neighborhoods, topologies, and ideals. Then, Section 3 is devoted to presenting new rough neighborhood systems, i.e., $\mathbb{I}^{\mathcal{K}}_{j}$-neighborhoods, and exploring their basic properties. In Section 4, we employ $\mathbb{I}^{\mathcal{K}}_{j}$-neighborhoods to present some rough set paradigms and elucidate their merits compared to the state-of-the-art methods given in ^[14,36]. These models are discussed from the perspective of topology in Section 5. In Section 6 we give a medical example on the subject of Chikungunya's information system to illustrate how the current models effectively assist to reduce the amount of uncertain information and increase the decision-making accuracy. Finally, in Section 7, we conclude our paper with a summary of the paper's contributions and a direction for further research.

2.   Preliminaries

This section is dedicated to recalling the preliminaries and fundamentals that are necessary for the readers to be aware of the manuscript content.

It is well known that a (binary) relation $R$ on a nonempty set $U$ is a subset of $U\times U$. For $s, t\in U$ we write $sRt$ if $(s, t)\in R$.

Definition 2.1. (see ^[25]) A relation $R$ on $U$ is said to be:

$1)$ reflexive if $sRs, \forall s\in U.$

$2)$ symmetric if $sRt\Leftrightarrow tRs.$

$3)$ transitive if $sRt$ whenever $tRp$ and $sRp.$

$4)$ preorder (or quasi-order) if it is reflexive and transitive.

$5)$ equivalence if it is reflexive, symmetric and transitive.

$6)$ serial if for each $s\in U$ there exists $t\in U$ such that $sRt$.

Henceforth, we consider $U$ as a nonempty finite set and $R$ as an arbitrary relation unless we state otherwise.

Definition 2.2. The following $\omega$-neighborhoods of an element $s\in U$ inspired by a relation $R$ are defined as follows:

$1)$ after neighborhood of $s$, denoted by $\omega_{a}(s)$ is given by ${\omega}_{a}(s) = \{t\in U: (s, t)\in R\}$ ^[55].

$2)$ before neighborhood of $s$, denoted by $\omega_{b}(s)$ is given by ${\omega}_{b}(s) = \{t\in U: (t, s)\in R\}$ ^[55].

$3)$ minimal-after neighborhood of $s$, denoted by ${\omega}_{\langle a\rangle}(s)$, is the intersection of all after neighborhoods containing $s$ ^[5,6].

$4)$ minimal-before neighborhood of $s$, denoted by ${\omega}_{\langle b\rangle}(s)$, is the intersection of all before neighborhoods containing $s$ ^[5,6].

Remark 2.3. Some authors studied "after neighborhoods" and "before neighborhoods" under the names "right neighborhoods" and "left neighborhoods", respectively.

Definition 2.4. ^[14] The following $\mathbb{I}$-neighborhoods of an element $s\in U$ inspired by a relation $R$ are defined as follows:

$1)$ $\mathbb{I}_a(s) = \{t\in U:{\omega}_{a}(t)\cap {\omega}_{a}(s)\neq \phi\}.$

$2)$$\mathbb{I}_b(s) = \{t\in U:{\omega}_{b}(t)\cap {\omega}_{b}(s)\neq \phi\}.$

$3)$$\mathbb{I}_i(s) = \mathbb{I}_a(s)\cap \mathbb{I}_b(s).$

$4)$$\mathbb{I}_u(s) = \mathbb{I}_a(s)\cup \mathbb{I}_b(s).$

$5)$$\mathbb{I}_{\langle a\rangle}(s) = \{t\in U:{\omega}_{\langle a\rangle}(t)\cap {\omega}_{\langle a\rangle}(s)\neq \phi\}.$

$6)$$\mathbb{I}_{\langle b\rangle}(s) = \{t\in U:{\omega}_{\langle b\rangle}(t)\cap {\omega}_{\langle b\rangle}(s)\neq \phi\}.$

$7)$$\mathbb{I}_{\langle i\rangle}(s) = \mathbb{I}_{\langle a\rangle}(s)\cap \mathbb{I}_{\langle b\rangle}(s).$

$8)$$\mathbb{I}_{\langle u\rangle}(s) = \mathbb{I}_{\langle a\rangle}(s)\cup \mathbb{I}_{\langle b\rangle}(s).$

In ^[14], $\mathbb{I}$-neighborhoods were studied under the name "$E$-neighborhoods".

Definition 2.5. ^[22,43] The following $\rho$-neighborhoods of an element $s\in U$ inspired by a relation $R$ are defined as follows:

$1)$$\rho_a(s) = \{t\in U:{\omega}_{a}(t) = {\omega}_{a}(s)\}.$

$2)$$\rho_b(s) = \{t\in U:{\omega}_{b}(t) = {\omega}_{b}(s)\}.$

$3)$$\rho_i(s) = \rho_a(s)\cap \rho_b(s).$

$4)$$\rho_u(s) = \rho_a(s)\cup \rho_b(s).$

$5)$$\rho_{\langle a\rangle}(s) = \{t\in U:{\omega}_{\langle a\rangle}(t) = {\omega}_{\langle a\rangle}(s)\}.$

$6)$$\rho_{\langle b\rangle}(s) = \{t\in U:{\omega}_{\langle b\rangle}(t) = {\omega}_{\langle b\rangle}(s)\}.$

$7)$$\rho_{\langle i\rangle}(s) = \rho_{\langle a\rangle}(s)\cap \rho_{\langle b\rangle}(s).$

$8)$$\rho_{\langle u\rangle}(s) = \rho_{\langle a\rangle}(s)\cup \rho_{\langle b\rangle}(s).$

For simplicity, the set $\{a, b, \langle a\rangle, \langle b\rangle, i, u, \langle i\rangle, \langle u\rangle\}$ will be denoted by $\mho$.

Definition 2.6. ^[56,57] For $\omega$-neighborhoods and for each $j\in \mho$, the approximation operators (lower and upper), boundary region, and measures of accuracy and roughness of a nonempty subset $F$ of $U$ are respectively given by

$R_{\bigstar}^{\omega_{j}}(F) = \{s\in U:\omega_j(s) \subseteq F\}.$

${R^{\bigstar}}^{\omega_{j}}(F) = \{s\in U:\omega_j(s)\cap F \neq\phi\}.$

${BND^{\bigstar}_{R}}^{\omega_{j}}(F) = {R^{\bigstar}}^{\omega_{j}}(F)- R_{\bigstar}^{\omega_{j}}(F).$

${ACC^{\bigstar}_{R}}^{\omega_{j}}(F) = \frac{|R_{\bigstar}^{\omega_{j}}(F)\cap F|}{|{R^{\bigstar}}^{\omega_{j}}(F)\cup F|}.$

${Rough^{\bigstar}_{R}}^{\omega_{j}}(F) = 1-{ACC^{\bigstar}_{R}}^{\omega_{j}}(F).$

Definition 2.7. ^[14] For $\mathbb{I}$-neighborhoods and for each $j\in \mho$, the approximation operators (lower and upper), boundary region, and measures of accuracy and roughness of a nonempty subset $F$ of $U$ are respectively given by

$R_{\bigstar}^{\mathbb{I}_{j}}(F) = \{s \in U :\mathbb{I}_j(s) \subseteq F\}.$

${R^{\bigstar}}^{\mathbb{I}_{j}}(F) = \{s \in U :\mathbb{I}_j(s)\cap F \neq\phi\}.$

${BND^{\bigstar}_{R}}^{\mathbb{I}_{j}}(F) = {R^{\bigstar}}^{\mathbb{I}_{j}}(F)-R_{\bigstar}^{\mathbb{I}_{j}}(F).$

${ACC^{\bigstar}_{R}}^{\mathbb{I}_{j}}(F) = \frac{|R_{\bigstar}^{\mathbb{I}_{j}}(F)\cap F|}{|{R^{\bigstar}}^{\mathbb{I}_{j}}(F)\cup F|}.$

${Rough^{\bigstar}_{R}}^{\mathbb{I}_{j}}(F) = 1-{ACC^{\bigstar}_{R}}^{\mathbb{I}_{j}}(F).$

Definition 2.8. ^[38] An ideal $\mathcal{K}$ on any nonempty set $U$ is a nonempty collection of subsets of $U$ that is closed under finite unions and subsets, i.e., it satisfies the following conditions:

$1)$$F \in \mathcal{K}$ and $H \in\mathcal{J}\Rightarrow F\cup H\in\mathcal{K},$

$2)$$F \in \mathcal{K}$ and $H \subseteq F \Rightarrow H\in \mathcal{K}.$

Definition 2.9. ^[36] Let $R$ and $\mathcal{K}$ respectively denote the binary relation and ideal on a nonempty set $U$. The approximation operators (lower and upper), boundary region, accuracy and roughness of a nonempty subset $L$ of $U$ derived from $R$ and $\mathcal{K}$ through the use of $\mathbb{I}$-neighborhoods respectively given by

$L_{\bigstar}^{\mathbb{I}_{j}}(L) = \{s\in U :\mathbb{I}_{j}(s) \cap L^{c} \in \mathcal{K}\}.$

${U^{\bigstar}}^{\mathbb{I}_{j}}(L) = \{s\in U :\mathbb{I}_{j}(s)\cap L \not\in \mathcal{K}\}.$

${\triangle^{\bigstar}_{R}}^{\mathbb{I}_{j}}(L) = {U^{\bigstar}}^{\mathbb{I}_{j}}(L)- L_{\bigstar}^{\mathbb{I}_{j}}(L).$

${\mathcal{M}^{\bigstar}_{R}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) = \frac{|L_{\bigstar}^{\mathbb{I}_{j}}(L)\cap L|}{|{U^{\bigstar}}^{\mathbb{I}_{j}}(L)\cup L|}.$

${\mathcal{R}^{\bigstar}_{R}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) = 1- {\mathcal{M}^{\bigstar}_{R}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L).$

Definition 2.10. ^[22] For $\rho$-neighborhoods and for each $j\in \mho$, the approximation operators (lower and upper), boundary region, and measures of accuracy and roughness of a nonempty subset $F$ of $U$ are respectively given by

$R_{\bigstar}^{\rho_{j}}(F) = \{s \in U :\rho_j(s) \subseteq F\}.$

${R^{\bigstar}}^{\rho_{j}}(F) = \{s \in U :\rho_j(s)\cap F \neq\phi\}.$

${BND^{\bigstar}_{R}}^{\rho_{j}}(F) = {R^{\bigstar}}^{\rho_{j}}(F)- R_{\bigstar}^{\rho_{j}}(F).$

${ACC^{\bigstar}_{R}}^{\rho_{j}}(F) = \frac{|R_{\bigstar}^{\rho_{j}}(F)\cap F|}{|{R^{\bigstar}}^{\rho_{j}}(F)\cup F|}.$

${Rough^{\bigstar}_{R}}^{\rho_{j}}(F) = 1-{ACC^{\bigstar}_{R}}^{\rho_{j}}(F).$

Theorem 2.11. ^[14] Let $\mathcal{K}$ be an ideal on $U.$ Then, $\forall j \in \mho$, the following holds:

$1)$$\tau^{\omega_{j}} = \{A \subseteq U:\forall s\in A, {\omega}_{j}(s) \subseteq A\}$ is a topology on $U.$

$2)$$\tau^{\rho_{j}} = \{A \subseteq U:\forall s\in A, {\rho}_{j}(s) \subseteq A\}$ is a topology on $U.$

$3)$$\tau^{\mathbb{I}_{j}} = \{A \subseteq U:\forall s\in A, {\mathbb{I}}_{j}(s) \subseteq A\}$ is a topology on $U.$

Definition 2.12. ^[14] Let $\tau^{\mathbb{I}_{j}}$ be a topology on $U$ that is described by the above theorem $\forall j \in \mho$ and $A \subseteq U$. Then, the interior and closure operators of $A$ in $(U, \tau^{\mathbb{I}_{j}})$, denoted by $\underline{\tau^{\mathbb{I}_{j}}}(A)$ and $\overline{\tau^{\mathbb{I}_{j}}}(A)$, are called the $\tau^{\mathbb{I}_{j}}$-lower approximation and $\tau^{\mathbb{I}_{j}}$-upper approximation, respectively.

Definition 2.13. ^[14] The $\tau^{\mathbb{I}_{j}}$-boundary and $\tau^{\mathbb{I}_{j}}$-accuracy induced by a topological space $(U, \tau^{\mathbb{I}_{j}})$ are respectively given by $BND^{\tau^{\mathbb{I}_{j}}}(A) = \overline{\tau^{\mathbb{I}_{j}}}(A)-\underline{\tau^{\mathbb{I}_{j}}}(A)$ and $ACC^{\tau^{\mathbb{I}_{j}}}(A) = \frac{|\underline{\tau^{\mathbb{I}_{j}}}(A)|} {|\overline{\tau^{\mathbb{I}_{j}}}(A)|}$.

3.   Novel types of rough set neighborhoods based on $\mathbb{I}$-neighborhoods and ideals

In this section, we put forward a new type of neighborhood system generated by $\mathbb{I}$-neighborhoods and an ideal structure. We scrutinize the main features of these neighborhoods and elucidate the relationships between them as well as their relationships with the aforementioned types.

Definition 3.1. Let $R$ be a relation on $U$ and $\mathcal{K}$ an ideal on $U$. Then, the $\mathbb{I}^{\mathcal{K}}_{j}$-neighborhoods of $s\in U$ are defined as follows:

$1)$$\mathbb{I}^{\mathcal{K}}_{a}(s) = \{t\in U:{\omega}_{a}(t)\cap {\omega}_{a}(s)\not\in \mathcal{K} \}.$

$2)$$\mathbb{I}^{\mathcal{K}}_{b}(s) = \{t\in U:{\omega}_{b}(t)\cap {\omega}_{b}(s)\not\in \mathcal{K}\}.$

$3)$ $\mathbb{I}^{\mathcal{K}}_{i}(s) = \mathbb{I}^{\mathcal{K}}_{a}(s)\cap \mathbb{I}^{\mathcal{K}}_{b}(s).$

$4)$ $\mathbb{I}^{\mathcal{K}}_{u}(s) = \mathbb{I}^{\mathcal{K}}_{a}(s)\cup \mathbb{I}^{\mathcal{K}}_{b}(s).$

$5)$$\mathbb{I}^{\mathcal{K}}_{\langle a\rangle}(s) = \{t\in U:{\omega}_{\langle a\rangle}(t)\cap {\omega}_{\langle a\rangle}(s)\not \in \mathcal{K} \}.$

$6)$$\mathbb{I}^{\mathcal{K}}_{\langle b\rangle}(s) = \{t\in U:{\omega}_{\langle b\rangle}(t)\cap {\omega}_{\langle b\rangle}(s)\not\in \mathcal{K}\}.$

$7)$$\mathbb{I}^{\mathcal{K}}_{\langle i\rangle}(s) = \mathbb{I}^{\mathcal{K}}_{\langle a\rangle}(s)\cap \mathbb{I}^{\mathcal{K}}_{\langle b\rangle}(s).$

$8)$$\mathbb{I}^{\mathcal{K}}_{\langle u\rangle}(s) = \mathbb{I}^{\mathcal{K}}_{\langle a\rangle}(s)\cup \mathbb{I}^{\mathcal{K}}_{\langle b\rangle}(s).$

It should be noted that if $\mathcal{K} = \phi$ in Theorem 3.2, then Definition 3.1 is equivalent to the previous one in Definition 2.4 ^[14]. So, the current work is considered as a real extension of the work in ^[14].

Theorem 3.2. Let $(U, R, \mathcal{K})$ be an I-G approximation space. Then, $\mathbb{I}^{\mathcal{K}}_{j}(s)\subseteq \mathbb{I}_{j}(s), \forall j\in \mho.$

Proof: We prove the case for $j = a$ and the other cases similarly. Let $t\in \mathbb{I}^{\mathcal{K}}_{a}(s).$ Then, ${\omega}_{a}(t)\cap {\omega}_{a}(s)\not\in \mathcal{K}.$ Thus, ${\omega}_{a}(t)\cap {\omega}_{a}(s)\neq \phi.$ So, $t\in \mathbb{I}_{a}(s).$ Hence, $\mathbb{I}^{\mathcal{K}}_{a}(s)\subseteq \mathbb{I}_{a}(s).$

The converse of Theorem 3.2 is not true in general as shown in the following example.

Example 3.3. Let $U = \{p, q, s, t\},$ $R = \{(p, p), (t, t), (p, s), (p, t), (t, q), (q, t)\}$ and $\mathcal{K} = \{\phi, \{t\}\}.$ In Table 1, we compute $\omega_{j}$-neighborhoods, $\rho_{j}$-neighborhoods, $\mathbb{I}_{j}$-neighborhoods and $\mathbb{I}^{\mathcal{K}}_{j}$-neighborhoods.

Theorem 3.4. Let $(U, R, \mathcal{K})$ be an I-G approximation space and $s\in U$. Then, the following holds:

$1)$$\mathbb{I}^{\mathcal{K}}_{i}(s)\subseteq \mathbb{I}^{\mathcal{K}}_{a}(s)\cap \mathbb{I}^{\mathcal{K}}_{b}(s)\subseteq \mathbb{I}^{\mathcal{K}}_{a}(s)\cup \mathbb{I}^{\mathcal{K}}_{b}(s)\subseteq \mathbb{I}^{\mathcal{K}}_{u}(s).$

$2)$$\mathbb{I}^{\mathcal{K}}_{\langle i\rangle}(s)\subseteq \mathbb{I}^{\mathcal{K}}_{\langle a\rangle}(s)\cap \mathbb{I}^{\mathcal{K}}_{\langle b\rangle}(s)\subseteq \mathbb{I}^{\mathcal{K}}_{\langle a\rangle}(s)\cup \mathbb{I}^{\mathcal{K}}_{\langle b\rangle}(s)\subseteq \mathbb{I}^{\mathcal{K}}_{\langle u\rangle}(s).$

$3)$$t\in \mathbb{I}^{\mathcal{K}}_{j}(s)\Leftrightarrow s\in \mathbb{I}^{\mathcal{K}}_{j}(t), \forall j\in\mho.$

$4)$if $R$ is reflexive, then $\mathbb{I}^{\mathcal{K}}_{\langle j\rangle}(s) \subseteq \mathbb{I}^{\mathcal{K}}_{j}(s)$ and $\rho_j(s) \cup \omega_j(s)\subseteq \mathbb{I}^{\mathcal{K}}_{j}(s), \forall j\in\mho.$

$5)$If $R$ is symmetric, then $\mathbb{I}^{\mathcal{K}}_{i}(s) = \mathbb{I}^{\mathcal{K}}_{a}(s) = \mathbb{I}^{\mathcal{K}}_{b}(s) = \mathbb{I}^{\mathcal{K}}_{u}(s)$ and $\mathbb{I}^{\mathcal{K}}_{\langle i\rangle}(s) = \mathbb{I}^{\mathcal{K}}_{\langle a\rangle}(s) = \mathbb{I}^{\mathcal{K}}_{\langle b\rangle}(s) = \mathbb{I}^{\mathcal{K}}_{\langle u\rangle}(s).$

$6)$If $R$ is transitive, then $\mathbb{I}^{\mathcal{K}}_{j}(s) \subseteq \mathbb{I}^{\mathcal{K}}_{\langle j\rangle}(s), \forall j\in\{a, b, i, u\}.$

$7)$If $R$ is serial, then $\rho_j(s)\subseteq \mathbb{I}^{\mathcal{K}}_{j}(s), \forall j\in\mho.$

$8)$If $R$ is symmetric and transitive, then $\mathbb{I}^{\mathcal{K}}_{j}(s) \subseteq \omega_j(s)$ and $\mathbb{I}^{\mathcal{K}}_{j}(s) \subseteq \mathbb{I}^{\mathcal{K}}_{j}(t)$ (if $s\in \mathbb{I}^{\mathcal{K}}_{j}(t), \forall j\in\mho.$

$9)$If $R$ is an equivalence relation, then all instances of $\mathbb{I}^{\mathcal{K}}_{j}(s)$ are identical $\forall j\in\mho$.

Proof:

$(3)$ $p\in \mathbb{I}^{\mathcal{K}}_{j}(s)\Leftrightarrow {\omega}_{j}(p)\cap {\omega}_{j}(s)\not\in \mathcal{K}\Leftrightarrow s\in \mathbb{I}^{\mathcal{K}}_{j}(p), \forall j\in\{a, b, \langle a\rangle, \langle b\rangle\}.$ Hence, $p\in \mathbb{I}^{\mathcal{K}}_{j}(s)\Leftrightarrow s\in \mathbb{I}^{\mathcal{K}}_{j}(p), \forall j\in\{i, u, \langle i\rangle, \langle u\rangle\}.$

$(4)$ First, ${\cap}_{p\in {\omega}_{a}(s)}{\omega}_{a}(s)\subseteq {\omega}_{a}(p)$ and ${\cap}_{p\in {\omega}_{b}(s)}{\omega}_{a}(s)\subseteq {\omega}_{b}(p)$ for $R$ is reflexive. Therefore, $\mathbb{I}^{\mathcal{K}}_{\langle a\rangle}(s) \subseteq \mathbb{I}^{\mathcal{K}}_{a}(s)$ and $\mathbb{I}^{\mathcal{K}}_{\langle b\rangle}(s) \subseteq \mathbb{I}^{\mathcal{K}}_{b}(s).$ So, $\mathbb{I}^{\mathcal{K}}_{\langle i\rangle}(s) \subseteq \mathbb{I}^{\mathcal{K}}_{i}(s)$ and $\mathbb{I}^{\mathcal{K}}_{\langle u\rangle}(s) \subseteq \mathbb{I}^{\mathcal{K}}_{u}(s).$

Second, Let $p\in {\omega}_j(s).$ Since $R$ is reflexive, then $p\in {\omega}_j(p).$ Consequently, $p\in {\omega}_j(p)\cap {\omega}_j(s).$ Hence, ${\omega}_j(p)\cap {\omega}_j(s)\neq\phi.$ So, ${\omega}_j(p)\cap {\omega}_j(s)\not\in\mathcal{K}.$ Then, $p\in \mathbb{I}^{\mathcal{K}}_{j}(s)$ and consequently, ${\omega}_j(s) \subseteq \mathbb{I}^{\mathcal{K}}_{j}(s).$ Let $p\in P_j(s).$ Then, ${\omega}_j(p) = {\omega}_j(s)\neq\phi$ for $R$ is reflexive. So, ${\omega}_j(p)\cap {\omega}_j(s)\neq\phi.$ Hence, ${\omega}_j(p)\cap {\omega}_j(s)\not\in\mathcal{K}.$ Then, $p\in \mathbb{I}^{\mathcal{K}}_{j}(s)$ and consequently, $P_j(s) \subseteq \mathbb{I}^{\mathcal{K}}_{j}(s).$

$(5)$ ${\omega}_{a}(s) = {\omega}_{b}(s), \forall s\in U$ for $R$ is symmetric. Consequently, ${\omega}_{a}(s)\cap {\omega}_{a}(p)\not\in\mathcal{K}\Leftrightarrow {\omega}_{b}(s)\cap {\omega}_{b}(p)\not\in\mathcal{K}.$ So, $\mathbb{I}^{\mathcal{K}}_{a}(s) = \mathbb{I}^{\mathcal{K}}_{b}(s).$ Thus, $\mathbb{I}^{\mathcal{K}}_{a}(s) = \mathbb{I}^{\mathcal{K}}_{b}(s) = \mathbb{I}^{\mathcal{K}}_{i}(s) = \mathbb{I}^{\mathcal{K}}_{u}(s).$ Similarly, $\mathbb{I}^{\mathcal{K}}_{\langle a\rangle}(s) = \mathbb{I}^{\mathcal{K}}_{\langle b\rangle}(s) = \mathbb{I}^{\mathcal{K}}_{\langle i\rangle}(s) = \mathbb{I}^{\mathcal{K}}_{\langle u\rangle}(s).$

$(6)$ It follows from the fact that ${\omega}_{a}(s)\subseteq {\omega}_{\langle a\rangle}(p)$ for $R$ is transitive. Consequently, $\mathbb{I}^{\mathcal{K}}_{a}(s) \subseteq \mathbb{I}^{\mathcal{K}}_{\langle a\rangle}(s).$ Similarly, $\mathbb{I}^{\mathcal{K}}_{b}(s) \subseteq \mathbb{I}^{\mathcal{K}}_{\langle b\rangle}(s).$ Thus, $\mathbb{I}^{\mathcal{K}}_{i}(s) \subseteq \mathbb{I}^{\mathcal{K}}_{\langle i\rangle}(s)$ and $\mathbb{I}^{\mathcal{K}}_{u}(s) \subseteq \mathbb{I}^{\mathcal{K}}_{\langle u\rangle}(s).$

$(7)$ Follows by (3) and (4).

$(8)$ First, let $p \in \mathbb{I}^{\mathcal{K}}_{\langle i\rangle}(s).$ Then, ${\omega}_{a}(p)\cap {\omega}_{a}(s)\not\in\mathcal{K}.$ So, ${\omega}_{a}(p)\cap {\omega}_{a}(s)\neq\phi.$ Thus, there exists $q\in {\omega}_{a}(p)\cap {\omega}_{a}(s).$ So, $pRq$ and $xRq.$ Since $R$ is symmetric and transitive, $xRp$. Therefore, $p\in {\omega}_a(s)$ So, $\mathbb{I}^{\mathcal{K}}_{a}(s) \subseteq {\omega}_a(s).$

Second, since $R$ is symmetric, $\mathbb{I}^{\mathcal{K}}_{a}(s) = \mathbb{I}^{\mathcal{K}}_{b}(s) = \mathbb{I}^{\mathcal{K}}_{i}(s) = \mathbb{I}^{\mathcal{K}}_{u}(s).$ Let $s\in \mathbb{I}^{\mathcal{K}}_{a}(t).$ Then, ${\omega}_{a}(s)\cap {\omega}_{a}(t)\not\in\mathcal{K}.$ Thus, ${\omega}_{a}(s)\cap {\omega}_{a}(t)\neq\phi.$ So, there exists $a\in U$ such that $xRa$ and $yRa.$ Let $p\in \mathbb{I}^{\mathcal{K}}_{b}(s).$ Then, ${\omega}_{b}(p)\cap {\omega}_{b}(s)\not\in\mathcal{K}.$ So, there exists $b\in U$ such that $bRp$ and $bRx.$ Consequently, $aRp$ and $aRy$ since $R$ is symmetric and transitive. Therefore, $a\in {\omega}_{b}(p)\cap {\omega}_{b}(t).$ So, ${\omega}_{b}(p)\cap {\omega}_{b}(s)\neq\phi.$ Thus, $p\in \mathbb{I}^{\mathcal{K}}_{b}(t).$

$(9)$ First, by (4) and (8), $\mathbb{I}^{\mathcal{K}}_{j}(s) = {\omega}_j(s)$ and $P_j(s)\subseteq \mathbb{I}^{\mathcal{K}}_{j}(s).$ It remains to prove that $\mathbb{I}^{\mathcal{K}}_{j}(s) \subseteq P_j(s).$ Since $R$ is symmetric, $\mathbb{I}^{\mathcal{K}}_{a}(s) = \mathbb{I}^{\mathcal{K}}_{b}(s) = \mathbb{I}^{\mathcal{K}}_{i}(s) = \mathbb{I}^{\mathcal{K}}_{u}(s)$ by (5). Let $p\in \mathbb{I}^{\mathcal{K}}_{b}(s).$ Then, ${\omega}_{b}(p)\cap {\omega}_{b}(s)\not\in\mathcal{K}.$ Thus, ${\omega}_{b}(p)\cap {\omega}_{b}(s)\neq\phi.$ Since $R$ is an equivalence relation, ${\omega}_b(p) = {\omega}_b(s).$ Therefore, $p \in P_b(s).$ Consequently, $\mathbb{I}^{\mathcal{K}}_{b}(s) \subseteq P_b(s).$ Thus, the result is obtained.

Second, let $x \in\mathbb{I}^{\mathcal{K}}_{b}(t).$ Then, ${\omega}_{b}(s)\cap {\omega}_{b}(t)\not\in\mathcal{K}.$ Thus, ${\omega}_{b}(s)\cap {\omega}_{b}(t)\neq\phi.$ Since $R$ is an equivalence relation, ${\omega}_{b}(s) = {\omega}_{b}(t)\neq\phi.$ Therefore, $\mathbb{I}^{\mathcal{K}}_{j}(s) = \mathbb{I}^{\mathcal{K}}_{j}(t).$ Since, $R$ is reflexive, $s\in {\omega}_{b}(s).$ Hence, $s\in \mathbb{I}^{\mathcal{K}}_{j}(t).$

4.   Some new rough set models based on $\mathbb{I}^{\mathcal{K}}_{j}$-neighborhoods

This part is devoted to setting up new rough set models that are defined by using $\mathbb{I}^{\mathcal{K}}_{j}$-neighborhoods. Here, we research their main characterizations and compare them. We also demonstrate, with the help of illustrative examples, how the proposed models improve the approximation operators and increase the accuracy measures of subsets relative to those presented in ^[14,36].

Definition 4.1. Let $R$ and $\mathcal{K}$ respectively denote the binary relation and ideal on a nonempty set $U$. The improved operators (lower and upper), boundary region, accuracy and roughness of a nonempty subset $L$ of $U$ derived from $R$ and $\mathcal{K}$ are respectively given by

$R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) = \{s\in U :\mathbb{I}^{\mathcal{K}}_{j}(s) \cap L^{c} \in \mathcal{K}\}.$

${R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) = \{s\in U :\mathbb{I}^{\mathcal{K}}_{j}(s)\cap L \not\in \mathcal{K}\}.$

${BND^{\bigstar}_{R}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) = {R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)-R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L).$

${ACC^{\bigstar}_{R}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) = \frac{|R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)\cap L|}{|{R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)\cup L|}.$

${Rough^{\bigstar}_{R}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) = 1-{ACC^{\bigstar}_{R}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L).$

In Table 2, we offer a comparison of the approximation operators, boundary region, and accuracy measure results for a set $L$ as based on Definition 4.1 in the cases of $j\in\{a, b, i, u\}$.

Proposition 4.2. Consider $L, D\subseteq U$ and let $\mathcal{K}$ be an ideal and $R$ be a binary relation on $U$. Then the following holds:

$1)$if $L^{c}\in \mathcal{K},$ then $R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) = U.$

$2)$if $\mathcal{K} = P(U),$ then $R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) = U.$

$3)$$\phi\subseteq R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(\phi).$

$4)$$R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(U) = U.$

$5)$$L\subseteq D\Rightarrow R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)\subseteq R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(D).$

$6)$$R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L\cup D)\supseteq R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)\cup R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(D).$

$7)$$R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L\cap D) = R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)\cap R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(D).$

$8)$ $R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) = ({R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L^{c}))^{c}.$

Proof:

$(4)$

$(5)$ Let $s\in R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)$. Then, $\mathbb{I}^{\mathcal{K}}_{j}(s)\cap L^{c} \in \mathcal{K}$. Since $D^{c}\subseteq L^{c}$ and $\mathcal{K}$ is an ideal, it follows that $\mathbb{I}^{\mathcal{K}}_{j}(s)\cap D^{c} \in \mathcal{K}.$ Therefore, $s\in R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L).$ Hence, $R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)\subseteq R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(D).$

$(6)$ It follows immediately by part (5).

$(7)$ $R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L\cap D)\subseteq R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)\cap R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(D)$ by part (2). Let $s\in R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)\cap R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(D)$. Then,

$\mathbb{I}^{\mathcal{K}}_{j}(s)\cap L^{c} \in \mathcal{K}$ and $\mathbb{I}^{\mathcal{K}}_{j}(s)\cap D^{c} \in \mathcal{K}.$ It follows that $(\mathbb{I}^{\mathcal{K}}_{j}(s)\cap (L^{c} \cup D^{c}))\in \mathcal{K}$. So, $(\mathbb{I}^{\mathcal{K}}_{j}(s)\cap (L \cap D)^{c})\in \mathcal{K}.$ Therefore, $s\in R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L\cap D)$. Thus, $R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)\cap R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(D)\subseteq R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L\cap D).$ Hence, $R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L\cap D) = R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)\cap R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(D).$

$(8)$

Proposition 4.3. Consider $L, D\subseteq U$ and let $\mathcal{K}$ be an ideal and $R$ be a binary relation on $U$. Then the following holds:

$1)$if $L \in \mathcal{K},$ then ${R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) = \phi.$

$2)$if $\mathcal{K} = P(U),$ then ${R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) = \phi.$

$3)$ ${R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(U)\supseteq U.$

$4)$$\phi = {R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(\phi).$

$5)$$L\subseteq D\Rightarrow {R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)\subseteq {R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(D).$

$6)$${ R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L\cap D)\subseteq {R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)\cap { R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(D).$

$7)$${R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L\cup D) = {R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)\cup {R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(D).$

$8)$ ${R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) = ({R_{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L^{c}))^{c}.$

Proof:

$(4)$

$(5)$ Let $s\in {R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)$. Then, $\mathbb{I}^{\mathcal{K}}_{j}(s)\cap L \not\in \mathcal{K}$. Since $L\subseteq D$ and $\mathcal{K}$ is an ideal, it follows that $\mathbb{I}^{\mathcal{K}}_{j}(s)\cap D \not\in \mathcal{K}.$ Therefore, $s\in {R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(D).$ Hence, ${R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)\subseteq {R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(D).$

$(6)$ It follows immediately by part (5).

$(7)$ ${R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L\cup D)\supseteq {R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)\cup R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(D)$ by part (2). Let $x \in{R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L\cup D).$ Then, $\mathbb{I}^{\mathcal{K}}_{j}(s)\cap (L\cup D)\not\in \mathcal{K}.$ It follows that

$((\mathbb{I}^{\mathcal{K}}_{j}(s)\cap L) \cup (\mathbb{I}^{\mathcal{K}}_{j}(s)\cap D))\not\in \mathcal{K}.$ Therefore, $\mathbb{I}^{\mathcal{K}}_{j}(s)\cap L \not\in \mathcal{K}$ or $\mathbb{I}^{\mathcal{K}}_{j}(s)\cap D\not\in \mathcal{K},$ which means that $s\in {R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)$ or $R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(D).$ Then, ${R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)\cup R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(D).$ Thus, ${R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)\cup R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(D) \supseteq {R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L\cup D).$ Hence, ${R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L\cup D) = {R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)\cup R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(D).$

$(8)$

Remark 4.4. By Example 3.3, we elucidate that

$1)$the converse of part (5) in Propositions 4.2 and 4.3 is generally incorrect.

$2)$the inclusion relations of parts (3) and (6) in Propositions 4.2 and 4.3 are generally proper.

Theorem 4.5. Let $(U, R, \mathcal{K})$ be an I-G approximation space such that $L \subseteq U$. Then, $\forall j \in \mho$, the following holds:

$1)$$R_{\bigstar}^{\mathbb{I}_{j}}(L) \subseteq R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L).$

$2)$${R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) \subseteq {R^{\bigstar}}^{\mathbb{I}_{j}}(L).$

$3)$${BND^{\bigstar}_{R}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) \subseteq {BND^{\bigstar}_{R}}^{\mathbb{I}_{j}}(L).$

$4)$${ACC^{\bigstar}_{R}}^{\mathbb{I}_{j}}(L) \leq {ACC^{\bigstar}_{R}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L).$

Proof:

$(1)$ Let $s\in R_{\bigstar}^{\mathbb{I}_{j}}(L).$ Then, $\mathbb{I}_j(s) \subseteq L.$ Since $\mathbb{I}^{\mathcal{K}}_{j}(s)\subseteq \mathbb{I}_{j}(s)$ (by Theorem 3.2), then $\mathbb{I}^{\mathcal{K}}_{j}(s)\subseteq L.$ Thus, $\mathbb{I}^{\mathcal{K}}_{j}(s)\cap L^{c}\in \mathcal{K}.$ Hence, $s\in R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L).$ Therefore, $R_{\bigstar}^{\mathbb{I}_{j}}(L) \subseteq R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L).$

$(2)$ Let $s\in{R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L).$ Then, $\mathbb{I}^{\mathcal{K}}_{j}(s)\cap L\not\in \mathcal{K}.$ So, $\mathbb{I}^{\mathcal{K}}_{j}(s)\cap L\neq\phi.$ Consequently, $\mathbb{I}_{j}(s)\cap L\neq\phi$ given that $\mathbb{I}^{\mathcal{K}}_{j}(s)\subseteq \mathbb{I}_{j}(s)$ (by Theorem 3.2). Thus, $s\in{R^{\bigstar}}^{\mathbb{I}_{j}}(L).$ Therefore, ${R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) \subseteq {R^{\bigstar}}^{\mathbb{I}_{j}}(L).$

$(3)–(4)$ It follow by (1) and (2).

Remark 4.6. Consider Example 3.3 and the following:

$1)$ Table 3 shows that the inclusion relation and less than relation of parts in Theorem 4.5 are generally proper.

$2)$Table 4 shows that the approximations in ^[22,55] (see 2.6 and 2.10) and the proposed approximation operators in Definition 4.1 are incomparable.

5.   Generalized topology based on $\mathbb{I}^{\mathcal{K}}_{j}$-neighborhoods

One of the well-known approaches to initiating new rough set models is the use of a topology. Here, we provide a method to generate topological spaces from $\mathbb{I}^{\mathcal{K}}_{j}$-neighborhoods. Then, we exploit these topologies to introduce new approximation operators and accuracy measures. We make comparisons between them and explore their main properties.

Theorem 5.1. Let $(U, R, \mathcal{K})$ be an I-G approximation space. Then, $\forall j \in \mho$, the collection $\tau^{\mathbb{I}^{\mathcal{K}}_{j}} = \{L\subseteq U:\forall s\in L, \mathbb{I}^{\mathcal{K}}_{j}(s) \cap L^{c}\in\mathcal{K}\}$ is a topology on $U.$

Proof:

$(1)$ Clearly $U$ and $\phi$ belong to $\tau^{\mathbb{I}^{\mathcal{K}}_{j}}$.

$(2)$Let $L_{i}\in \tau^{\mathbb{I}^{\mathcal{K}}_{j}}\; (\forall i\in I)$ and $a\in \cup_{i\in I}L_{i}$. Then,

$\exists\; i_{0}\in I$ such that $a\in L_{i_{0}}\\ \Rightarrow \mathbb{I}^{\mathcal{K}}_{j}(a)\cap L^{c}_{i_{0}}\in\mathcal{I}\\ \Rightarrow \mathbb{I}^{\mathcal{K}}_{j}(a)\cap(\cup_{i\in I}L_{i})^{c}\in\mathcal{I}$

$\Rightarrow \cup_{i\in I}L_{i}\in \tau^{\mathbb{I}^{\mathcal{K}}_{j}}$.

$(3)$Let $L, D\in\tau^{\mathbb{I}^{\mathcal{K}}_{j}}$, and $a\in L\cap D.\\ \Rightarrow \mathbb{I}^{\mathcal{K}}_{j}(a)\cap L^{c}\in\mathcal{I}\; and\; \mathbb{I}^{\mathcal{K}}_{j}(a)\cap D^{c}\in\mathcal{I}\\ \Rightarrow (\mathbb{I}^{\mathcal{K}}_{j}(a)\cap L^{c}) \cup (\mathbb{I}^{\mathcal{K}}_{j} (a)\cap D^{c})\in\mathcal{I}\\ \Rightarrow \mathbb{I}^{\mathcal{K}}_{j}(a)\cap (L^{c}\cup D^{c})\in\mathcal{I}\\ \Rightarrow (\mathbb{I}^{\mathcal{K}}_{j}(a)\cap(L\cap D)^{c}\in\mathcal{I}\\ \Rightarrow L\cap D\in\tau^{\mathbb{I}^{\mathcal{K}}_{j}}.$

From (1)–(3), we obtain $\tau^{\mathbb{I}^{\mathcal{K}}_{j}}$ as a topology on $U.$

The proposed topologies, mentioned above, are finer than the previous ones ^[14] as is shown in the following result.

Theorem 5.2. Let $(U, R, \mathcal{K})$ be an I-G approximation space. Then, $\tau^{\mathbb{I}_{j}}\subseteq\tau^{\mathbb{I}^{\mathcal{K}}_{j}}$ $\forall j \in \mho.$

Proof: Let $L \in\tau^{\mathbb{I}_{j}}$. Then, $\mathbb{I}_{j}(s)\subseteq L\; \forall s\in L$ and consequently $\mathbb{I}^{\mathcal{K}}_{j}(s)\subseteq L\; \forall s\in L$ by Theorem 3.2. Thus, $\mathbb{I}^{\mathcal{K}}_{j}(s)\cap L^{c} = \phi\in\mathcal{K} \; \forall s\in L$. Therefore, $L \in\tau^{\mathbb{I}^{\mathcal{K}}_{j}}.$ Hence, $\tau^{\mathbb{I}_{j}}\subseteq\tau^{\mathbb{I}^{\mathcal{K}}_{j}}.$

Remark 5.3. It should be noted that the following holds:

$1)$If $\mathcal{K} = \phi$ in Theorem 5.2, then the proposed generated topologies are equivalent to those in Theorem 2.11 ^[14]. So, the current work is considered as a proper extension of the work in ^[14].

$2)$In Example 3.3, we obtain for $j = a$ the following: $P(U) = \tau^{\mathbb{I}^{\mathcal{K}}_{a}}\subsetneq \tau^{\mathbb{I}_{a}} = \{U, \phi, \{s\}, \{p, q, t\}\}$. This means that $\tau^{\mathbb{I}^{\mathcal{K}}_{j}}\subsetneq \tau^{\mathbb{I}_{j}}$.

Proposition 5.4. Let $(U, R, \mathcal{K})$ be an I-G approximation space. Then the following holds:

$1)$$\tau^{\mathbb{I}^{\mathcal{K}}_{u}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{a}}$ and $\tau^{\mathbb{I}^{\mathcal{K}}_{u}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{b}}.$

$2)$$\tau^{\mathbb{I}^{\mathcal{K}}_{a}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{i}}$ and $\tau^{\mathbb{I}^{\mathcal{K}}_{b}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{i}}.$

$3)$$\tau^{\mathbb{I}^{\mathcal{K}}_{\langle u\rangle}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{\langle a\rangle}}$ and $\tau^{\mathbb{I}^{\mathcal{K}}_{\langle u\rangle}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{\langle b\rangle}}.$

$4)$$\tau^{\mathbb{I}^{\mathcal{K}}_{\langle a\rangle}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{\langle i\rangle}}$ and $\tau^{\mathbb{I}^{\mathcal{K}}_{\langle b\rangle}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{\langle i\rangle}}.$

$5)$If $R$ is reflexive, then $\tau^{\mathbb{I}^{\mathcal{K}}_{\langle j\rangle}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{j}}$ and $\tau^{\rho^{\mathcal{K}}_{j}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{j}}, \forall j\in\mho.$

$6)$If $R$ is serial, then $\tau^{\rho^{\mathcal{K}}_{j}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{j}}, \forall j\in\{a, b, i, u\}.$

$7)$If $R$ is symmetric, then $\tau^{\mathbb{I}^{\mathcal{K}}_{a}} = \tau^{\mathbb{I}^{\mathcal{K}}_{b}} = \tau^{\mathbb{I}^{\mathcal{K}}_{i}} = \tau^{\mathbb{I}^{\mathcal{K}}_{u}}$ and $\tau^{\mathbb{I}^{\mathcal{K}}_{\langle a\rangle}} = \tau^{\mathbb{I}^{\mathcal{K}}_{\langle b\rangle}} = \tau^{\mathbb{I}^{\mathcal{K}}_{\langle i\rangle}} = \tau^{\mathbb{I}^{\mathcal{K}}_{\langle u\rangle}}.$

$8)$If $R$ is transitive, then $\tau^{\mathbb{I}^{\mathcal{K}}_{j}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{\langle j\rangle}}, \forall j\in\{a, b, i, u\}.$

$9)$ If $R$ is an equivalence relation, then $\forall j\in\mho$ all $\tau^{\mathbb{I}^{\mathcal{K}}_{j}}$ are identical.

Proof:

$(1)$ Let $L \in \tau^{\mathbb{I}^{\mathcal{K}}_{u}}$. Then, $\mathbb{I}^{\mathcal{K}}_{u}(p)\cap L^{c}\in\mathcal{K} \; \forall p\in L$. Thus, $(\mathbb{I}^{\mathcal{K}}_{a}(p)\cup \mathbb{I}^{\mathcal{K}}_{b}(p))\cap L^{c}\in\mathcal{K} \; \forall p\in L$. Hence, $\mathbb{I}^{\mathcal{K}}_{a}(p)\cap A^{c}\in\mathcal{K} \; \forall p\in L$ and $\mathbb{I}^{\mathcal{K}}_{b}(p)\cap L^{c}\in\mathcal{K} \; \forall p\in A$. Therefore, $L \in\tau^{\mathbb{I}^{\mathcal{K}}_{a}}$ and $L \in\tau^{\mathbb{I}^{\mathcal{K}}_{b}}$. Hence, $\tau^{\mathbb{I}^{\mathcal{K}}_{u}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{a}}$ and $\tau^{\mathbb{I}^{\mathcal{K}}_{u}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{b}}.$ Similarly, we can prove 3).

$(2)$Let $L \in \tau^{\mathbb{I}^{\mathcal{K}}_{a}}$. Then, $\mathbb{I}^{\mathcal{K}}_{a}(p)\cap L^{c}\in\mathcal{K} \; \forall p\in L$. Thus, $(\mathbb{I}^{\mathcal{K}}_{a}(p)\cap \mathbb{I}^{\mathcal{K}}_{b}(p))\cap L^{c}\in\mathcal{K} \; \forall p\in L$. Hence, $\mathbb{I}^{\mathcal{K}}_{i}(p)\cap L^{c}\in\mathcal{K} \; \forall p\in L.$ Therefore, $L \in\tau^{\mathbb{I}^{\mathcal{K}}_{i}}$. Hence, $\tau^{\mathbb{I}^{\mathcal{K}}_{a}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{i}}.$ Similarly, we can prove 4).

$(5)–(9)$ It follows directly by Theorem 3.4.

Corollary 5.5. Let $(U, R, \mathcal{K})$ be an I-G approximation space. Then, $\forall j \in\mho$ we have the following properties:

$1)$$\tau^{\mathbb{I}^{\mathcal{K}}_{u}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{a}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{i}}.$

$2)$$\tau^{\mathbb{I}^{\mathcal{K}}_{u}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{b}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{i}}.$

$3)$$\tau^{\mathbb{I}^{\mathcal{K}}_{\langle u\rangle}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{\langle a\rangle}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{\langle i\rangle}}.$

$4)$$\tau^{\mathbb{I}^{\mathcal{K}}_{\langle u\rangle}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{\langle b\rangle}}\subseteq \tau^{\mathbb{I}^{\mathcal{K}}_{\langle i\rangle}}.$

Remark 5.6. Example 3.3 shows that the inclusion in Proposition 5.4 and Corollary 5.5 cannot be replaced by an equality relation.

Definition 5.7. Let $L$ be a subset of a topological space $(U, \tau^{\mathbb{I}^{\mathcal{K}}_{j}})$ $\forall j \in \mho$. The interior operator of $L$, denoted by $\underline{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L) = L^{o}$ and the closure operator of $L$, denoted by $\overline{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L) = \overline{L}$, are called the $\tau^{\mathbb{I}^{\mathcal{K}}_{j}}$-lower approximation and $\tau^{\mathbb{I}^{\mathcal{K}}_{j}}$-upper approximation, respectively.

Definition 5.8. The $\tau^{\mathbb{I}^{\mathcal{K}}_{j}}$-boundary and $\tau^{\mathbb{I}^{\mathcal{K}}_{j}}$-accuracy induced by a topological space $(U, \tau^{\mathbb{I}^{\mathcal{K}}_{j}})$ are respectively given by $BND^{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L) = \overline{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L)- \underline{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L)$ and $ACC^{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L) = \frac{|\underline{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L)|} {|\overline{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L)|}$.

Table 5 presents the comparison of the boundary region and accuracy measure results for a set $L$ as based on Definition 5.7 for $j\in\{a, b, i, u\}.$

By the next result, we confirm that the accuracy calculated by employing the approach of Section 4 is higher than that of this section.

Theorem 5.9. Let $(U, R, \mathcal{K})$ be an I-G approximation space. Then, $ACC^{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L)\leq {ACC^{\bigstar}_{R}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)$ $\forall j \in \mho$.

Proof: First, let $s\in \underline{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L).$ Then, $s\in R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L).$ Thus, $\underline{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L) \subseteq R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L).$ So, $|\underline{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L)| \leq |R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)|.$ Second, let $s\in{R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) \cup L.$ Then, $s\in{R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L)$ or $s\in L.$ Thus, $\mathbb{I}^{\mathcal{K}}_{j}(s)\cap L \not\in \mathcal{K}$ or $s\in\overline{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L).$ So, $\frac{1}{|\overline{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L)|} \leq \frac{1}{|{R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) \cup L|}.$ Consequently, $ACC^{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(A) = \frac{|\underline{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L)|}{|\overline{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L)|}\leq \frac{|R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) \cap L|}{|{R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) \cup L|} = {ACC^{\bigstar}_{R}}^{\mathbb{I}^{\mathcal{K}}_{j}}.$

Theorem 5.10. Let $L$ be a subset of an I-G approximation space $(U, R, \mathcal{K})$. Then, $\forall j \in \mho$, we have the following:

$1)$$\underline{\tau^{\mathbb{I}_{j}}}(L)\subseteq \underline{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L).$

$2)$ $\overline{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L)\subseteq \overline{\tau^{\mathbb{I}_{j}}}(L).$

$3)$ $BND^{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L)\subseteq BND^{\tau^{\mathbb{I}_{j}}}(L).$

$4)$ $ACC^{\tau^{\mathbb{I}_{j}}}(L)\leq ACC^{\tau^{\mathbb{I}^{\mathcal{K}}_{j}}}(L).$

Proof: It follows directly from Theorem 5.2.

Remark 5.11. It should be noted that the following holds:

$1)$ The inclusion relations of parts in Theorem 5.10 are generally proper as demonstrated in Example 3.3 and Table 6.

$2)$ If $\mathcal{K} = \phi$ in Theorem 5.10, then the approximations in Definition 2.12 ^[14] and the proposed approximations in Definition 5.7 are equivalent.

6.   Medical example: Chikungunya disease

In this section, we look at the performance of the method proposed here and the previous one introduced in ^[14,36] by applying them to the information system of Chikungunya disease. This illness is an infection caused by the Chikungunya virus and it spreads to humans through the bite of an infected mosquito. The symptoms of infection usually start within 3 days to a week after an infected mosquito bite. There are several symptoms of infection, and the most common ones are joint pain and fever; alternatively, joint swelling, headache, and rashes are other symptoms that are different for each individual. Up to now, there is no medicine to treat or vaccine to prevent Chikungunya. However, there are some procedures that may relieve some symptoms, such as the administration of fluids, rest, and over-the-counter pain medications. People with medical conditions such as diabetes, high blood pressure, or heart disease are at risk for more severe disease as well as older adults and newborns infected around the time of birth. In general, most patients feel better within a week; however, the seriousness of this disease stems from the fact that joint pain can be severe and disabling and may persist for months. This disease presents a challenge for medical care professionals in many countries around the world.

In what follows, we are going to utilize the proposed approaches to analyze the data of some patients given in Table 7, which will help the decision-makers to make an accurate decision for the patients under consideration. In Table 7, we display the set of patients $U = \{s_{1}, s_{2}, s_{3}, s_{4}, s_{5}, s_{6}, s_{7}\}$ in rows, while we put the symptoms (or attributes) of Chikungunya disease in the columns as follows: $E_1$ is a fever, $E_2$ is joint pain, $E_3$ is joint swelling, $E_4$ is a headache, and $E_5$ is a rashes, where $E_1, E_2, E_3, E_4$ take two values: 'T' and 'F' which respectively denote the occurrence or non-occurrence of a symptom. Whereas the attribute $E_5$ takes three values: first-degree (1-d), second-degree (2-d), and third-degree (3-d). In the last column, we set the decision of disease $D$ as having two values "infected" or "uninfected".

Now, we compute the values of the variable descriptions of the patient symptoms provided in Table 7. This procedure is completed, as shown in Table 8, by finding the similarity degrees between the patients' symptoms which are computed as follows:

where $\varphi(s_i, s_j)$ denotes the similarity degree between two patients $s_i, s_j$ and $n$ denotes the number of patients' symptoms.

Then, let us consider the patients that are associated with each other according to their existing symptoms by the relation $s_i \mathcal{R} s_j\Longleftrightarrow \varphi(s_i, s_j)\geq 0.6$, where $\varphi(s_i, s_j)$ is calculated by using Eq (6.1). It is worth noting that the proposed relations are provided by the experts in charge of the system. This means that it may change according to the estimation of the experts.

To initiate the G-approximation spaces, we chose to build the basic neighborhood system $\omega_j$. It is obvious that there exist two types of $\omega_j$-neighborhoods because of the symmetry of the proposed relation $\mathcal{R}$. We remark that $(s_2, s_4), (s_4, s_7)\in \mathcal{R}$ but $(s_2, s_7)\not\in \mathcal{R}$, so $\mathcal{R}$ is not a transitive relation. Hence, the P-approximation space fails to describe this type of information system.

By the proposed relation and the given similarities we obtain that $\mathcal{R} = \{(s_1, s_1), (s_2, s_2), (s_3, s_3), (s_4, s_4), (s_5, s_5), (s_6, s_6), (s_7, s_7), (s_1, s_2), (s_2, s_1), (s_2, s_4), (s_3, s_7), (s_4, s_2), (s_5, s_7), \\(s_7, s_3), (s_7, s_5)\}$.

Without loss of generality, let the ideal be $\mathcal{K} = \{\phi, \{s_2\}, \{s_7\}, \{s_2, s_7\}\}$.

In Table 9, we suffice by calculating the $\omega_j$-neighborhoods, $\mathbb{I}_j$-neighborhoods and $\mathbb{I}^{\mathcal{K}}_j$-neighborhoods for $j = a$.

For the uninfected set with Chikungunya, i.e., $F = \{s_1, s_3, s_5, s_6\}$ and the infected set with Chikungunya, i.e., $L = \{s_2, s_4, s_7\}$, we compute their approximation operators (lower and upper), boundary regions, and measures of accuracy by employing the methodologies in ^[14,36] and our methodology given in the previous section.

(i) For patients without infection with Chikungunya $F = \{s_1, s_3, s_5, s_6\}$, the settings are as follows:

$1)$Al-shami et al.'s technique ^[14]:

● lower approximation: $R_{\bigstar}^{\mathbb{I}_{j}}(F) = \{s_6\}$;

● upper approximation: ${R^{\bigstar}}^{\mathbb{I}_{j}}(F) = U$;

● region of boundary: ${BND^{\bigstar}_{R}}^{\mathbb{I}_{j}}(F) = U\setminus \{s_6\}$

● measure of accuracy: ${ACC^{\bigstar}_{R}}^{\mathbb{I}_{j}}(F) = \frac{1}{7}$

$2)$Hosny et al.'s technique ^[36]:

● lower approximation: $L_{\bigstar}^{\mathbb{I}_{j}}(F) = \{s_3, s_5, s_6, s_7\}$;

● upper approximation: ${U^{\bigstar}}^{\mathbb{I}_{j}}(F) = U$;

● region of boundary: ${\Delta^{\bigstar}_{R}}^{\mathbb{I}_{j}}(F) = U\setminus \{s_3, s_5, s_6, s_7\}$;

● measure of accuracy: ${\mathcal{M}^{\bigstar}_{R}}^{\mathbb{I}_{j}}(F) = \frac{3}{7}$.

$3)$Our technique:

● lower approximation: $R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(F) = \{s_1, s_3, s_5, s_6, s_7\}$;

● upper approximation: ${R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(F) = U\setminus \{s_4\}$;

● region of boundary: ${BND^{\bigstar}_{R}}^{\mathbb{I}^{\mathcal{K}}_{j}}(F) = \{s_2\}$;

● measure of accuracy: ${ACC^{\bigstar}_{R}}^{\mathbb{I}^{\mathcal{K}}_{j}}(F) = \frac{2}{3}$.

(ii) For patients with infection with Chikungunya $L = \{s_2, s_4, s_7\}$, the settings are as follows:

$1)$Al-shami et al.'s technique ^[14]:

● lower approximation: $R_{\bigstar}^{\mathbb{I}_{j}}(L) = \phi$;

● upper approximation: ${R^{\bigstar}}^{\mathbb{I}_{j}}(L) = U\setminus\{s_6\}$;

● region of boundary: ${BND^{\bigstar}_{R}}^{\mathbb{I}_{j}}(L) = U\setminus\{s_6\}$;

● measure of accuracy: ${ACC^{\bigstar}_{R}}^{\mathbb{I}_{j}}(L) = 0$.

$2)$Hosny et al.'s technique ^[36]:

● lower approximation: $L_{\bigstar}^{\mathbb{I}_{j}}(F) = \phi$;

● upper approximation: ${U^{\bigstar}}^{\mathbb{I}_{j}}(F) = U\setminus\{s_3, s_5, s_6, s_7\}$;

● region of boundary: ${\Delta^{\bigstar}_{R}}^{\mathbb{I}_{j}}(F) = U\setminus \{s_3, s_5, s_6, s_7\}$;

● measure of accuracy: ${\mathcal{M}^{\bigstar}_{R}}^{\mathbb{I}_{j}}(F) = 0$.

$3)$Our technique:

● lower approximation: $R_{\bigstar}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) = \{s_4\}$;

● upper approximation: ${R^{\bigstar}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) = \{s_2, s_4\}$;

● region of boundary: ${BND^{\bigstar}_{R}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) = \{s_2\}$;

● measure of accuracy: ${ACC^{\bigstar}_{R}}^{\mathbb{I}^{\mathcal{K}}_{j}}(L) = \frac{1}{3}$.

According to the aforementioned calculations, it can be seen that the boundary regions of uninfected set with Chikungunya and infected set with Chikungunya, as obtained by using the approach in ^[14,36] are $\mathcal{U}\setminus\{s_6\}$ and $U\setminus\{s_3, s_5, s_6, s_7\},$ respectively which means that we are unable, in this situation, to determine whether these people are infected with Chikungunya. Thus, the area of vagueness/uncertainty enlarges, and hence the decision-making accuracy decreases. On the other hand, the boundary region of these two subsets according to the current method is $\{s_2\}$. This means that we successfully reduced the area of vagueness/uncertainty for both subsets. This directly leads to maximizing the measure of accuracy and increasing the confidence in the decision.

Finally, we provide Algorithm 1 to show how the approximation operator, boundary region, and measure of accuracy are determined via our approach.

7.   Conclusions

The theory of rough sets is a robust approach to remedying uncertainty problems in a variety of situations by classifying their input into three essential areas. The key concepts of this theory are lower and upper approximations and accuracy measures. One of the existing techniques to improve the output of these concepts is the use of neighborhood systems, so many studies have been conducted in this line of research. Considering this, we chose this research as the focus of this manuscript.

First, we have established new types of rough set neighborhoods inspired by $\mathbb{I}_j$-neighborhoods and ideal structures $\mathcal{K}$, namely, $\mathbb{I}^{\mathcal{K}}_j$-neighborhoods. We have demonstrated their main characterizations and derived some relationships under specific types of relations. We have also constructed a new rough set models using $\mathbb{I}^{\mathcal{K}}_j$-neighborhoods as granular of computations. We have explored their basic features and elucidated their role in maximizing the measure of accuracy as compared to the existing models in ^[14,36]. Among the G-approximation spaces the best approximation operators and accuracy measures were obtained in the cases of $i$ and $\langle i\rangle$, whereas less desirable results were produced as a result of using $\mathbb{I}^{\mathcal{K}}_u$-neighborhoods and $\mathbb{I}^{\mathcal{K}}_{\langle i\rangle}$-neighborhoods. After that, we applied $\mathbb{I}^{\mathcal{K}}_j$-neighborhoods to build some topological spaces, which were then used to introduce G-approximation spaces. Ultimately, we have examined the performance of the proposed approach by analyzing the information system of Chikungunya disease; the numerical simulations proved the superiority of the proposed approach in terms of ability to reduce boundary regions and maximize accuracy.

Our future plan will be to combine the ideal structure with some types of the aforementioned neighborhood systems such as rough containment and subset neighborhoods to produce novel types of G-approximation spaces. The merits of such rough neighborhoods as a tool to increase the lower approximation and minimize the upper approximation constitute a strong motivation for further research. Description of real-life issues by making use of these G-approximation spaces and their topological models will be another pioneering topic for further research.

Use of AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgments

The second author extends her appreciation to the Deanship of Scientific Research at King Khalid University for funding this work through a research groups program under grant RGP2/310/44.

Conflict of interest

The authors declare that they have no competing interest.