DocumentCode
2698663
Title
Fuzzy resolution principle
Author
Shen, Zuliang ; Ding, Liya ; Mukaidono, Masao
Author_Institution
Fac. of Eng., Meigi Univ., Kawasaki, Japan
fYear
1988
fDate
0-0 1988
Firstpage
210
Lastpage
215
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ISMVL.1988.5176
Filename
5176
Link To Document