ABSTRACT

Both the variable precision rough set and graded rough set are the generalized rough set models based on indiscernibility relation in single granulation approximate space. In the viewpoint of information quantitative, the variable precision rough set describes relative quantitative information, while graded rough set is used to represent the absolute quantitative information in approximate space. The multi-granulation approximate space as a generalized approximate space is a natural expansion of classical approximation space. In order to study the rough set model that include characteristics of variable precision rough set and graded rough set. We combine them into a double-quantitative multi-granulation rough set model based on logical disjunct operation. Furthermore, the rough set regions and some basic mathematical properties of the proposed model are discussed in detail. This research provides a novel approach to knowledge discovery in multi-granulation approximate space based on rough set theory.

Keywords:Multi-Granulation Approximate Space, Logical Disjunct Operation, Variable Precision Rough Set, Graded Rough Set, Double Quantitative

多粒度近似空间中基于“逻辑或”算子的 双量化粗糙集模型

陈华峰¹，沈玉玲¹，瞿先平^1,2

¹重庆电讯职业学院，基础部，重庆

²重庆理工大学，计算机科学与工程学院，重庆

收稿日期：2017年11月4日；录用日期：2017年11月16日；发布日期：2017年11月24日

摘 要

变精度粗糙集和程度粗糙集都是在单粒度近似空间中，基于不可分辨关系的扩展粗糙集模型。从信息量化角度来说，变精度粗糙集描述了近似空间中的相对量化信息，程度粗糙集则用于对绝对量化信息的表示中，而多粒度近似空间作为一种广义的近似空间，是对经典近似空间的自然扩张。为了在多粒度近似空间中研究同时具有信息的相对量化和绝对量化特征的粗糙集模型，本文通过“逻辑或”算子将变精度粗糙集和程度粗糙集在多粒度近似空间中结合起来，建立了“逻辑或”双量化多粒度粗糙集模型。并对该模型的粗糙集区域，以及所具有的一些基本数学性质进行了深入的讨论，为多粒度近似空间中基于粗糙集理论的知识发现，提供了新的研究方法。

关键词 :多粒度近似空间，逻辑或，变精度粗糙集，程度粗糙集，双量化

Copyright © 2017 by authors and Hans Publishers Inc.

This work is licensed under the Creative Commons Attribution International License (CC BY).

http://creativecommons.org/licenses/by/4.0/

1. 引言

20世纪80年代波兰数学家Pawlak在经典集合论的基础上，提出了粗糙集理论 [1] [2] ，对知识的自动获取、机器学习以及模式识别等多个科学研究领域的发展都起到了积极的推动作用。粗糙集的理论基础是基于一族等价关系所构成的不可分辨关系对论域的划分，然后利用集合间的包含关系定义了一对近似算子，再利用近似算子根据已有的知识来近似地逼近未知的概念。该理论将人的智能体现在对事物、行为、感知等的分类能力上，而不确定性正好可以归属到这对近似集所刻画的边界域里。

随着研究的不断深入，经典的粗糙集模型已不能有效的解决实际问题。如：现实应用中所采集到数据往往会到一定的噪声干扰，同时往往会一部分数据缺失等复杂因素。此时再利用不可区分关系建立粗糙集模型，下近似算子基于集合的严格包含关系，则显得过于苛刻了，为了让下近似算子从原来的严格包含扩张到具有某种程度意义上的包含，对粗糙集进行量化模型的构建与研究具有较为突出的理论意义与应用价值 [3] 。为此，Ziarko从信息的相对量化角度提出了变精度粗糙集 [4] ，Yao从信息的绝对量化角度定义了程度粗糙集 [5] ，此外对于变精度和程度粗糙集的扩展模型也受到了广泛的关注 [6] [7] 。在变精度粗糙集与程度粗糙集的双量化结合方面，Zhang做了大量突出的工作 [8] [9] [10] [11] ，系统性的研究了一般信息系统的双量化粗糙集模型，Li等人在Zhang的基础上研究了优势关系下变精度与程度“逻辑且”粗糙模糊集，从而进一步推广了双量化粗糙集模型的应用 [12] 。

而从粒计算的角度来看，这些扩展的粗糙集模型的本质仍然是在单一粒度空间多定义的，目标概念的近似集仍是由单一的二元关系所诱导的粒度空间中的基本信息粒来近似表示的。Qian等在对决策分析相关的研究时，指出当多个决策者之间的关系有可能是相互独立的，因而需要采用多个二元关系来进行目标的近似逼近，并针对性的提出了多粒度粗糙集模型的概念 [13] [14] 。在多粒度粗糙集的基本框架下，一些学者将变精度粗糙集或者程度粗糙集引入进来，将信息的量化思想引入到多粒度近似空间中，其中Dou等人提出了可变精度多粒度粗糙集模型 [15] ，Wu则研究了程度多粒度粗糙集 [16] ，在此基础上Shen进一步提出了可变程度多粒度粗糙集 [17] 。而目前的研究中尚没有在多粒度近似空间中，同时考虑信息的相对量化扩张和绝对量化扩张。

本文在上述的研究成果基础上，将变精度粗糙集和程度粗糙集这两种不同角度的信息量化扩张模型，通过“逻辑或”算子在多粒度近似空间中结合起来，建立了多粒度近似空间中的“逻辑或”双量化粗糙集模型，然后对模型的基本数学性质进行了系统性的讨论，该模型作为一种推广的粗糙集模型，对于基于粗糙集理论的知识发现、数据挖掘等一定的参考价值。

2. 预备知识

本节将简要介绍变精度粗糙集模型，程度粗糙集模型和多粒度粗糙集模型的相关基本知识，为讨论基于“逻辑或”算子的双量化多粒度粗糙集模型提供必要的理论基础。设四元组 $S=\left(U,AT,V,F\right)$ 为一个信息系统，其中 $U=\left\{x_1,x_2,\cdots ,x_n\right\}$ 为论域是非空有限对象集， $AT=\left\{a_1,a_2,\cdots ,a_m\right\}$ 为属性集， $V$ 为有限值域， $F=\left\{f|U\to V_{a_i},a_i\in AT\right\}$ 是对象关于属性的关系集。对任意的 $A\subseteq AT$ 可以得到一个不可分辨关系，即 $IND\left(A\right)=\left\{\left(x,y\right)\in U\times U:\forall a\in A,a\left(x\right)=a\left(y\right)\right\}$ ，则 $U$ 中关于属性 $A$ 所有与 $x$ 具有不可分辨关系 $IND\left(A\right)$ 的对象的集合为 ${\left[x\right]}_A=\left\{y\in U,\left(x,y\right)\in IND\left(A\right)\right\}$ ，即为 $x$ 关于属性集 $A$ 的等价类 [6] 。

2.1. 变精度粗糙集模型

设 $S$ 为一个信息系统，对任意的 $X\subseteq U$ ， $A\subseteq AT$ ， $c\left({\left[x\right]}_A,X\right)=1-\left|{\left[x\right]}_A\cap X\right|/\left|{\left[x\right]}_A\right|$ 称为等价类 ${\left[x\right]}_A$ 关于集合 $X$ 的错误分分类率，其中 $\left|·\right|$ 表示集合的势。设 $\beta \in \left[0,0.5\right)$ 称为可调错误分类水平， $1-\beta$ 称为精度。集合

$\overline{A_{\beta }}X=\left\{x\in U:c\left({\left[x\right]}_A,X\right)<1-\beta \right\}$

$\underset{\_}{A_{\beta }}X=\left\{x\in U:c\left({\left[x\right]}_A,X\right)\le \beta \right\}$

分别称为 $X$ 依精度为 $1-\beta$ 的关于属性 $A$ 上、下近似集。若 $\overline{A_{\beta }}X\ne \underset{\_}{A_{\beta }}X$ ，则称 $X$ 在精度 $1-\beta$ 下是关于 $A$ 粗糙的，否则称 $X$ 是关于 $A$ 精确的。而 $\overline{A_{\beta }}X$ 是“关于 $X$ 的错误分类率小于 $1-\beta$ 的等价类”的所有元素并集， $\underset{\_}{A_{\beta }}X$ 是“关于 $X$ 的错误分类率不大于 $\beta$ 的等价类”的所有元素的并集 [4] [6] [8] 。

2.2. 程度粗糙集模型

设 $S$ 为一个信息系统，对任意的 $X\subseteq U$ ， $A\subseteq AT$ ， $k$ (非负常数)为自然数，集合

$\overline{A_k}X=\left\{x\in U:\left|{\left[x\right]}_A\cap X\right|>k\right\}$

$\underset{\_}{A_k}X=\left\{x\in U:\left|{\left[x\right]}_A\right|-\left|{\left[x\right]}_A\cap X\right|\le k\right\}$

