| A New Minimal Rough Set Axiom Group |
| |
| 作者姓名： | DAIJian-hua |
| |
| 作者单位： | InstituteofArtificialIntelligence,ZhejiangUniversity,Hangzhou310027,Zhejiang,China |
| |
| 基金项目： | the 973NationalBasicResearchProgramofChina (2 0 0 2CB31 2 1 0 6)andScience&TechnologyProgramofZhejiangProvince (2 0 0 4C31G1 0 1 0 0 0 3) |
| |
| 摘 要： | Rough set axiomatization is one aspect of rough set study, and the purpose is to characterize rough set theory using independahle and minimal axiom groups. Thus, rough set theory can be studied by logic and axiom system methods. To characterize rough set theory, an axiom group named H consisting of 4 axioms, is proposed. That validity of the axiom group in characterizing rough set theory is reasonable, is proved. Simultaneously, the minimization of the axiom group, which requires that each axiom is an inequality and each is independent, is proved. The axiom group is helpful for researching rough set theory by logic and axiom system methods.
|
| 关 键 词： | 最小化 粗糙集 公理化 不确定问题 机器学习 |
| 收稿时间： | 11 October 2003 |
A new minimal rough set axiom group |
| |
| DAIJian-hua.A New Minimal Rough Set Axiom Group[J].Wuhan University Journal of Natural Sciences,2004,9(6):875-878. |
| |
| Authors: | Email author" target="_blank">Dai?Jian-huaEmail author |
| |
| Institution: | (1) Institute of Artificial Intelligence, Zhejiang University, 310027 Hangzhou, Zhejiang, China |
| |
| Abstract: | Rough set axiomatization is one aspect of rough set study, and the purpose is to characterize rough set theory using independable and minimal axiom groups. Thus, rough set theory can be studied by logic and axiom system methods. To characterize rough set theory, an axiom group named H consisting of 4 axioms, is proposed. That validity of the axiom group in characterizing rough set theory is reasonable, is proved. Simultaneously, the minimization of the axiom group, which requires that each axiom is an inequality and each is independent, is proved. The axiom group is helpful for researching rough set theory by logic and axiom system methods. |
| |
| Keywords: | rough set lower approximation axioms minimization |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ |
|
