Abstract
In 2014, Zhou and Hu (Inf Sci 269:378–387, 2014) introduced a kind of rough sets on a complete completely distributive lattice (short for CCD lattice), which can be seen as a unified framework for the study of rough sets based on ordinary binary relations, rough fuzzy sets and interval-valued rough fuzzy sets. Han et al. (Soft Comput 20:1853–1861, 2016) introduced a new pair of rough approximation operators via ideal on a CCD lattice in 2016, which is more general and accurate than Zhou and Hu’s. In this paper, we further investigate its properties, and then the axiomatic approaches are studied. Through some of our axioms, the rough approximations via ideal on a complete atomic Boolean lattice can be viewed as special cases of rough approximation operators via ideal on a CCD lattice if the ideal is well given.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Chen DG, Zhang WX, Yeung D, Tsang E (2006) Rough approximations on a complete completely distributive lattice with applications to generalized rough sets. Inf Sci 176:1829–1848
Davey BA, Priestley HA (2002) Introduction to lattices and order. Cambridge University Press, Cambridge
Draškovičová H (1974) On a representation of lattices by congruence relations. Mat čas 24(1):69–75
Dubois D, Prade H (1990) Rough fuzzy sets and fuzzy rough sets. Int J Gen Syst 17:191–209
Gao Y, Du WF, Yang JL, Qin KY (2009) The topological structure of approximation operators on a CCD lattice. ICIC Express Lett 3:915–920
Gierz G, Hofmann K, Keimel K, Lawson JD, Mislove M, Scott DS (1980) A compendium of continuous lattice. Spring, Berlin
Gierz G, Hofmann K, Keimel K, Lawson JD, Mislove M, Scott DS (2003) Continuous lattices and domains. Cambridge University Press, Cambridge
Gong ZT, Sun BZ, Chen DG (2008) Rough set theory for the interval-valued fuzzy information systems. Inf Sci 178:1968–1986
Guo LK, Li QG, Huang MQ (2014) A categorical representation of algebraic domains based on variations of rough approximable concepts. Int J Approx Reason 55(3):885–895
Han HX, Li QG, Guo LK (2016) Rough approximations via ideal on a complete completely distributive lattice. Soft Comput 20:1853–1861
Järvinen J (2002) On the structure of rough approximations. Fundam Inform 50:135–153
Järvinen J, Radeleczki S, Veres L (2009) Rough sets determined by quasiorders. Order 26(4):337–355
Järvinen J, Radeleczki S (2011) Representation of Nelson algebras by rough sets determined by quasiorders. Algebra universalis 66(1–2):163–179
Li JH, Mei CL, Lv YJ (2013) Incomplete decision contexts: approximate concept construction, rule acquisition and knowledge reduction. Int J Approx Reason 54:149–165
Lin TY, Liu QL (1994) Rough approximate operators: axiomatic rough set theory. In: Ziarko W (ed) Rough sets, fuzzy sets and knowledge discovery. Springer, Berlin, pp 256–260
Liu GL (2013) Using one axiom to characterize rough set and fuzzy rough set approximations. Inf Sci 223:285–296
Liu GL, Zhu W (2008) The algebraic structures of generalized rough set theory. Inf Sci 178:4105–4113
Mi JS, Zhang WX (2004) An axiomatic characterization of a fuzzy generalization of rough sets. Inf Sci 160:235–249
Nanda S (1992) Fuzzy rough sets. Fuzzy Sets Syst 45:157–160
Pawlak Z (1982) Rough sets. Int J Comput Inf Sci 11:341–356
Pawlak Z (1991) Rough sets: theoretical aspects of reasoning about data. Kluwer Academic Publishers, Dordrecht
Pawlak Z, Skowron A (2007) Rudiments of rough sets. Inf Sci 177:3–27
Pawlak Z, Skowron A (2007) Rough sets: some extensions. Inf Sci 177:28–40
Pawlak Z, Skowron A (2007) Rough sets and Boolean reasoning. Inf Sci 177:41–73
Qi GL, Liu WR (2005) Rough operations on Boolean algebras. Inf Sci 173:49–63
Qin KY, Pei Z, Yang JL, Xu Y (2013) Approximation operators on complete completely distributive lattices. Inf Sci 247:123–130
Qin KY, Pei Z (2005) On the topological properties of fuzzy rough sets. Fuzzy Sets Syst 151:601–613
Raney GN (1952) Completely distributive complete lattices. Proc Am Math Soc 3(5):677–680
Skowron A, Stepaniuk J (1996) Tolerance approximation spaces. Fundam Inform 27:245–253
Tantawy O, Mustafa H (2013) On rough approximations via ideal. Inf Sci 251(2013):114–125
Vanderpooten D (1997) Similarity relation as a basis for rough approximations. Adv Mach Intell Soft Comput 4:17–33
Wang GP (1988) A weakly auxiliary relation on completely distributive lattices and the generalized order-homomorphisms. Chin Q J Math 3:76–83
Wang GJ (1992) Theory of topological molecular lattices. Fuzzy Sets Syst 47:351–376
Wu WZ, Mi JS, Zhang WX (2003) Generalized fuzzy rough sets. Inf Sci 151:263–282
Wu WZ, Xu YH, Shao MW, Wang GY (2016) Axiomatic characterizations of (\(S\), \(T\))-fuzzy rough approximation operators. Inf Sci 334:17–43
Wu WZ, Zhang WX (2004) Constructive and axiomatic approaches of fuzzy approximation operators. Inf Sci 159:233–254
Yao YY (1996) Two views of the theory of rough sets in finite universes. Int J Approx Reason 15(4):291–317
Yao YY (1998) Relational interpretations of neighborhood operators and rough set approximation operators. Inf Sci 111:239–259
Yao YY (1998) Constructive and algebraic methods of the theory of rough sets. Inf Sci 109:21–47
Yao YY (2004) A comparative study of formal concept analysis and rough set theory in data analysis. Lect Notes Comput Sci 3066:59–68
Yao W, Han SE, Wang RX (2016) Lattice-theoretic contexts and their concept lattices via Galois ideals. Inf Sci 339:1–18
Zhang XH, Dai JH, Yu YC (2015) On the union and intersection operations of rough sets based on various approximation space. Inf Sci 292:214–229
Zhou NL, Hu BQ (2014) Rough sets based on complete completely distributive lattices. Inf Sci 269:378–387
Zhou NL, Hu BQ (2016) Axiomatic approaches to rough approximation operators on complete completely distributive lattices. Inf Sci 348:227–242
Zhu W, Wang FY (2012) The fourth type of covering-based rough sets. Inf Sci 201:80–92
Acknowledgements
The authors are enormously grateful to the editors and the anonymous reviews for their professional comments and valuable suggestions. This work is supported by the National Natural Science Foundation of China (Nos. 11371130, 11461005) and Research Fund for the Doctoral Program of Higher Education of China (No. 20120161110017).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no conflict of interest.
Ethical approval
This article does not contain any studies with human participants or animals performed by any of the authors.
Additional information
Communicated by V. Loia.
Rights and permissions
About this article
Cite this article
Gao, N., Li, Q., Han, H. et al. Axiomatic approaches to rough approximation operators via ideal on a complete completely distributive lattice. Soft Comput 22, 2329–2339 (2018). https://doi.org/10.1007/s00500-017-2495-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-017-2495-9