分别称为 $X$ 的程度为 $k$ 的关于 $A$ 上、下近似集，若 $\overline{A_k}X\ne \underset{\_}{A_k}X$ ，称 $X$ 在程度时是关于 $A$ 粗糙的，否则称为是关于 $A$ 精确的。其中 $\overline{A_k}X$ 是“属于 $X$ 的元素个数多于 $k$ 个等价类”的并集， $\underset{\_}{A_k}X$ 是“最多只有 $k$ 个元素不属于 $X$ 的等价类”的集合的并集 [5] [6] [8] 。

2.3. 多粒度粗糙集模型

在粒计算数据分析的方法中，采用一族不可分辨关系来进行目标概念的近似逼近，也就是多粒度粗糙集模型，其形式上包括乐观多粒度粗糙集和悲观多粒度粗糙集 [13] [14] 。

设 $S$ 为一个信息系统， $A_1,A_2,\cdots ,A_m\subseteq AT$ ，任意的 $X\subseteq U$ ， $X$ 的乐观多粒度下近似算子 $\underset{\_}{{\displaystyle \sum _{i=1}^m{A}_i^O}}\left(X\right)$ 与上近似算子 $\overline{{\displaystyle \sum _{i=1}^m{A}_i^O}}\left(X\right)$ 分别定义为：

$\underset{\_}{{\displaystyle \sum _{i=1}^m{A}_i^O}}\left(X\right)=\left\{x\in U:{\left[x\right]}_{A_1}\subseteq X\vee \cdots \vee {\left[x\right]}_{A_m}\subseteq X\right\}$

$\overline{{\displaystyle \sum _{i=1}^m{A}_i^O}}\left(X\right)=\sim \underset{\_}{{\displaystyle \sum _{i=1}^m{A}_i^O}}(\sim X)$

其中 $\sim X$ 表示 $X$ 的补集，当上下近似集不等时则称集合 $X$ 是关于粒度 $A_1,A_2,\cdots ,A_m$ 乐观粗糙的。从定义中可以看出，当某个对象属于乐观多粒度下近似时则要求该对象至少有一个粒度上的等价类包含在目标概念中。与乐观多粒度粗糙集相对应悲观多粒度粗糙集定义如下：

$\underset{\_}{{\displaystyle \sum _{i=1}^m{A}_i^P}}\left(X\right)=\left\{x\in U:{\left[x\right]}_{A_1}\subseteq X\wedge \cdots \wedge {\left[x\right]}_{A_m}\subseteq X\right\}$

$\overline{{\displaystyle \sum _{i=1}^m{A}_i^P}}\left(X\right)=\sim \underset{\_}{{\displaystyle \sum _{i=1}^m{A}_i^P}}(\sim X)$

在该定义中，我们可以看到当某个对象属于悲观多粒度下近似集时，要求该对象在所有粒度上的等价类都包含在目标概念中，因而悲观多粒度下近似的要求要比乐观多粒度下近似的要求更为严格。

3. 多粒度近似空间中的“逻辑或”双量化粗糙集模型

本节我们基于“逻辑或”算子将变精度粗糙集和程度粗糙集结合起来，在多粒度近似空间中建立“逻辑或”的双量化粗糙集模型。紧接着分从“逻辑或”双量化乐观多粒度粗糙集模型和悲观多粒度粗糙集模型入手，对所建立的双量化多粒度粗糙集模型的数学性质进行了系统性的讨论。

3.1. “逻辑或”双量化乐观多粒度粗糙集模型

定义3.1.1. 设 $S$ 为一个信息系统，若 $A_1,A_2,\cdots ,A_m\subseteq AT$ ， $\beta \in \left[0,0.5\right)$ ， $k$ 为非负常数，对任意的 $X\subseteq U$ ，则 $X$ 基于“逻辑或”算子的乐观双量化多粒度下近似算子和上近似算子定义如下：

$\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)=\left\{x\in U:\underset{j=1}{\overset{m}{{\displaystyle \vee }}}\left(c\left({\left[x\right]}_{A_j},X\right)\le \beta \right)\vee \underset{l=1}{\overset{m}{{\displaystyle \vee }}}\left(\left|{\left[x\right]}_{A_l}\right|-\left|{\left[x\right]}_{A_l}\cap X\right|\le k\right)\right\}$

$\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)=~\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}(~X)$

