In this paper, we propose an IF... THEN... rule-based inference method which is necessary to construct a natural language communication system and an expert system, and so on. The method is referred to how to estimate a truth qualifier τB' when an input proposition is “QA are F is τ” and IF... THEN... rule “IF Q'A' are F' is τA THEN Q''A'' are F'' is τB” is given and an inference result is “Q''A'' are F'' is τB' ” (Q, Q', Q'': Fuzzy quantifiers, A, A', A'': Fuzzy subjects, F, F', F'': Fuzzy predicates, τ, τA, τB, τB': Truth qualifiers). We propose a method which infers a result proposition “Q''A'' are F'' is τB' ” for monotone Q's and show concrete application examples of the method. Furthermore we compare the inference results under various implication functions used for getting a truth value fuzzy set of the rule.
View full abstract