Some properties of fuzzy logic with similarity

Fuzzy sets and fuzzy logic is an important and a practical mathematical tool for the processing of uncertain and vague information. In our earlier work, a fuzzy logic with similarity was proposed and the soundness and completeness were proved (Jiabing Wang et al. 2002). In this paper, some properties of fuzzy inference based on the resolution principle and paramodulation are discussed: first, the significance of fuzzy logical inference by the resolution principle is discussed in the context of fuzzy first-order logic; second, it is shown that the fuzzy logical inference by the paramodulation is always significant; finally, the relation between a resolvent or paramodulant and ambiguity is discussed.