<abstract xmlns="http://www.w3.org/1999/xhtml"><p>Rough sets, developed by Pawlak <xref ref-type="bibr" rid="j_forma-2018-0016_ref_015_w2aab3b7b8b1b6b1ab1ac15Aa">[15]</xref>, 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 <xref ref-type="bibr" rid="j_forma-2018-0016_ref_002_w2aab3b7b8b1b6b1ab1ab2Aa">[2]</xref>. We continue the formalization of rough sets in Mizar <xref ref-type="bibr" rid="j_forma-2018-0016_ref_001_w2aab3b7b8b1b6b1ab1ab1Aa">[1]</xref> started in <xref ref-type="bibr" rid="j_forma-2018-0016_ref_006_w2aab3b7b8b1b6b1ab1ab6Aa">[6]</xref>.</p></abstract>

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].

Formalizing Two Generalized Approximation Operators

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

{"article-title":"Formalizing Two Generalized Approximation Operators"}

Rough sets, developed by Pawlak [15], are important tool to describe situation of incomplete or partially unknown information. In this article we give the...

Formalizing Two Generalized Approximation Operators

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
rough approximation, rough set, generalized approximation operator

© 2018 Adam Grabowski et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Formalizing Two Generalized Approximation Operators

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ésrough approximation, rough set, generalized approximation operator

© 2018 Adam Grabowski et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Mots clés
rough approximation, rough set, generalized approximation operator