称序偶 $\left(\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right),\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)\right)$ 为集合 $X$ 依精度为 $\beta$ 且程度为 $k$ 的乐观“逻辑或”双量化乐观多

粒度粗糙集，从下近似的定义我们知道，当某个对象 $x$ 属于逻辑与乐观双量化多粒度下近似集时，要求 $x$ 至少有一个粒度使得 $c\left({\left[x\right]}_{A_j},X\right)\le \beta$ ，或者存在一个粒度使得 $\left|{\left[x\right]}_{A_l}\right|-\left|{\left[x\right]}_{A_l}\cap X\right|\le k$ ，其中粒度 $A_j$ 和 $A_l$ 可以相同也可以不相同。根据定义3.1.1所定义的近似算子，我们可以给出“逻辑或”双量化乐观多粒度粗糙集的各个粗糙区域。由于程度粗糙集的下近似集并非一定包含于上近似集，因此我们分别定义正域、负域、上边界域、下边界域如下：

1) $Pos{\left(X\right)}_{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}=\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)\cap \overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}(X)$

2) $Neg{\left(X\right)}_{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}=\sim \left(\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)\cup \overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}(X)\right)$

3) $Ubn{\left(X\right)}_{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}=\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)-\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}(X)$

4) $Lbn{\left(X\right)}_{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}=\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)-\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}(X)$

5) $Bn{\left(X\right)}_{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}=\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)\Delta \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}(X)$

为了便于书写，我们一般将上述粗糙集区域进行简写，如正域简记为 $Pos{\left(X\right)}_{\beta \vee k}^O$ 。其中“ $\Delta$ ”表示集合的对称差运算，故 $Bn{\left(X\right)}_{\beta \vee k}^O=Lbn{\left(X\right)}_{\beta \vee k}^O\cup Ubn{\left(X\right)}_{\beta \vee k}^O$ ，接下来将对“逻辑或”双量化乐观多粒度粗糙集模型的性质进行研究。

定理3.1.1. 设 $S$ 为一个信息系统，若 $A_1,A_2,\cdots ,A_m\subseteq AT$ ， $\beta \in \left[0,0.5\right)$ ， $k$ 为非负常数，对任意的 $X\subseteq U$ ，则关于 $X$ 的“逻辑或”双量化乐观多粒度上近似集，有

$\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)=\left\{x\in U:\underset{j=1}{\overset{m}{{\displaystyle \wedge }}}\left(c\left({\left[x\right]}_{A_j},X\right)<1-\beta \right)\wedge \underset{l=1}{\overset{m}{{\displaystyle \wedge }}}\left(\left|{\left[x\right]}_{A_l}\cap X\right|>k\right)\right\}$

证明：由定义3.1.1知

$\begin{array}{l}\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)=~\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(~X\right)\\ =\sim \left\{x\in U:\underset{l=1}{\overset{m}{{\displaystyle \vee }}}\left(\left|{\left[x\right]}_{A_l}\right|-\left|{\left[x\right]}_{A_l}\cap \sim X\right|\le k\right)\vee \underset{j=1}{\overset{m}{{\displaystyle \vee }}}\left(c\left({\left[x\right]}_{A_j},\sim X\right)\right)\le \beta \right\}\\ =\left\{x\in U:\underset{j=1}{\overset{m}{{\displaystyle \wedge }}}\left(c\left({\left[x\right]}_{A_j},\sim X\right)>\beta \right)\wedge \underset{l=1}{\overset{m}{{\displaystyle \wedge }}}\left(\left|{\left[x\right]}_{A_l}\right|-\left|{\left[x\right]}_{A_l}\cap \sim X\right|>k\right)\right\}\end{array}$

$\begin{array}{l}=\left\{x\in U:\underset{j=1}{\overset{m}{{\displaystyle \wedge }}}\left(1-\frac{\left|{\left[x\right]}_{A_j}\cap \sim X\right|}{\left|{\left[x\right]}_{A_j}\right|}>\beta \right)\wedge \underset{l=1}{\overset{m}{{\displaystyle \wedge }}}\left(\left|{\left[x\right]}_{A_l}\right|-\left|{\left[x\right]}_{A_l}\cap \sim X\right|>k\right)\right\}\\ =\left\{x\in U:\underset{j=1}{\overset{m}{{\displaystyle \wedge }}}\left(\frac{\left|{\left[x\right]}_{A_j}\cap X\right|}{\left|{\left[x\right]}_{A_j}\right|}>\beta \right)\wedge \left(\underset{l=1}{\overset{m}{{\displaystyle \wedge }}}\left|{\left[x\right]}_{A_l}\cap X\right|>k\right)\right\}\\ =\left\{x\in U:\underset{j=1}{\overset{m}{{\displaystyle \wedge }}}\left(c\left({\left[x\right]}_{A_j},X\right)<1-\beta \right)\wedge \underset{l=1}{\overset{m}{{\displaystyle \wedge }}}\left(\left|{\left[x\right]}_{A_l}\cap X\right|>k\right)\right\}\end{array}$

