摘要
本文建立了一种演绎系统FFCS ,在该演义系统中可以处理具有模糊性的推理过程 .区别与其他对模糊推理进行形式化的逻辑系统 ,FFCS对模糊假言推理FMP做了完全形式化的处理 .
A formalized calculus system called F_fuzzy calculus system, which is a symbol deduction system to formalize fuzzy inference, is constructed in this paper. The fuzzy modus ponens was completely formalized in this calculus system.
基金
:SupportedbyspecialbasicScienceFoundationofSouthwestJiaotongUniversity( 1999J0 6)