Otwarty dostęp

Formalizing Two Generalized Approximation Operators

Adam Grabowski

Adam Grabowski

Institute of Informatics, University of BiałystokPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Grabowski, Adam
 oraz 
Michał Sielwiesiuk

Michał Sielwiesiuk

Institute of Informatics, University of BiałystokPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Sielwiesiuk, Michał
  
24 gru 2018
Formalizing Two Generalized Approximation Operators's Cover Image
O artykule
Poprzedni artykuł
Następny artykuł
Zacytuj
Pobierz okładkę
Data publikacji: 24 gru 2018
Zakres stron: 183 - 191
Przyjęty: 29 cze 2018
DOI: https://doi.org/10.2478/forma-2018-0016
Słowa kluczowe
© 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].

Język:
Angielski
Częstotliwość wydawania:
1 razy w roku
Dziedziny czasopisma:
Matematyka, Matematyka ogólna, Informatyka, Informatyka, inne
Kanał RSS czasopisma