由定理3.1.1可知，对象 $x$ 属于“逻辑或”双量化乐观多粒度上近似集时，意味着关于所有粒度满足 $c\left({\left[x\right]}_{A_j},X\right)<1-\beta$ 且 $\left|{\left[x\right]}_{A_l}\cap X\right|>k$ 成立。

定理3.1.2. 设 $S$ 为一个信息系统，若 $A_1,A_2,\cdots ,A_m\subseteq AT$ ， $\beta \in \left[0,0.5\right)$ ， $k$ 为非负常数，对任意的 $X,Y\subseteq U$ ，则“逻辑或”双量化乐观多粒度近似算子有如下性质成立。

1) $\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(U\right)=U$ ；

2) $\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(\varphi \right)=\varphi$ ；

3) $\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\cap Y\right)\subseteq \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)\cap \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(Y\right)$ ；

4) $\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\cup Y\right)\supseteq \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)\cup \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(Y\right)$ ；

5) $\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\cap Y\right)\subseteq \overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)\cap \underset{\_}{\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}}\left(Y\right)$ ；

6) $\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\cup Y\right)\supseteq \overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)\cup \underset{\_}{\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}}\left(Y\right)$ ；

7) 若 $k_1\le k_2$ ，则 $\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k_1}^O}\left(X\right)\subseteq \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k_2}^O}\left(X\right)$ ， $\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \wedge k_2}^O}\left(X\right)\subseteq \overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \wedge k_1}^O}\left(X\right)$ ；

8) 若 ${\beta }_1\le {\beta }_2\in \left[0,0.5\right)$ ，则 $\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{{\beta }_1\vee k}^O}\left(X\right)\subseteq \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{{\beta }_2\vee k}^O}\left(X\right)$ ， $\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{{\beta }_2\vee k}^O}\left(X\right)\subseteq \overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{{\beta }_1\vee k}^O}\left(X\right)$ 。

证明：(1)和(2)由定义3.1.1易证。

3) 对任意的 $x\in \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\cap Y\right)$ ，由定义3.1.1可知存在粒度 $A_j,A_l$ 使得 $c\left({\left[x\right]}_{A_j},X\cap Y\right)\le \beta$ 或者 $\left|{\left[x\right]}_{A_l}\right|-\left|{\left[x\right]}_{A_l}\cap \left(X\cap Y\right)\right|\le k$ ，其中 $A_j$ 与 $A_l$ 无关。又因为对任意的 $X,Y\subseteq U$ 有， $c\left({\left[x\right]}_{A_j},X\right)\le c\left({\left[x\right]}_{A_j},X\cap Y\right)\le \beta$ 或者 $\left|{\left[x\right]}_{A_l}\right|-\left|{\left[x\right]}_{A_l}\cap X\right|\le \left|{\left[x\right]}_{A_l}\right|-\left|{\left[x\right]}_{A_l}\cap \left(X\cap Y\right)\right|\le k$ ，也就是有 $x\in \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)$ ，同理可得 $x\in \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(Y\right)$ 。所以 $x\in \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)\cap \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(Y\right)$ ，即 $\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\cap Y\right)\subseteq \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)\cap \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(Y\right)$ 。

4) 任取 $x\in \left(\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)\cup \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(Y\right)\right)$ ，若 $x\in \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)$ 有 $c\left({\left[x\right]}_{A_j},X\right)\le \beta$ 或者 $\left|{\left[x\right]}_{A_l}\right|-\left|{\left[x\right]}_{A_l}\cap X\right|\le k$ ，任 $Y\subseteq U$ ， $c\left({\left[x\right]}_{A_j},X\cup Y\right)\le c\left({\left[x\right]}_{A_j},X\right)\le \beta$ ，或者 $\left|{\left[x\right]}_{A_l}\right|-\left|{\left[x\right]}_{A_l}\cap \left(X\cup Y\right)\right|\le \left|{\left[x\right]}_{A_l}\right|-\left|{\left[x\right]}_{A_l}\cap X\right|\le k$ ，则有 $x\in \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\cup Y\right)$ 当 $x\in \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(Y\right)$ 有 $x\in \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\cup Y\right)$ ，则 $\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\cup Y\right)\supseteq \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)\cup \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(Y\right)$ 。

