数学季刊(英文版)
數學季刊(英文版)
수학계간(영문판)
CHINESE QUARTERLY JOURANL OF AMTHEMTICS
2001年
1期
59-64
,共6页
模糊推理%模糊形式推理%F-fuzzy演绎系统
模糊推理%模糊形式推理%F-fuzzy縯繹繫統
모호추리%모호형식추리%F-fuzzy연역계통
本文建立了一种演绎系统FFCS，在该演义系统中可以处理具有模糊性的推理过程.区别与其他对模糊推理进行形式化的逻辑系统，FFCS对模糊假言推理FMP做了完全形式化的处理.
本文建立瞭一種縯繹繫統FFCS，在該縯義繫統中可以處理具有模糊性的推理過程.區彆與其他對模糊推理進行形式化的邏輯繫統，FFCS對模糊假言推理FMP做瞭完全形式化的處理.
본문건립료일충연역계통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.
