• DocumentCode
    547347
  • Title

    A graded method for reasoning about n-valued R0 propositional logic

  • Author

    Lan, Qian ; Ma, Teng

  • Author_Institution
    Sch. of Civil Eng., Lanzhou Univ. of Technol., Lanzhou, China
  • Volume
    3
  • fYear
    2011
  • fDate
    10-12 June 2011
  • Firstpage
    418
  • Lastpage
    421
  • Abstract
    The concept of pure truth degrees of propositions in the n-valued R0 logic system is introduced by means of infinite product of uniformly distributed probability spaces of cardinal n. Similarity degrees among formulas are proposed and a pseudo-metric is defined therefrom on the set of formulas. In the end, two kinds of approximate reasoning scheme are given and hence another possible framework suitable for developing graded reasoning in n-valued R0 propositional logic is established.
  • Keywords
    fuzzy logic; fuzzy set theory; inference mechanisms; probability; uncertainty handling; approximate reasoning scheme; cardinal space; distributed probability; graded method; infinite product; n-valued R0 propositional logic system; pseudo-metric; Artificial intelligence; Atomic measurements; Cognition; Cost accounting; Fuzzy sets; approximate reasoning; pure truth degree; similarity degree;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Science and Automation Engineering (CSAE), 2011 IEEE International Conference on
  • Conference_Location
    Shanghai
  • Print_ISBN
    978-1-4244-8727-1
  • Type

    conf

  • DOI
    10.1109/CSAE.2011.5952710
  • Filename
    5952710