5) 任取 $x\in \overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\cap Y\right)$ ，由定理3.1.1知对任意的粒度 $A_j,A_l$ ，有 $c\left({\left[x\right]}_{A_j},X\cap Y\right)<1-\beta$ 且 $\left|{\left[x\right]}_{A_l}\cap \left(X\cap Y\right)\right|>k$ ，又 $c\left({\left[x\right]}_{A_j},X\right)\le c\left({\left[x\right]}_{A_j},X\cap Y\right)<1-\beta$ ，同时 $\left|{\left[x\right]}_{A_l}\cap X\right|\ge \left|{\left[x\right]}_{A_l}\cap \left(X\cap Y\right)\right|>k$ ，所以有 $x\in \overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(X\right)$ ，同理可得 $x\in \overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^O}\left(Y\right)$ 也同时成立，因此(5)得证。

6) 由定义3.1.1可知，上下近似算子之间存在对偶性，因此由(5)的证明可知(6)也成立。

7) 不妨任取 $x\in \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k_1}^O}\left(X\right)$ ，由定义知存在粒度 $A_j$ 和 $A_l$ ，使得 $c\left({\left[x\right]}_{A_j},X\right)\le \beta$ 或者 $\left|{\left[x\right]}_{A_l}\right|-\left|{\left[x\right]}_{A_l}\cap X\right|\le k_1$ ，又因 $k_1\le k_2$ ，故 $\left|{\left[x\right]}_{A_l}\right|-\left|{\left[x\right]}_{A_l}\cap X\right|\le k_2$ ，则 $x\in \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k_2}^O}\left(X\right)$ ，也即是 $\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k_1}^O}\left(X\right)\subseteq \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k_2}^O}\left(X\right)$ 。那么可以得 $\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k_1}^O}\left(\sim X\right)\subseteq \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k_2}^O}\left(\sim X\right)$ ，那么 $\sim \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k_1}^O}\left(\sim X\right)\supseteq \sim \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k_2}^O}\left(\sim X\right)$ ，由定义可知 $\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k_2}^O}\left(X\right)\subseteq \overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k_1}^O}\left(X\right)$ 。

8) 对任意的 $x\in \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{{\beta }_1\vee k}^O}\left(X\right)$ ，有 $c\left({\left[x\right]}_{A_j},X\right)\le {\beta }_1$ 或者 $\left|{\left[x\right]}_{A_l}\right|-\left|{\left[x\right]}_{A_l}\cap X\right|\le k$ ，而 ${\beta }_1\le {\beta }_2$ ，则 $c\left({\left[x\right]}_{A_j},X\right)\le {\beta }_1\le {\beta }_2$ ，所以有 $x\in \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{{\beta }_2\vee k}^O}\left(X\right)$ ，即 $\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{{\beta }_1\vee k}^O}\left(X\right)\subseteq \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{{\beta }_2\vee k}^O}\left(X\right)$ 。与(7)类似，利用上下近似算子间的对偶性可直接得到 $\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{{\beta }_2\vee k}^O}\left(X\right)\subseteq \overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{{\beta }_1\vee k}^O}\left(X\right)$ 。

3.2. “逻辑或”双量化悲观多粒度粗糙集模型

接下来，我们将用类似于上一节的方法，对“逻辑或”双量化悲观多粒度粗糙集模型进行研究。

定义3.2.1. 设 $S$ 为一个信息系统，若 $A_1,A_2,\cdots ,A_m\subseteq AT$ ， $\beta \in \left[0,0.5\right)$ 为非负常数，对任意的 $X\subseteq U$ ，则 $X$ 基于“逻辑或”算子的悲观双量化多粒度下近似算子和上近似算子分别定义如下：

$\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}\left(X\right)=\left\{x\in U:\underset{j=1}{\overset{m}{{\displaystyle \wedge }}}\left(c\left({\left[x\right]}_{A_j},X\right)\le \beta \right)\vee \underset{l=1}{\overset{m}{{\displaystyle \wedge }}}\left(\left|{\left[x\right]}_{A_l}\right|-\left|{\left[x\right]}_{A_l}\cap X\right|\le k\right)\right\}$

