The R0 R 0 -type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens
Fuzzy modus ponens (briefly, FMP) is the most fundamental form of fuzzy reasoning and has been extensively discussed by diverse researchers. The aim of the present paper is to propose a formalized form of FMP, called generalized modus ponens, in the fuzzy logic system L ? and solve it in L ? , and then provide its numerical version as a new algorithm for solving FMP. As a preparation, some related questions such as what is a fuzzy logic metric space, why is R0 R 0 -implication operator selected, and what kind of merits does the fuzzy pseudo-metric logic space (F(S),?) ( F ( S ) , ? ) possess, etc. are analyzed.
fuzzy modus ponens fuzzy pseudo-metric space r0 r 0 -operator r0 r 0 r0 r 0 r 0 system l ? l ? l ? l ? continuity