Title :
Fuzzy reasoning and fuzzy logic
Author_Institution :
Shaanxi Normal Univ., Xi´´an, China
Abstract :
Fuzzy reasoning and fuzzy logic are two related but different research fields such that both are fruitful but have not yet been well linked. The aim of the paper is to: (i) prove that it is impossible to keep all theorems in classical propositional calculus to be tautologies in fuzzy propositional calculus; (ii) establish a so called quasi-formal deduction system and prove the corresponding soundness theorem; and (iii) revise, clear and set a logic foundation for the concepts of fuzzy modus ponens and fuzzy modus tollens
Keywords :
fuzzy logic; inference mechanisms; theorem proving; classical propositional calculus; fuzzy logic; fuzzy modus ponens; fuzzy modus tollens; fuzzy propositional calculus; fuzzy reasoning; logic foundation; quasi-formal deduction system; soundness theorem proving; tautologies; theorems; Calculus; Chromium; Cost accounting; Fuzzy logic; Fuzzy reasoning; Fuzzy sets; Fuzzy systems; Zirconium;
Conference_Titel :
Fuzzy Systems Symposium, 1996. Soft Computing in Intelligent Systems and Information Processing., Proceedings of the 1996 Asian
Conference_Location :
Kenting
Print_ISBN :
0-7803-3687-9
DOI :
10.1109/AFSS.1996.583672
