Accesso libero

Formalizing Two Generalized Approximation Operators

Adam Grabowski

Adam Grabowski

Institute of Informatics, University of BiałystokPoland
Cerca questo autore su
Sciendo|Google Scholar
Grabowski, Adam
 e 
Michał Sielwiesiuk

Michał Sielwiesiuk

Institute of Informatics, University of BiałystokPoland
Cerca questo autore su
Sciendo|Google Scholar
Sielwiesiuk, Michał
  
24 dic 2018
Formalizing Two Generalized Approximation Operators's Cover Image
INFORMAZIONI SU QUESTO ARTICOLO
Articolo precedente
Articolo Successivo
Cita
Scarica la copertina
Pubblicato online: 24 dic 2018
Pagine: 183 - 191
Accettato: 29 giu 2018
DOI: https://doi.org/10.2478/forma-2018-0016
Parole chiave
© 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].

Lingua:
Inglese
Frequenza di pubblicazione:
1 volte all'anno
Argomenti della rivista:
Matematica, Matematica generale, Informatica, Informatica, altro
Feed RSS della rivista