Logical difference analysis based on variable precision lower approximation operator and graded upper approximation operator | IEEE Conference Publication | IEEE Xplore