• DocumentCode
    1714189
  • Title

    Truth degree decreasing theorem of generalized effective inference in fuzzy logic system

  • Author

    Hui Xiaojing

  • Author_Institution
    Coll. of Math. & Comput. Sci., Yan´an Univ., Yan´an, China
  • fYear
    2013
  • Firstpage
    3371
  • Lastpage
    3374
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Control Conference (CCC), 2013 32nd Chinese
  • Conference_Location
    Xi´an
  • Type

    conf

  • Filename
    6640003