论文部分内容阅读
Based on the Schweizer-Sklar t-norm, a fuzzy logic system UL* is estab- lished, and its soundness theorem and completeness theorem are proved. The following facts are pointed out: the well-known formal system SBL~ is a semantic extension of UL*; the fuzzy logic system IMTL? is a special case of UL* when two negations in UL* coincide. Moreover, the connections between the system UL* and some fuzzy logic formal systems are investigated. Finally, starting from the concepts of “the strength of an ‘AND’ operator” by R.R. Yager and “the strength of fuzzy rule interaction” by T. Whalen, the essential meaning of a parameter p in UL* is explained and the use of fuzzy logic system UL* in approximate reasoning is presented.
Based on the Schweizer-Sklar t-norm, a fuzzy logic system UL * is estabished, and its soundness theorem and completeness theorem are pointed out that the well-known formal system SBL ~ is a semantic extension of UL *; the fuzzy logic system IMTL? is a special case of UL * when two negations in UL * coincide. Moreover, the connections between the system UL * and some fuzzy logic formal systems are investigated. Finally, starting from the concepts of “The strength of an ’AND’ operator” by RR Yager and “the strength of fuzzy rule interaction” by T. Whalen, the essential meaning of a parameter p in UL * is explained and the use of fuzzy logic system UL * in approximate reasoning is presented.