Title :
Truth degree decreasing theorem of generalized effective inference in fuzzy logic system
Author_Institution :
Coll. of Math. & Comput. Sci., Yan´an Univ., Yan´an, China
Abstract :
The paper first introduces fuzzy propositional calculus system ℋ, generalized effective inference and integral truth degree of formulas, then proves integral truth degree decreasing theorem of generalized effective inference in fuzzy propositional calculus system ℋ. Finally, the paper compares this theorem with the conclusion calculates integral truth degree using Fibonacci sequence and illustrates the superiority of the theorem.
Keywords :
Fibonacci sequences; fuzzy logic; fuzzy reasoning; theorem proving; Fibonacci sequence; fuzzy logic system; fuzzy propositional calculus system; generalized effective inference; integral truth degree of formulas; truth degree decreasing theorem; Calculus; Cognition; Educational institutions; Fuzzy logic; Fuzzy reasoning; Fuzzy sets; fuzzy propositional calculus system ℋ; generalized effective inference; integral truth degree;
Conference_Titel :
Control Conference (CCC), 2013 32nd Chinese
Conference_Location :
Xi´an
