定义
由波兰理工大学Z.pawlak教授提出用来研究不完整数据，不精确知识的学习，表达，归纳的理论。ref
其实就是对数据中隐含的信息将其通过一定的手段挖据出来。
至于到底是研究集合，还是矩阵，抑或是决策表，这个都要根据研究对象吧。。
就是可以从不完备的信息中得出现有的规律，并从中提取出一些规则。从已知推位置，而且已知知道的不是那么全
基本的概念
- 论域：数学里面的集合，or对象的集合
- 知识：对对象分类的能力，这里的对象指任何实体，一般叫论域。为U的任何子集族。
- 属性：就是对象拥有的属性，或许会变成一个分类的条件。属性R知识R等价关系R==分类R,待我查下资料，补充。。
- 知识库：在论域上面的分类
- 知识等价：补充？
ref粗糙集是建立在分类机制的基础上，他将分类理解成为在特定空间上的等价关系，而等价关系构成料对该空间的划分。
粗糙集理论的主要思想是利用已知的知识库，将不精确或不确定的知识用已知的知识库中的知识来（近似）刻画。
该理论与其他处理不确定和不精确问题理论的最显著的区别是它无需提供问题所需处理的数据集合之外的任何先验信息，所以对问题的不确定性的描述或处理可以说比较客观。
很多概念是用符号表示的，如果一开始直接看定义，其实挺烦的，绕晕了，demo OR 图或许会更加的直观一点
王国胤2019：A Survey on Rough Set Theory and Applications
一篇综述性论文，帮助我更好的理解
信息表
包含对象和属性的表，比如一个医生拿到这个表后，能够说明某患者咋滴啦
一个信息表又称为知识表达系统
一个信息表中通常包含的4个部分
- 论域、对象
- 属性名
- 属性值
- 信息函数
决策逻辑语言
由原子公式组成, 公式是一种(属性 , 数据)对 ,用命题联词 :与 、或、非等通过标准的方法构成复合公式.公式是用来描述论域中对象的工具, 可以用来描述论域中具有某些性质的对象的子集 .例如在原子公式中 , 有序对(头疼 , 是)解释为在属性“a =头疼”上值为“v =是”的所有对象的描述