<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

Published Online: Dec 24, 2018

Page range: 183 - 191

Accepted: Jun 29, 2018

DOI: https://doi.org/10.2478/forma-2018-0016

Keywords
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

Published Online: Dec 24, 2018

Page range: 183 - 191

Accepted: Jun 29, 2018

DOI: https://doi.org/10.2478/forma-2018-0016

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

Keywords
rough approximation, rough set, generalized approximation operator