Skip to main content
SpringerLink
Log in

Knowledge Mass and Automatic Reasoning System in Similarity Logic ℂℚ

  • Conference paper
Book cover Fuzzy Information and Engineering

Part of the book series: Advances in Soft Computing ((AINSC,volume 40))

  • 766 Accesses

Abstract

This paper introduces and investigate the ℚ−knowledge mass, ℚ−knowledge universe, ℚ−knowledge base and ℚ−automatic reasoning system bases on the similarity logic ℂℚ. We also present and investigate the ℚ−true level k knowledge circle, extended ℚ− knowledge base, extended ℚ−automatic reasoning system and the level (k,j) perfection of extended ℚ− knowledge base \(\mathbb{K}^V\) in this paper.

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 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.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. Costas, P.P., Nikos, I.K.: A comparative assessment of measures of similiarity of fuzzy values. Fuzzy Sets and Systems 56, 171–174 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  2. Costas, P.P.: Value approximation of fuzzy Systems. Fuzzy Sets and Systems 39, 111–115 (1991)

    Article  MathSciNet  Google Scholar 

  3. Wang, G.J.: Fuzzy continuous input-output controllers are universal approximators. Fuzzy Sets and Systems 97, 95–99 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  4. Wang, G.J.: On the logic foundation of fuzzy reasoning. Information Science 117, 47–88 (1999)

    Article  MATH  Google Scholar 

  5. Wang, G.J., Wang, H.: Non-fuzzy versions of fuzzy reasoning in classical logics. Information Sciences 138, 211–236 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  6. Wang, G.J., Leung, Y.: Intergrated semantics and logic metric spaces. Fuzzy Sets and Systems 136, 71–91 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  7. Wang, G.J., He, Y.Y.: Instuitionistic fuzzy sets and L-fuzzy sets. Fuzzy Sets and Systems 110, 271–274 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  8. Meng, G.W.: Lowen’s compactness in L-fuzzy topological spaces. Fuzzy Sets and Systems 53, 329–333 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  9. Meng, G.W.: On countably strong fuzzy compact sets in L-fuzzy topological spaces. Fuzzy Sets and Systems 72, 119–123 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  10. Bai, S.Z.: Q-convergence of ideals in fuzzy lattices and its applications. Fuzzy Sets and Systems 92, 357–363 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  11. Bai, S.Z.: Q-convergence of nets and week separation axiom in fuzzy lattices. Fuzzy Sets and Systems 88, 379–386 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  12. Dug, H.H., Seok, Y.H.: A note on the value similarity of fuzzy systems variables. Fuzzy Sets and Systems 66, 383–386 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  13. Hyung, L.K., Song, Y.S., Lee, K.M.: Similarity measure between fuzzy sets and between elements. Fuzzy Systems and Sets 62, 291–293 (1994)

    Article  MathSciNet  Google Scholar 

  14. Chen, S.M., Yeh, M.S., Hsiao, P.Y.: A comparison of similarity measures of fuzzy values. Fuzzy Sets and Systems 72, 79–89 (1995)

    Article  MathSciNet  Google Scholar 

  15. Chen, S.M.: Measures of smilarity between vague sets. Fuzzy Sets and Systems 74, 217–223 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  16. Sudkamp, T.: Similarity, interpolation, and fuzzy rule construction. Fuzzy Sets and Systems 58, 73–86 (1993)

    Article  MathSciNet  Google Scholar 

  17. Kickert, W.J.M., Mamdami, E.H.: Analysis of a fuzzy logic controller. Fuzzy Sets and Systems 1, 29–44 (1978)

    Article  MATH  Google Scholar 

  18. Czogala, E., Leski, J.: On eqivalence of approximate reasoning results using different interpretations of fuzzy if-then rules. Fuzzy Sets and Systems 117, 279–296 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  19. Zadeh, L.A.: Computing with words and perceptions – a paradigm shift in computing and decision ananlysis. In: Proceedings of International Conference on Fuzzy Information Processing, Springer, Heidelberg (2003)

    Google Scholar 

  20. Ying, M.S.: A logic for approximate reasoning. The Journal of Symbolic Logic 59, 830–837 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  21. Ying, M.S.: Fuzzy reasoning under approximate match. Science Bulletin 37, 1244–1245 (1992)

    Google Scholar 

  22. Ying, M.S.: Compactnees, the Lowenheim-Skolem property and the direct product of lattices of truth values. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik 38, 521–524 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  23. Ying, M.S.: Reasoning about probabilistic sequential programs in a probabilistic logic. Acta Informatica 39, 315–389 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  24. Zheng, Y.L.: Stratified construction of fuzzy propositional logic. In: Proceedings of International Conference on Fuzzy Information Processing, 1–2, pp. 169–174 Tsinghua University Press, Springer Verlag (2003)

    Google Scholar 

  25. Zheng, Y.L., Zhang, C.S., Yi, X.: Mamdaniean logic. In: Proceedings of IEEE International Conference on Fuzzy Systems, Budapest, Hungary, 1-3, pp. 629–634 (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Research Center of Intelligent Information Technology, Department of Computer Science and Technology, Faculty of Software, Dongguan University of Science and Technology, Dongguan 523808, China

    Yalin Zheng, Huaqiang Yuan, Ning Wang & Guang Yang

  2. State Key Laboratory for Intelligent Technology and Systems, Department of Automation, Faculty of Information Science and Technology, Tsinghua University, Beijing 100084,Email:zheng-yl@mail.tsinghua.edu.cn, China

    Yalin Zheng

  3. Institute of Information Science, Faculty of Mathematics and Information Science, Shaanxi University of Science and Technology, Hanzhong 723001, China

    Yongcheng Bai

Authors
  1. Yalin Zheng
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Huaqiang Yuan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ning Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Guang Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Yongcheng Bai
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Bing-Yuan Cao

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zheng, Y., Yuan, H., Wang, N., Yang, G., Bai, Y. (2007). Knowledge Mass and Automatic Reasoning System in Similarity Logic ℂℚ . In: Cao, BY. (eds) Fuzzy Information and Engineering. Advances in Soft Computing, vol 40. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71441-5_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-71441-5_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-71440-8

  • Online ISBN: 978-3-540-71441-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation