Skip to main content
SpringerLink
Log in

Equivalence Knowledge Mass and Approximate Reasoning in \(\mathcal{R}\)–Logic \(\mathbb{C}_\mathcal{R}\) (I)

  • Conference paper
Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence (ICIC 2008)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5227))

Included in the following conference series:

  • 2118 Accesses

Abstract

By casting off the direct restriction of topological structure, this paper presents another matching scheme between the input A  ∗  and the knowledge A →B based on the equivalence relation \(\mathcal{R}\) on formulae set \(\mathcal{F(S)}\) and the corresponding equivalence classification

$$ \mathcal{F(S)}/\mathcal{R}=\{ [A]_\mathcal{R}\ | A \in \mathcal{F(S)} \} $$

therefore, obtains another algorithm of approximate reasoning — the IV-type \(\mathcal{R}\)–algorithm.

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 189.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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. Wang, G.J.: On the Logic Foundation of Fuzzy Reasoning. Information Science 117, 47–88 (1999)

    Article  MATH  Google Scholar 

  2. Wang, G.J., Leung, Y.: Intergrated Semantics and Logic Metric Spaces. Fuzzy Sets and Systems 136, 71–91 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  3. Wang, G.J., Wang, H.: Non-fuzzy Versions of Fuzzy Reasoning in Classical Logic. Information Sciences 138, 211–236 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  4. Ying, M.S.: A Logic for Approximate Reasoning. The Journal of Symbolic Logic 59, 830–837 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  5. Ying, M.S.: Fuzzy Reasoning under Approximate Match. Science Bulletin 37, 1244–1245 (1992)

    Google Scholar 

  6. Zheng, Y.L.: Stratified Fuzzy Propositional Logic and Approximate Reasoning. Doctorate Dissertation of Xi’an Jiaotong University vol. 1, pp. 1–180 (2002)

    Google Scholar 

  7. Zheng, Y.L.: Stratified Construction of Fuzzy Propositional Logic. In: Proceedings of International Conference on Fuzzy Information Processing, pp. 1–2, 169–174. Tsinghua University Press/Springer(2003)

    Google Scholar 

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

    Google Scholar 

  9. Zheng, Y.L., Zhang, C.S., Yao, X.: Type I Topological Logic and Approximate Reasoning. In: Wang, L., Jin, Y. (eds.) FSKD 2005. LNCS (LNAI), vol. 3613, pp. 253–262. Springer, Heidelberg (2005)

    Google Scholar 

  10. Zheng, Y.L.: Topological Logic and Approximate Reasoning. Postdoctor Research Report of Tsinghua University vol. 1, pp. 1–326 (2006)

    Google Scholar 

  11. Zheng, Y.L., Zhang, C.S., Xia, Y.L.: Type II Topological Logic and Approximate Reasoning. In: Wang, L., Jin, Y. (eds.) FSKD 2005. LNCS (LNAI), vol. 3613, pp. 243–252. Springer, Heidelberg (2005)

    Google Scholar 

  12. Meng, G.W.: Lowen’s Compactness in L-fuzzy Topological Spaces. Fuzzy Sets and Systems 53, 329–333 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  13. 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 

  14. Pavalka, J.: On Fuzzy Logic (I)(II)(III). Zeitschr. F. Math. Logik und Grundlagen d. Math. 25, 45–52, 119–134, 447–464 (1979)

    Article  Google Scholar 

  15. Novak, V.: On the Syntactic-semantical Completeness of First Order Fuzzy Logic (I)(II). Kybernetika 26, 47–66, 134–154 (1990)

    MATH  MathSciNet  Google Scholar 

  16. Thomas, S.: Similarity, Interpolation, and Fuzzy Rule Construction. Fuzzy Sets and Systems 58, 73–86 (1993)

    Article  MathSciNet  Google Scholar 

  17. Pappis, C.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 

  18. Pappis, C.P.: Value Approximation of Fuzzy Systems. Fuzzy Sets and Systems 39, 111–115 (1991)

    Article  MATH  MathSciNet  Google Scholar 

  19. 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 

  20. 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 

  21. Amao, P., Nola, A.D., Navara, M.: Criteria That should be Satisifed by Mamdani-Assilian Controller. In: Proceedings of the Internaional conference on Fuzzy Information Processing, pp. 1–2, 195–198. Tsuinghua University Press/Springer (2003)

    Google Scholar 

  22. Ying, M.S.: Reasoning about Probabilistic Sequential Programs in a Probabilistic Logic. Acta Informatica 39, 315–389 (2003)

    Article  MATH  MathSciNet  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, Guang Yang & Jing Zheng

  2. State Key Laboratory for Intelligent Technology and Systems, Department of Automation, Faculty of Information Science and Technology, Tsinghua University, Beijing, 100084, China

    Yalin Zheng, Changshui Zhang & Yunpeng Xu

  3. Institute of Dongguan Economy and International Commerce, Department of Economy and Commerce, Dongguan University of Science and Technology, Dongguan, 523808, China

    Jing Zheng

Authors
  1. Yalin Zheng
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Guang Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Changshui Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jing Zheng
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Yunpeng Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

De-Shuang Huang Donald C. Wunsch II Daniel S. Levine Kang-Hyun Jo

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zheng, Y., Yang, G., Zhang, C., Zheng, J., Xu, Y. (2008). Equivalence Knowledge Mass and Approximate Reasoning in \(\mathcal{R}\)–Logic \(\mathbb{C}_\mathcal{R}\) (I). In: Huang, DS., Wunsch, D.C., Levine, D.S., Jo, KH. (eds) Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence. ICIC 2008. Lecture Notes in Computer Science(), vol 5227. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85984-0_48

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-85984-0_48

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-85983-3

  • Online ISBN: 978-3-540-85984-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation