Fuzzy IF-THEN Rules from Logical Point of View