Skip to main content
SpringerLink
Log in

Rough Logic and Its Reasoning

  • Chapter
Transactions on Computational Science II

Part of the book series: Lecture Notes in Computer Science ((TCOMPUTATSCIE,volume 5150))

Abstract

In this article, Rough Logic is defined as a nonstandard logic on a given information system IS = (U, A). Atomic formulae of the logic are defined as a = v or a v . It is interpreted as a(x) = v, where a ∈ A is an attribute in A, x is an individual variable on U, and v is an attribute value. The compound formula consist of the atomic formulae and logical connectives. Semantics of the logic is discussed. Truth value of the rough logic is defined as a ratio of the number of elements satisfying the logical formula to the total of elements on U. Deductive reasoning and resolution reasoning are also studied. The rough logic will offer a new idea for the applications to classical logic and other nonstandard logic.

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. Pawlak, Z.: Rough logic. Bull. of Polish Acad. of Sci. 35(5-6), 253–259 (1987)

    MathSciNet  MATH  Google Scholar 

  2. Pawlak, Z.: Rough sets-theoretical aspects of reasoning about data. Kluwer Academic Publishers, Dordrecht (1991)

    MATH  Google Scholar 

  3. Orlowska, E.: A logic of indicernibility relation. In: Skowron, A. (ed.) SCT 1984. LNCS, vol. 208, pp. 177–186. Springer, Heidelberg (1985)

    Chapter  Google Scholar 

  4. Chakraborty, M.K., Banerjee, M.: Rough logic with rough quantifiers. Warsaw University of Technology, ICS Research Report 49/93 (1993)

    Google Scholar 

  5. Nakamura, A.: A rough logic based on incomplete information and its applications. International Journal of Approximate Reasoning 15, 367–378 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  6. Nakamura, A., Matsueda, M.: Rough logic on incomplete knowledge systems. In: Lin, T.Y. (ed.) Proceedings of the third International workshop on Rough Sets and Soft Computing (RSSC 1994), San Jose State University, San Jose, California, USA, pp. 56–64 (1994)

    Google Scholar 

  7. Nakamura, A.: Graded modalitiesin rough logic. In: Polkowski, L., Skowron, A. (eds.) Rough Sets Knowledge Discovery1, pp. 192–208. Physica-Verlag, Heidelberg (1998)

    Google Scholar 

  8. Liu, Q.: Operator rough logic and its resolution principle. Chinese Journal of Computer 21(5), 435–476 (1998) (In Chinese)

    Google Scholar 

  9. Liu, Q.: The OI-Resolution of Operator Rough Logic. In: Polkowski, L., Skowron, A. (eds.) RSCTC 1998. LNCS (LNAI), vol. 1424, pp. 432–435. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  10. Liu, Q.: The resolution for rough propositional logic with lower(L) and upper(H) approximate operators. In: Zhong, N., Skowron, A., Ohsuga, S. (eds.) RSFDGrC 1999. LNCS (LNAI), vol. 1711, pp. 352–356. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  11. Liu, Q., Wang, Q.Y.: Granular logic with Closeness Relation and Its Reasoning. In: Ślęzak, D., Wang, G., Szczuka, M., Düntsch, I., Yao, Y. (eds.) RSFDGrC 2005. LNCS (LNAI), vol. 3641, pp. 709–717. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

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

    MathSciNet  MATH  Google Scholar 

  13. Yao, Y., Liu, Q.: A Generalized Decision Logic in Interval-Set-Valued Information table. In: Zhong, N., Skowron, A., Ohsuga, S. (eds.) RSFDGrC 1999. LNCS (LNAI), vol. 1711, pp. 285–293. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  14. Liu, Q.: λ-Level Rough Quality Relation and the Inference of Rough Paramodulation. In: Ziarko, W., Yao, Y. (eds.) RSCTC 2000. LNCS (LNAI), vol. 2005, pp. 462–469. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  15. Chang, C.L., Lee, R.C.T.: Symbolic logic and machine theorem proving. Academic Press, London (1993)

    Google Scholar 

  16. Liu, X.H.: Fuzzy Logic and Fuzzy Reseaning. Press Of Jilin University (1989)

    Google Scholar 

  17. Banerjee, M., Khan, A.: Propositional Logic from Rough Set Theory. In: Peters, J.F., Skowron, A., Düntsch, I., Grzymała-Busse, J.W., Orłowska, E., Polkowski, L. (eds.) Transactions on Rough Sets VI. LNCS, vol. 4374, pp. 1–25. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  18. Hamilton, A.G.: Logic for Mathematicans. Cambridge University Press, Cambridge (1980)

    Google Scholar 

  19. Liu, Q., Liu, S.H., Zheng, F.: Rough Logic and Its Applications in Data Mining. Journal of Software 12(3), 415–419 (2001) (In Chinese)

    MathSciNet  Google Scholar 

  20. Rasiowa, H., Skowron, A.: Rough concepts logic. In: Skowron, A. (ed.) SCT 1984. LNCS, vol. 208, pp. 288–297. Springer, Heidelberg (1985)

    Chapter  Google Scholar 

  21. Liu, Q.: Rough Sets and Rough Reseaning (Third), p. 8. Science Press, Beijing (2005) (In Chinese)

    Google Scholar 

  22. Liu, Q.: Granular Language and Its Reasoning, Data Mining and Knowledge Discovery: Theory, Tools, and Technology V. In: Proceeding of SPIE-The International Society for Optical Engineering, Orlando, Florida, USA, April 21-22, pp. 279–287 (2003)

    Google Scholar 

  23. Liu, Q., Sun, H.: Theoretical Study of Granular Computing. In: Wang, G.-Y., Peters, J.F., Skowron, A., Yao, Y. (eds.) RSKT 2006. LNCS (LNAI), vol. 4062, pp. 93–102. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  24. Liu, Q., Huang, Z.H.: G-Logic and Resolution Reasoning. Chinese Journal of Computer 27(7), 865–873 (2004) (In Chinese)

    MathSciNet  Google Scholar 

  25. Hobbs, J.R.: Granularity. In: Proceedings of IJCAI, Los Angeles, pp. 432–435 (1985)

    Google Scholar 

  26. Liu, Q., Liu, Q.: Granules and Applications of Granular Computing in Logical Reseaning. Research and Development of Computer 41(4), 546–551 (2004) (In Chinese)

    Google Scholar 

  27. Liu, Q., Jiang, F., Deng, D.Y.: Design and Implement for the Diagnosis Software of Blood Viscosity Syndrome Based on Hemorheology on GrC. LNCS (LNAI), vol. 2639, pp. 413–420. Springer, Berlin (2003)

    MATH  Google Scholar 

  28. Kripke, S.: Semantic Analysis of Modal Logic. In: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, pp. 67–96 (1963)

    Google Scholar 

  29. Liu, Q., Wang, J.Y.: Semantic Analysis of Rough Logical Formulas Based on Granular Computing. In: Proceedings of IEEE GrC 2005, pp. 393–396. IEEE, Los Alamitos (2006)

    Google Scholar 

  30. Zhang, B., Zhang, L.: Theory and Applications for Problem Solving. Publisher of Tsinghua University (1990) (In Chinese)

    Google Scholar 

  31. Polkwski, L.: A Calculus on Granules from Rough inclusions in Information Systems, The Proceedings of International Forum on Theory of GrC from Rough Set Perspective. Journal of Nanchang Institute of Technology 25(2), 22–27 (2006)

    Google Scholar 

  32. Lin, T.Y.: From Rough Sets and Neighborhood Systems to Information Granulation and Computing in Words. In: European Congress on Intelligent Techniques and Soft Computing, pp. 1602–1606 (1997)

    Google Scholar 

  33. Yao, Y.Y.: Three Perspectives of Granular Computing, The Proceedings of International Forum on Theory of GrC from Rough Set Perspective. Journal of Nanchang Institute of Technology 25(2), 22–27 (2006)

    Google Scholar 

  34. Liu, Q., Liu, Q.: Approximate Reasoning Based on Granular Computing in Granular Logic. In: The Proceedings of ICMLS 2002, November 4-6, pp. 1258–1262. IEEE, Los Alamitos (2002)

    Google Scholar 

  35. 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, pp. 121–140. Physica-Verlag, Berlin (1998)

    Google Scholar 

  36. Wang, X.J.: Introduction for mathematical logic. Press. Of Beijing Uni., Beijing (1982)

    Google Scholar 

  37. Lin, Y.: Granular Computing on Partitions, Coverings Neighborhood Systems, The Proceedings of International Forum on Theory of GrC from Rough Set Perspective. Journal of Nanchang Institute of Technology 25(2), 22–27 (2006)

    Google Scholar 

  38. Skowron, A.: Rough-Granular Computing, The Proceedings of International Forum on Theory of GrC from Rough Set Perspective. Journal of Nanchang Institute of Technology 25(2), 22–27 (2006)

    Google Scholar 

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

    Article  MATH  Google Scholar 

  40. Dai, J.H.: Axis Problem of Rough 3-Valued Algebras, The Proceedings of International Forum on Theory of GrC from Rough Set Perspective (IFTGrCRSP 2006), Nanchang, China. Journal of Nanchang Institute of Technology 25(2), 48–51 (2006)

    Google Scholar 

  41. Liu, G.L.: The Topological Structure of Rough Sets over Fuzzy Lattices. In: Proceedings of IEEE International Conference on Granular Computing, Beijing, China, July 25-27, vol. I, pp. 535–538 (2005)

    Google Scholar 

  42. Pei, D.W.: A Generalized Model of Fuzzy Rough Sets. Int. J. General Systems 34(5), 603–613 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  43. 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, pp. 331–338. Springer, Berlin (2002)

    Chapter  Google Scholar 

  44. Miao, D.Q.: Rough Group, Rough Subgroup and their Properties. In: Ślęzak, D., Wang, G., Szczuka, M., Düntsch, I., Yao, Y. (eds.) RSFDGrC 2005. LNCS (LNAI), vol. 3641, Part I, pp. 104–113. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  45. Wu, W.Z.: Rough Set Approximations VS. Measurable Space. In: 2005 Proceedings of IEEE International Conference on Granular Computing, Atlanta, Georgia, USA, pp. 329–332 (2006)

    Google Scholar 

  46. Liu, Q., Sun, H.: Studying direction of granular computimg from rough set perspective of development. Journal of Nanchang Institute Technology 25(5), 1–10 (2006) (In Chinese)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Nanchang University, Nanchang, 330031, China

    Qing Liu & Lan Liu

Authors
  1. Qing Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lan Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Calgary, 2500 University Drive N.W., Calgary, T2N 1N4, AB, Canada

    Marina L. Gavrilova

  2. OptimaNumerics Ltd., Cathedral House, 23-31 Waring Street, BT1 2DX, Belfast, UK

    C. J. Kenneth Tan

  3. Schulich School of Engineering, Department of Electrical and Computer Engineering, University of Calgary, 2500 University Drive, T2N 1N4, NW Calgary, AB, Canada

    Yingxu Wang

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

    Yiyu Yao

  5. School of Information Science & Technology, Southwest Jiaotong University, 610031, Chengdu, China

    Guoyin Wang

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Liu, Q., Liu, L. (2008). Rough Logic and Its Reasoning. In: Gavrilova, M.L., Tan, C.J.K., Wang, Y., Yao, Y., Wang, G. (eds) Transactions on Computational Science II. Lecture Notes in Computer Science, vol 5150. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87563-5_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-87563-5_5

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation