Inference method for natural language propositions involving fuzzy quantifiers in FLINS

We propose an inference method necessary for constructing a natural language communication system called FLINS (Fuzzy Lingual System). We show that for natural language propositions involving fuzzy quantifiers, for example “Most tall men are heavy”, we can infer a modified proposition “Many tall men are very heavy”, where the fuzzy quantifier “Many” in the inferred proposition can be resolved analytically. Generally, for natural language propositions involving three types of quantifiers, a monotone nonincreasing type (FEW, ...), a monotone nondecreasing type (MOST, ...) and a triangular type (SEVERAL, ...), we can resolve fuzzy quantifiers analytically for inferred propositions