<abstract xmlns="http://www.w3.org/1999/xhtml"><p>We continue the formal development of rough inclusion functions (RIFs), continuing the research on the formalization of rough sets [15] – a well-known tool of modelling of incomplete or partially unknown information. In this article we give the formal characterization of complementary RIFs, following a paper by Gomolińska [4]. We expand this framework introducing Jaccard index, Steinhaus generate metric, and Marczewski-Steinhaus metric space [1]. This is the continuation of [9]; additionally we implement also parts of [2], [3], and the details of this work can be found in [7].</p></abstract>

We continue the formal development of rough inclusion functions (RIFs), continuing the research on the formalization of rough sets [15] – a well-known tool of modelling of incomplete or partially unknown information. In this article we give the formal characterization of complementary RIFs, following a paper by Gomolińska [4]. We expand this framework introducing Jaccard index, Steinhaus generate metric, and Marczewski-Steinhaus metric space [1]. This is the continuation of [9]; additionally we implement also parts of [2], [3], and the details of this work can be found in [7].

Developing Complementary Rough Inclusion Functions

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 License.

{"article-title":"Developing Complementary Rough Inclusion Functions"}

We continue the formal development of rough inclusion functions (RIFs), continuing the research on the formalization of rough sets [15] – a well-known tool of...

Developing Complementary Rough Inclusion Functions

Published Online: May 29, 2020

Page range: 105 - 113

Accepted: Feb 26, 2020

DOI: https://doi.org/10.2478/forma-2020-0009

Keywords
rough set, rough inclusion function, Steinhaus generate metric

© 2020 Adam Grabowski, published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 License.

Developing Complementary Rough Inclusion Functions

Published Online: May 29, 2020

Page range: 105 - 113

Accepted: Feb 26, 2020

DOI: https://doi.org/10.2478/forma-2020-0009

Keywordsrough set, rough inclusion function, Steinhaus generate metric

© 2020 Adam Grabowski, published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 License.

Keywords
rough set, rough inclusion function, Steinhaus generate metric