| 基于Galois联络的粗糙集公理化方法 |
| |
| 引用本文： | 折延宏. 基于Galois联络的粗糙集公理化方法[J]. 西安石油大学学报(自然科学版), 2012, 27(4): 105-110,119 |
| |
| 作者姓名： | 折延宏 |
| |
| 作者单位： | 西安石油大学理学院,陕西西安,710065 |
| |
| 基金项目： | 国家自然科学基金，陕西省教育厅科学研究计划项目，西安石油大学博士科研启动基金项目 |
| |
| 摘 要： | Galois联络与粗糙集是两个不同的研究分支,本文基于Galois联络,给出经典粗糙集的公理化刻画.提出了两组与Galois联络密切相关的公理GC与GC',用这两组公理刻画了经典粗糙近似算子.证明了满足公理GC或GC'的论域幂集上的一元算子总对应于某一经典二元关系,使得由二元关系诱导的粗糙近似算子就是该一元算子.
|
| 关 键 词： | 粗糙近似算子 Galois联络 公理化刻画 |
Axiomatic characterization of rough sets using Galois connection |
| |
| SHE Yan-hong. Axiomatic characterization of rough sets using Galois connection[J]. Journal of Xian Shiyou University, 2012, 27(4): 105-110,119 |
| |
| Authors: | SHE Yan-hong |
| |
| Affiliation: | SHE Yan-hong(College of Sciences,Xi’an Shiyou University,Xi’an 710065,Shaanxi,China) |
| |
| Abstract: | Galois connection and rough set are different research branches.The axiomatic characterization of rough sets is presented using Galois connection.Two axioms,named GC and GC’ are proposed for characterizing the rough approximation operators.It is proved that any unary operator satisfying GC or GC’ corresponds to some binary relation,which in turn produces the same rough approximation operators. |
| |
| Keywords: | rough approximation operator Galois connection axiomatic characterization |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
