Skip to main content
SpringerLink
Log in

10-Elements Linguistic Truth-Valued Intuitionistic Fuzzy First-Order Logic System

  • Conference paper
Intelligent Computation in Big Data Era (ICYCSEE 2015)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 503))

Abstract

This paper presents 10-elements linguistic truth-valued intuitionistic fuzzy algebra and the properties based on the linguistic truth-valued implication algebra which is fit to express both comparable and incomparable information. This method can also deal with the uncertain problem which has both positive evidence and negative evidence at the same time.10-elements linguistic truth-valued intuitionistic fuzzy first-order logic system has been established in the intuitionistic fuzzy algebra.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Zadeh, L.A.: Fuzzy sets. Information and Control. 8(3), 338–353 (1965)

    Article  MathSciNet  MATH  Google Scholar 

  2. Atanassov, K.: lntuionistic fuzzy sets. Fuzzy Sets and Systems. 20(1), 87–96 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  3. Atanassov, K.: More on intuionistic fuzzy sets. Fuzzy Sets and Systems. 33(1), 37–45 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  4. Xu, Y., Ruan, D., Qin, K.Y., Liu, J.: Lattice-valued logic. Springer (2003)

    Google Scholar 

  5. Meng, D., Xu, Y., Jia, H.D.: Resolution Principle Based on Six Lattice-Valued First-Order Logic L6F(X). In: Proceedings of 2005 IEEE Networking, Sensing and Control Conference, pp. 838–843 (2005)

    Google Scholar 

  6. Meng, D., Song, Z.M., Qin, K.Y.: Algorithm of transforming any formula in LF(X) into reducible form. Journal of Southwest Jiaotong University (Natural Science Edition) 38(4), 433–437 (2003)

    MATH  Google Scholar 

  7. Xu, Y., Liu, J., Ruan, D., Lee, T.T.: On the consistency of rule bases based on lattice-valued first-order logic LF(X). International Journal of Intelligent Systems 21, 399–424 (2006)

    Article  MATH  Google Scholar 

  8. He, X.X., Xu, Y., Liu, J.: a-Input and a-unit resolution methods for generalized horn clause set. Journal of Donghua University (Eng. Ed.) 29(1), 66–70 (2012)

    Google Scholar 

  9. Zheng, H.L., Xu, B.Q., Zou, L.: An approach for knowledge representation based on ten-element lattice implication algebra. Computer Applications and Software. 30(1), 37–39 (2003)

    Google Scholar 

  10. Xu, W.T., Xu, Y.: Ideal resolution principle for lattice-valued first-order logic LF(X) based on lattice implication algebra. Journal of Shanghai Jiaotong University (Science) 17(2), 178–181 (2012)

    Article  MATH  Google Scholar 

  11. Lai, J.J., Xu, Y.: Uncertainty reasoning of two models based on linguistic truth-valued lattice value first-order logic system Lv(n×2)F(X). Fuzzy Systems and Mathematics 27(4), 28–35 (2013)

    MathSciNet  MATH  Google Scholar 

  12. Xu, W.T., Zhang, W.Q., Xu, Y., Zhang, D.X.: α-generalized resolution principle based on the lattice-valued first-order logic system. Journal of Xidian University 41(1), 168–173 (2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Engineering College, Dalian Maritime University, China

    Yingxin Wang

  2. School of Computer and Information Technology, Liaoning Normal University, China

    Xin Wen & Li Zou

  3. Key Laboratory for Novel Software Technology, Nanjing University, China

    Li Zou

Authors
  1. Yingxin Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xin Wen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Li Zou
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Harbin Institute of Technology, Harbin, China

    Hongzhi Wang  & Wanxiang Che  & 

  2. School of Computer Science and Technology, Heilongjiang Institute of Technology, Harbin, China

    Haoliang Qi  & Zhongyuan Han  & 

  3. Northeast Forestry University, Harbin, China

    Zhaowen Qiu

  4. Heilongjiang Institute of Technology, Harbin, China

    Leilei Kong

  5. Harbin Engineering University, China

    Junyu Lin

  6. Zhongkeyunhai Company, Harbin, China

    Zeguang Lu

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wang, Y., Wen, X., Zou, L. (2015). 10-Elements Linguistic Truth-Valued Intuitionistic Fuzzy First-Order Logic System. In: Wang, H., et al. Intelligent Computation in Big Data Era. ICYCSEE 2015. Communications in Computer and Information Science, vol 503. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-46248-5_49

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-46248-5_49

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-46247-8

  • Online ISBN: 978-3-662-46248-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation