粗集合

粗糙集（rough set），又称粗集合。在粗糙集理论中，明确集（crisp set）是指传统的集合，而粗糙集则用于对明确集进行形式上的逼近，即给出该明确集的上逼近集和下逼近集。此理论最初由波兰数学家Zdzisław Pawlak（波兰语：Zdzisław Pawlak）所描述^[1]，他的理论也被视为标准的粗糙集理论。在这标准理论中，上逼近集和下逼近集都是明确集，而在其它一些版本的粗糙集理论中则是模糊集。