Title :
Fuzzy resolution principle
Author :
Shen, Zuliang ; Ding, Liya ; Mukaidono, Masao
Author_Institution :
Fac. of Eng., Meigi Univ., Kawasaki, Japan
Abstract :
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.<>
Keywords :
formal logic; fuzzy set theory; absurdum; contradictory degree; fuzzy Prolog system; fuzzy contradictory; fuzzy firs-order logic; fuzzy logic; fuzzy resolution principle; fuzzy resolvent; reduction; Fuzzy logic; Fuzzy set theory; Fuzzy sets; Fuzzy systems; History; Humans; Set theory;
Conference_Titel :
Multiple-Valued Logic, 1988., Proceedings of the Eighteenth International Symposium on
Conference_Location :
Palma de Mallorca, Spain
Print_ISBN :
0-8186-0859-5
DOI :
10.1109/ISMVL.1988.5176
