Skip to main content
SpringerLink
Log in
Book cover

International Conference on Rough Sets and Knowledge Technology

RSKT 2006: Rough Sets and Knowledge Technology pp 93–102Cite as

Theoretical Study of Granular Computing

  • Conference paper

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

Abstract

We propose a higher order logic called as the granular logic. This logic is introduced as a tool for investigating properties of granular computing. In particular, constants of this logic are of the form m(F), where F is a formula (e.g., Boolean combination of descriptors) in a given information system. Truth values of the granular formula are discussed. The truth value of a given formula in a given model is defined by a degree to which the meaning of this formula in the given model is close to the universe of objects. Our approach generalizes the rough truth concept introduced by Zdzisław Pawlak in 1987. We present an axiomatization of granular logic. The resolution reasoning in the axiomatic systems is illustrated by examples, and the resolution soundness is also proved.

This is a preview of subscription content, 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   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Pawlak, Z.: Rough logic. Bulletin of the Polish Academy of Sciences, Technical Sciences 5-6, 253–258 (1987)

    MathSciNet  Google Scholar 

  2. Zadeh, L.A.: Fuzzy sets and information granularity. In: Gupta, M.M., Ragade, R., Yager, R. (eds.) Advances in Fuzzy Set Theory and Applications, pp. 3–18. North-Holland, Amsterdam (1979)

    Google Scholar 

  3. Lin, T.Y.: Granular computing on binary relations I: Data mining and neighborhood systems. In: Skowron, A., Polkowski, L. (eds.) Rough Sets in Knowledge Discovery, pp. 107–121. Physica-Verlag, Berlin (1998)

    Google Scholar 

  4. Lin, T.Y.: From rough sets and neighborhood systems to information granulation and computing in Words. In: Proceedings of European Congress on Intelligent Techniques and Soft Computing, pp. 1602–1606 (1997)

    Google Scholar 

  5. Lin, T.Y.: Granular computing on binary relations II: Rough set representations and belief functions. In: Skowron, A., Polkowski, L. (eds.) Rough Sets in Knowledge Discovery, Physica-Verlag, Berlin (1998)

    Google Scholar 

  6. Lin, T.Y.: Data mining: Granular computing approach. In: Zhong, N., Zhou, L. (eds.) PAKDD 1999. LNCS (LNAI), vol. 1574, pp. 24–33. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  7. Lin, T.Y., Louie, E.: Modeling the real world for data mining: granular computing approach. In: Proceeding of Joint 9th IFSA World Congress and 20th NAFIPS International Conference, Vancouver, Canada, pp. 3044–3049 (2001)

    Google Scholar 

  8. Lin, T.Y.: Data mining and machine oriented modeling: A granular computing approach. International Journal of Applied Intelligence 2, 113–124 (2000)

    Article  Google Scholar 

  9. Skowron, A., Stepaniuk, J., Peters, J.F.: Extracting patterns using information granules. In: Proceedings of International Workshop on Rough Set Theory and Granular Computing, Japan, pp. 135–142 (2001)

    Google Scholar 

  10. Skowron, A.: Toward intelligent systems: Calculi of information granules. Bulletin of International Rough Set Society 1-2, 9–30 (2001)

    Google Scholar 

  11. Skowron, A., Swiniarski, R.: Information granulation and pattern recognition. In: Pal, S.K., Polkowski, L., Skowron, A. (eds.) Rough Neurocomputing: Techniques for Computing with Words, Cognitive Technologies, Springer, Berlin (2003)

    Google Scholar 

  12. Skowron, A., Stepaniuk, J.: Information granules and rough neurcomputing. In: Pal, S.K., Polkowski, L., Skowron, A. (eds.) Rough Neurocomputing: Techniques for Computing with Words, Cognitive Technologies, Springer, Berlin (2003)

    Google Scholar 

  13. Polkowski, L., Skowron, A.: Constructing rough mereological granules of classifying rules and classify algorithms. In: Yager, R., et al. (eds.) Studies in Fuzziness and Soft Computing 89, pp. 57–70. Physica-Verlag, Berlin (2002)

    Google Scholar 

  14. Nguyen, H.S., Skowron, A., Stepaniuk, J.: Granular computing: A rough set approach. International Journal of Computational Intelligence 3, 514–544 (2001)

    MathSciNet  Google Scholar 

  15. Yao, Y.Y., Yao, J.T.: Granular computing as a basis for consistent classification problems. In: Chen, M.-S., Yu, P.S., Liu, B. (eds.) PAKDD 2002. LNCS (LNAI), vol. 2336, pp. 101–106. Springer, Heidelberg (2002)

    Google Scholar 

  16. Yao, Y.Y.: Information granulation and rough set approximation. International Journal of Intelligence Systems 16, 87–104 (2001)

    Article  MATH  Google Scholar 

  17. Yao, J.T., Yao, Y.Y.: Induction of classification rules by granular computing. In: Proceedings of the International Conference on Rough Sets and Current Trends in Computing, Philadelphia, pp. 331–338. Springer, Berlin (2002)

    Chapter  Google Scholar 

  18. Yao, Y.Y.: On generalizing rough set theory. In: Proceedings of Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, Chongqing, pp. 44–51. Springer, Berlin (2003)

    Chapter  Google Scholar 

  19. Yao, Y.Y., Liu, Q.: A generalized decision logic in interval-set-valued information table. In: Proceedings of Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, Japan, pp. 285–294. Springer, Berlin (1999)

    Google Scholar 

  20. Zadeh, L.A.: Some reflections on soft computing, granular computing and their roles in the conception, design and utilization of information/intelligent systems. Soft Computing 2, 23–25 (1998)

    Google Scholar 

  21. Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)

    MATH  Google Scholar 

  22. Banerjee, M.: Rough truth, consequence, consistency and belief revision. In: Proceedings of the International Conference on Rough Sets and Current Trends in Computing, Sweden, pp. 95–102. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  23. Liu, Q.: Rough Sets and Rough Reasoning (3rd) (in Chinese). Press. Of Science, Beijing (2005)

    Google Scholar 

  24. Liu, Q., Liu, S.H., Zheng, F.: Rough logic and its applications in data reduction. Journal of Software (in Chinese) 3, 415–419 (2001)

    Google Scholar 

  25. Liu, Q.: Granules and reasoning based on granular computing. In: Proceedings of 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, pp. 516–526. Springer, Heidelberg (2003)

    Google Scholar 

  26. Liu, Q., Liu, Q.: Approximate reasoning based on granular computing granular logic. In: Proceedings of International Confernce Machine Learning and Cybernetics, Beijing, pp. 1258–1262 (2002)

    Google Scholar 

  27. Liu, Q., Huang, Z.H.: G-Logic and its resolution reasoning. Chinese Journal of Computer (in Chinese) 7, 865–873 (2004)

    Google Scholar 

  28. Liu, Q.: The OI-resolution of operator rough logic. In: Proceedings of the International Conference on Rough Sets and Current Trends in Computing, pp. 432–435. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  29. Liu, Q.: Operator rough logic and its resolution principle. Chinese Journal of Computer (in Chinese) 5, 476–480 (1998)

    Google Scholar 

  30. Liu, Q.: The resolution for rough prepositional logic with lower(L) and upper(H) approximate operators. In: Proceedings of Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, pp. 352–356. Springer, Heidelberg (1999)

    Google Scholar 

  31. Chang, C.L., Lee, R.C.T.: Symbolic Logic and Machine Theorem Proving. Academic Press, New York (1993)

    Google Scholar 

  32. Lin, T.Y., Liu, Q.: First order rough logic I: Approximate reasoning via rough sets. Fundamenta Informaticae 2-3, 137–153 (1996)

    MathSciNet  Google Scholar 

  33. Liu, Q., Wang, Q.Y.: Granular logic with closeness relation “~ λ ” and its reasoning. In: Proceedings of Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, pp. 709–717. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science & Technology, Nanchang Institute of Technology, Nanchang, 330099, China

    Qing Liu & Hui Sun

  2. Department of Computer Science & Technology, Nanchang University, Nanchang, 330029, China

    Qing Liu

Authors
  1. Qing Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hui Sun
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. College of Computer Science and Technology, Chongqing, University of Posts and Telecommunication, 400065, Chongqing, P.R. China

    Guo-Ying Wang

  2. Department of Electrical and Computer Engineering, University of Manitoba, R3T 5V6, Winnipeg, Manitoba, Canada

    James F. Peters

  3. Institute of Mathematics, Warsaw University, Banacha 2, 02-097, Warsaw, Poland

    Andrzej Skowron

  4. Department of Computer Science, University of Regina, Regina,, S4S 0A2, Saskatchewan, Canada

    Yiyu Yao

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Liu, Q., Sun, H. (2006). Theoretical Study of Granular Computing. In: Wang, GY., Peters, J.F., Skowron, A., Yao, Y. (eds) Rough Sets and Knowledge Technology. RSKT 2006. Lecture Notes in Computer Science(), vol 4062. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11795131_14

Download citation

  • DOI: https://doi.org/10.1007/11795131_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-36297-5

  • Online ISBN: 978-3-540-36299-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation