A Reduction Method of Attribute Values Based on the Calculus of Rough Logic Formulas

摘要

This paper discusses the Rough Logic defined on the neighbor-valued decision tables, and proposes a method of finding the reduction of attribute values, which is based on the calculus of Rough Logic formulas. That is, one side extracts the line neighbor discernible function from the neighbor-valued decision table. The other side simplifies the function to use absorption laws and other calculus of logical formulas, and gets the reduction of attribute values and the reduction of attributes. The expanded discernible matrix we defined can explain the method. The method is not only theorized, mechanized, but also practical.