Inference method for natural language propositions involving fuzzy quantifiers and truth qualifiers

Proposes an inference method necessary for constructing a natural language communication system called FLINS (Fuzzy LINgual System). The authors show that for natural language propositions involving fuzzy quantifiers and truth qualifiers (for example, “Most tall men are heavy is true”), one can infer a modified proposition (such as “Many rather tall men are heavy is true”) when 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,...)-one can analytically resolve fuzzy quantifiers for inferred propositions