A New Minimal Axiom Group of Rough Set Based on Similar Relation
Yunhe Pan · Fudan xuebao. Ziran Kexue ban · 2004
Rough set axiomatization is one aspect of rough set study,and the purpose is to characterize rough set theory using dependable and minimal axiom groups. Thus,rough set theory can be studied by logic and axiom system methods. The classic rough set theory is based on equivalent relation,but rough set theory based on similar relation has wide applications in real world. To characterize similar rough set theory,an axiom group named S,consisting of 3 axioms,is proposed. The reliability of the axiom group,which shows that characterizing of rough set theory based on similar relation is rational,is proved. Simultaneously,the minimization of the axiom group,which requests that each axiom is an equation and each is independent,is proved. The axiom group is helpful to research rough set theory by logic and axiom system methods.