Accès libre

Formalizing Two Generalized Approximation Operators

Adam Grabowski

Adam Grabowski

Institute of Informatics, University of BiałystokPoland
Recherchez cet auteur sur
Sciendo|Google Scholar
Grabowski, Adam
 et 
Michał Sielwiesiuk

Michał Sielwiesiuk

Institute of Informatics, University of BiałystokPoland
Recherchez cet auteur sur
Sciendo|Google Scholar
Sielwiesiuk, Michał
  
24 déc. 2018
Formalizing Two Generalized Approximation Operators's Cover Image
À propos de cet article
Article précédent
Article suivant
Citez
Télécharger la couverture
Publié en ligne: 24 déc. 2018
Pages: 183 - 191
Accepté: 29 juin 2018
DOI: https://doi.org/10.2478/forma-2018-0016
Mots clés
© 2018 Adam Grabowski et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Rough sets, developed by Pawlak [15], are important tool to describe situation of incomplete or partially unknown information. In this article we give the formal characterization of two closely related rough approximations, along the lines proposed in a paper by Gomolińska [2]. We continue the formalization of rough sets in Mizar [1] started in [6].

Langue:
Anglais
Périodicité:
1 fois par an
Sujets de la revue:
Mathématiques, Mathématiques générales, Informatique, Informatique, autres
RSS Feed de la revue