Inference method for fuzzy quantified and truth qualified natural language propositions

摘要

This paper proposes an inference method for fuzzy quantified and truth qualified natural language proposi- tions. For example, for "Most tall men heavy is true", a modified proposition "Many more or less tall men are heavy is true", can be derived by inference. For the quantified "more or less", the fuzzy quantifier "many" can be derived analytically. Three types of fuzzy quantifiers(the mono- tonically nonincreasing type such as "few, the monotoni- cally nondecreasing type such as "most", and the single-peaked type such as "several"), as well as the mono- tonic and injection type truth quantified qualifier such as true and false, are considered.