• DocumentCode
    2155882
  • Title

    Quasi-truth Degree of Formula in Lukasiewicz 3-valued Logic System

  • Author

    Zuo, Weibing

  • Author_Institution
    Coll. of Math. & Inf. Sci., North China Univ. of Water Conservancy & Hydroelectric Power, Zhengzhou, China
  • Volume
    2
  • fYear
    2010
  • fDate
    26-28 Feb. 2010
  • Firstpage
    229
  • Lastpage
    233
  • Abstract
    For the approximate reasoning method is extended to general probability space, we define three-valued logic (p,q,r) measure in discrete probability space and quasi-truth degree of formula in Lukasiewicz 3-valued logic system which is popularized from truth degree of formula. We also prove that the set of quasi-truth degree of all formulas in the range of [0,1] is dense and give the general expression of quasi-truth degree when (p,q,r)=(1/6,2/6,3/6) and (p,q,r)=(1/7,2/7,4/7). Finally, we define similarity degree between formulas and a kind of pseudo-distance in the set of all formulas, so provide a possible structure of approximate reasoning theory.
  • Keywords
    inference mechanisms; multivalued logic; probability; Lukasiewicz 3-valued logic system; approximate reasoning method; discrete probability space; quasi-truth degree; Cost accounting; Educational institutions; Extraterrestrial measurements; Genetic expression; Information science; Logic; Mathematics; Power measurement; Q measurement; Water conservation; approximate reasoning; quasi-truth degree; similarity degree; three-valued logic (p,q,r) measure;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer and Automation Engineering (ICCAE), 2010 The 2nd International Conference on
  • Conference_Location
    Singapore
  • Print_ISBN
    978-1-4244-5585-0
  • Electronic_ISBN
    978-1-4244-5586-7
  • Type

    conf

  • DOI
    10.1109/ICCAE.2010.5451477
  • Filename
    5451477