A great disturbance was raised by the report of Elkan entitled 'The Paradoxical Success of Fuzzy Logic' at the llth Annual Conference on Artificial Intelligence held in the United States in July, 1993. 15 famo...A great disturbance was raised by the report of Elkan entitled 'The Paradoxical Success of Fuzzy Logic' at the llth Annual Conference on Artificial Intelligence held in the United States in July, 1993. 15 famous experts working in artificial intelligence and fuzzy systems refuted the opinion. Elkan then gave another report entitled 'The Paradoxical Controversy over Fuzzy Logic' as a reply to the refutations mentioned above. Prof. Wu gave a detailed analysis on the controversy (see ref. [3]). This shows that there is no rigid logic foundation for fuzzy propositional calculus. In this note we first point out that it is impossible to keep all classical theorems as tautologies in the field of fuzzy propositional calculus. Then we introduce a formal deductive system in fuzzy propositional calculus by giving up certain classical axioms, and the corresponding soundness theorem is proved.展开更多
ELKAN’s report 'The paradoxical success of fuzzy logic' at the 11th IA Annual Conferenceof America in July, 1993 caused quite a great stir in the research field of IA as well as fuzzysystems, fifteen scholars...ELKAN’s report 'The paradoxical success of fuzzy logic' at the 11th IA Annual Conferenceof America in July, 1993 caused quite a great stir in the research field of IA as well as fuzzysystems, fifteen scholars published papers thereupon to refute it and finally Elkan answeredthem with his paper 'The paradoxical controversy over fuzzy logic'. An exclusive analysiscan be found in Prof. Wu Wangming’s paper. It seems from this event that fuzzy proposi-展开更多
文摘A great disturbance was raised by the report of Elkan entitled 'The Paradoxical Success of Fuzzy Logic' at the llth Annual Conference on Artificial Intelligence held in the United States in July, 1993. 15 famous experts working in artificial intelligence and fuzzy systems refuted the opinion. Elkan then gave another report entitled 'The Paradoxical Controversy over Fuzzy Logic' as a reply to the refutations mentioned above. Prof. Wu gave a detailed analysis on the controversy (see ref. [3]). This shows that there is no rigid logic foundation for fuzzy propositional calculus. In this note we first point out that it is impossible to keep all classical theorems as tautologies in the field of fuzzy propositional calculus. Then we introduce a formal deductive system in fuzzy propositional calculus by giving up certain classical axioms, and the corresponding soundness theorem is proved.
文摘ELKAN’s report 'The paradoxical success of fuzzy logic' at the 11th IA Annual Conferenceof America in July, 1993 caused quite a great stir in the research field of IA as well as fuzzysystems, fifteen scholars published papers thereupon to refute it and finally Elkan answeredthem with his paper 'The paradoxical controversy over fuzzy logic'. An exclusive analysiscan be found in Prof. Wu Wangming’s paper. It seems from this event that fuzzy proposi-