Study of attribute resolution stage's reduce arithmetic

So far, Rough Set Theory has already become the focus-studied in international artificial intelligence. This thesis is based on Rough Set Theory, which has the following innovation. It gives a new kind of arithmetic of attribute reduction, that is to say, making use of attribute resolution stage through truth which indicates this reduction is an effective reduction.