$\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}\left(X\right)=~\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}(~X)$

称序偶 $\left(\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}\left(X\right),\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}\left(X\right)\right)$ 为集合 $X$ 依精度为 $\beta$ 、程度为 $k$ 的“逻辑或”双量化悲观多粒度

粗糙集，从下近似的定义我们知道，当某个对象 $x$ 属于“逻辑或”双量化悲观多粒度下近似集时，要求 $x$ 对所有的粒度有 $c\left({\left[x\right]}_{A_j},X\right)\le \beta$ ，或者 $\left|{\left[x\right]}_{A_l}\right|-\left|{\left[x\right]}_{A_l}\cap X\right|\le k$ ，即对任意的 $A_j,A_l\subseteq AT,j,l=1,2,\cdots ,m$ 满足条件。“逻辑或”双量化悲观多粒度粗糙集模型中对于粗糙集区域的定义方法与3.1节中类似。

定理3.2.1. 设 $S$ 为一个信息系统，若 $A_1,A_2,\cdots ,A_m\subseteq AT$ ， $\beta \in \left[0,0.5\right)$ ， $k$ 为非负常数，对任意的 $X\subseteq U$ ，则关于 $X$ 的悲观逻辑与双量化上近似集，有

$\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}\left(X\right)=\left\{x\in U:\underset{j=1}{\overset{m}{{\displaystyle \vee }}}\left(c\left({\left[x\right]}_{A_j},X\right)<1-\beta \right)\wedge \underset{l=1}{\overset{m}{{\displaystyle \vee }}}\left(\left|{\left[x\right]}_{A_l}\cap X\right|>k\right)\right\}$

证明：由定义3.2.1并结合定理3.1.1的证明过程易证。

由定理3.2.1可知，对象 $x$ 属于“逻辑或”双量化悲观多粒度上近似集时，意味着至少存在一个粒度 $A_j$ 使得 $c\left({\left[x\right]}_{A_j},X\right)<1-\beta$ ，且至少存在一个粒度 $A_l$ 使得 $\left|{\left[x\right]}_{A_l}\cap X\right|>k$ 成立，其中粒度 $A_j$ 和 $A_l$ 无关。

定理3.2.2. 设 $S$ 为一个信息系统，若 $A_1,A_2,\cdots ,A_m\subseteq AT$ ， $\beta \in \left[0,0.5\right)$ ， $k$ 为非负常数，对任意的 $X,Y\subseteq U$ ，则关于“逻辑或”双量化悲观多粒度近似算子有如下性质成立。

1) $\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}\left(U\right)=U$

2) $\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}\left(\varphi \right)=\varphi$

3) $\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}\left(X\cap Y\right)\subseteq \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}\left(X\right)\cap \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}(Y)$

4) $\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}\left(X\cup Y\right)\supseteq \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}\left(X\right)\cup \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}(Y)$

5) $\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}\left(X\cap Y\right)\subseteq \overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}\left(X\right)\cap \underset{\_}{\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}}(Y)$

6) $\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}\left(X\cup Y\right)\supseteq \overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}\left(X\right)\cup \underset{\_}{\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k}^P}}(Y)$

7) 若 $k_1\le k_2$ ，则 $\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k_1}^P}\left(X\right)\subseteq \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k_2}^P}\left(X\right)$ ， $\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k_2}^P}\left(X\right)\subseteq \overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{\beta \vee k_1}^P}(X)$

8) 若 ${\beta }_1\le {\beta }_2$ ，则 $\underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{{\beta }_1\vee k}^P}\left(X\right)\subseteq \underset{\_}{{{\displaystyle \sum _{i=1}^m{A}_i}}_{{\beta }_2\vee k}^P}\left(X\right)$ ， $\overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{{\beta }_2\vee k}^P}\left(X\right)\subseteq \overline{{{\displaystyle \sum _{i=1}^m{A}_i}}_{{\beta }_1\vee k}^P}(X)$

证明：可参照定理3.1.2的证明过程。

4. 案例分析

例4.1. 设 $S$ 为一个信息系统，表示某地产公司项目投资的示例，数据采集如表1所示。其中，对象集 $U=\left\{x_1,x_2,\cdots ,x_{10}\right\}$ 表示被考察项目集合，属性集 $A=\left\{a_1,a_2,a_3,a_4\right\}$ 表示项目指标集，分别指医疗环境、交通环境、地域环境以及人文环境。

