• DocumentCode
    2040324
  • Title

    A quantitative method of n-Valued R0 propositional logic

  • Author

    Lan, Qian ; Li, Jun

  • Author_Institution
    Sch. of Civil Eng., Lanzhou Univ. of Technol., Lanzhou, China
  • Volume
    1
  • fYear
    2010
  • fDate
    10-12 Aug. 2010
  • Firstpage
    65
  • Lastpage
    68
  • Abstract
    By means of infinite product of uniformly distributed probability spaces of cardinal n the concept of pure truth degrees of propositions in the n-valued R0 logic system is introduced in the present paper. Inference rules of pure truth degrees are obtained. Moreover, similarity degrees among formulas are proposed and a pseudo-metric is defined therefrom on the set of formulas, and hence a possible framework suitable for developing approximate reasoning theory in n-valued R0 propositional logic is established.
  • Keywords
    fuzzy set theory; inference mechanisms; truth maintenance; approximate reasoning; distributed probability spaces; fuzzy set theory; inference rule; n-valued R0 propositional logic; pseudometric; pure truth degree; quantitative method; Calculus; Cognition; Cost accounting; Fuzzy set theory; Fuzzy sets; Measurement; approximate reasoning; pure truth degree; similarity degree;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Fuzzy Systems and Knowledge Discovery (FSKD), 2010 Seventh International Conference on
  • Conference_Location
    Yantai, Shandong
  • Print_ISBN
    978-1-4244-5931-5
  • Type

    conf

  • DOI
    10.1109/FSKD.2010.5569753
  • Filename
    5569753