粗糙集的公理化是该理论研究的重要课题之一.文中在分析对称关系下粗糙近似算子的特征公理基础上,提出强对称二元关系.对比等价关系的性质,讨论该二元关系的一些重要特征,给出对称关系成为强对称关系的充要条件,并研究其下广义粗糙集的性质,得到强对称关系下粗糙近似算子的公理化特征.利用相应的特征公理与精确集之间的联系,探讨一般二元关系下论域中精确集的一些重要特征,对拓广粗糙集理论及其应用提供一定帮助.
The axiomatization is one of the most important topics in rough set theory. The definition of strong symmetric binary relation is presented by analyzing axiomatic characterizations of symmetric approximate operators. In contrast with the properties of equivalence relation, some important characteristics of the proposed binary relation are presented, and the necessary and sufficient condition for a symmetric binary relation becoming a strong symmetric one is given. The properties of corresponding generalized rough set are investigated, and the corresponding axiomatic group is studied. Utilizing of the correlation between these axioms and accurate sets, the characteristics of accurate sets in the generalized rough set based on a binary relation are discussed, and some assistance is provided to method and application of rough set theory.