Theoretical study on a new information entropy and its use in attribute reduction