defuzzification fuzzification defuzzifier fuzzy mathematics fuzzy math discretizer rigorization discretisation rationalization ultradiscretization