设 $A_1=\left\{a_1,a_2\right\}$ ， $A_2=\left\{a_2,a_3\right\}$ ， $A_3=\left\{a_3,a_4\right\}$ 表示三个不同粒度，则该信息系统关于这三个不同的粒度得到划分如下：

$U/A_1=\left\{\left\{x_1,x_6,x_7,x_{10}\right\},\left\{x_2,x_5\right\},\left\{x_3,x_8\right\},\left\{x_4,x_9\right\}\right\}$

$U/A_2=\left\{\left\{x_1,x_9,x_{10}\right\},\left\{x_2,x_5\right\},\left\{x_3,x_8\right\},\left\{x_4,x_6,x_7\right\}\right\}$

$U/A_3=\left\{\left\{x_1,x_2,x_{10}\right\},\left\{x_3,x_8\right\},\left\{x_4\right\},\left\{x_5,x_9\right\},\left\{x_6,x_7\right\}\right\}$

设 $X=\left\{x_1,x_4,x_5,x_6,x_7\right\}$ ，则集合 $X$ 在粒度 $A_i\left(i=1,2,3\right)$ 下与 ${\left[x_j\right]}_{A_i}$ 的关系如表2所示。

不妨取 $k=1$ ， $\beta =0.35$ ，根据定义3.1.1和定义3.2.1所定义的两个双量化多粒度粗糙集模型，以及表2中的数据我们可以分别得到“逻辑或”双量化乐观多粒度粗糙集近似为：

$\overline{{{\displaystyle \sum _{i=1}^3{A}_i}}_{0.35\vee 1}^O}\left(X\right)=\varphi$

表1. 某地产投资信息系统

表2. 信息系统在粒度 $A_i\left(i=1,2,3\right)$ 下的结构

$\underset{\_}{{{\displaystyle \sum _{i=1}^3{A}_i}}_{0.35\vee 1}^O}\left(X\right)=\left\{x_1,x_2,x_4,x_5,x_6,x_7,x_9,x_{10}\right\}$

同理可以得到，“逻辑或”双量化悲观多粒度粗糙集近似为：

$\overline{{{\displaystyle \sum _{i=1}^3{A}_i}}_{0.35\vee 1}^P}\left(X\right)=\left\{x_1,x_4,x_6,x_7,x_{10}\right\}$

$\underset{\_}{{{\displaystyle \sum _{i=1}^3{A}_i}}_{0.35\vee 1}^P}\left(X\right)=\left\{x_4,x_5,x_6,x_7\right\}$

不难发现两个模型所得到的近似集是不一致的，而近似集在粗糙集理论中作为知识发现的基础，在实际应用中我们可以根据不同的需求选取不同参数 $k$ 和 $\beta$ ，以及不同的双量化粗糙集模型，利用这个案例我们还可以对模型的其他性质进行验证。在以后的研究中，我们将在本文研究的粗糙集模型性质的基础上，研究属性约减以及规则提取等。

5. 结束语

多粒度近似空间作为经典近似空间的自然延拓，具有更强的数据描述能力，基于多粒度粗糙集理论的数据挖掘也具有突出的理论价值和现实意义。本文在多粒度近似空间中，基于“逻辑或”算子将用于刻画相对信息量化和绝对信息量化的变精度粗糙集和程度集融合起来，建立了“逻辑或”双量化多粒度粗糙集模型，对模型的一些基本数学性质进行了细致的讨论。本研究对于多粒度近似空间中，允许某个误差程度的粗糙集建模，有一定的参考价值，接下来我们将研究多粒度近似空间中双量化多粒度粗糙集模型在实际中的应用。

基金项目

本文获重庆市科委基础学科与前沿技术研究基金(No. cstc2015jcyjBX0127)，重庆市教委科学技术研究基金(Nos. KJ1500922, KJ1605201)支助。

文章引用

陈华峰,沈玉玲,瞿先平. 多粒度近似空间中基于“逻辑或”算子的双量化粗糙集模型
Double Quantitative Rough Set Model Based on Logical Disjunct Operation in Multi-Granulation Approximate Space[J]. 运筹与模糊学, 2017, 07(04): 152-162. http://dx.doi.org/10.12677/ORF.2017.74016

参考文献 (References)