Skip to main content
SpringerLink
Log in

On the Computer-Assisted Reasoning about Rough Sets

  • Conference paper
Book cover Monitoring, Security, and Rescue Techniques in Multiagent Systems

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

Summary

The paper presents some of the issues concerning a formal description of rough sets. We require the indiscernibility relation to be a tolerance of the carrier, not an equivalence relation, as in the Pawlak’s classical approach. As a tool for formalization we use the Mizar system, which is equipped with the largest formalized library of mathematical facts. This uniform and computer-checked for correctness framework seems to present a satisfactory level of generality and may be used by other systems as well as it is easily readable for humans.

Many thanks are due to Anna Gomolińska for the motivation for this work.

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. Ch. Benzmüller, M. Jamnik, M. Kerber, V. Sorge, Agent-based mathematical reasoning,Electronic Notes in Theoretical Computer Science, 23(3), 1999.

    Google Scholar 

  2. E. Bryniarski, Formal conception of rough sets, Fundamenta Informaticae, 27(2–3), 1996, pp. 109–136.

    MATH  MathSciNet  Google Scholar 

  3. A. Gomolińska. A comparative study of some generalized rough approximations, Fundamenta Informaticae, 51(1–2), 2002, pp. 103–119.

    MathSciNet  Google Scholar 

  4. A. Grabowski, Basic properties of rough sets and rough membership function, to appear in Formalized Mathematics, 12(1), 2004, available at http://mizar.org/JFM/Vol15/roughs_l. html.

    Google Scholar 

  5. A. Grabowski, Robbins algebras vs. Boolean algebras, in Proceedings of Mathematical Knowledge Management Conference, Linz, Austria, 2001, available at http://www.emis.de/proceedings/MKM2001/.

    Google Scholar 

  6. J. Järvinen, Approximations and rough sets based on tolerances, in: W. Ziarko, Y. Yao (eds.), Proceedings of RSCTC 2000, LNAI 2005, Springer, 2001, pp. 182–189.

    Google Scholar 

  7. R.E. Kent, Rough concept analysis: a synthesis of rough sets and formal concept analysis, Fundamenta Informaticae, 27(2–3), 1996, pp. 169–181.

    MATH  MathSciNet  Google Scholar 

  8. The Mizar Home Page, http://mizar.org.

    Google Scholar 

  9. Z. Pawlak, Rough sets, International Journal of Information and Computer Science, 11(5), 1982, pp. 341–356.

    Article  MATH  MathSciNet  Google Scholar 

  10. Z. Pawlak, A. Skowron, Rough membership functions, in: R. R. Yaeger, M. Fedrizzi, and J. Kacprzyk (eds.), Advances in the Dempster-Shafer Theory of Evidence, Wiley, New York, 1994, pp. 251–271.

    Google Scholar 

  11. A. Skowron, J. Stepaniuk, Tolerance approximation spaces, Fundamenta Informaticae, 27(2–3), 1996, pp. 245–253.

    MATH  MathSciNet  Google Scholar 

  12. F. Wiedijk, The de Bruijn factor, http://www.cs.kun. nl/∼freek/factor/.

    Google Scholar 

  13. L. Zadeh, Fuzzy sets, Information and Control, 8, 1965, pp. 338–353.

    Article  MATH  MathSciNet  Google Scholar 

  14. W. Ziarko, Variable precision rough sets model, Journal of Computer and System Sciences, 46(1), 1993, pp. 39–59.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, University of Białystok, Akademicka 2, 15-267, Białystok, Poland

    Adam Grabowski

Authors
  1. Adam Grabowski
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Grabowski, A. (2005). On the Computer-Assisted Reasoning about Rough Sets. In: Monitoring, Security, and Rescue Techniques in Multiagent Systems. Advances in Soft Computing, vol 28. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-32370-8_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-32370-8_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23245-2

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

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation