Fuzzy resolution principle

The resolution principle based on reduction and absurdum is extended from binary logic to fuzzy logic. The extension is dependent on introducing the concepts of fuzzy contradictory, contradictory degree, fuzzy resolvent, and confidence of resolvent. The concept of fuzzy resolvent is first interpreted, as it is the most important concept and is the basis of fuzzy resolution. Then the fuzzy resolution principle is considered for fuzzy propositional logic and extended to the fuzzy firs-order logic. The completeness of the fuzzy resolution principle is proved. The fuzzy resolution principle has been used as the basis of a powerful fuzzy Prolog system.<
>