Formalizing Two Generalized Approximation Operators-Reference-Cited by-同舟云学术

Formalizing Two Generalized Approximation Operators

Published:2018-07-01 Issue:2 Volume:26 Page:183-191
ISSN:1898-9934
Container-title:Formalized Mathematics
language:en
Short-container-title:

Author:

Grabowski Adam¹,Sielwiesiuk Michał¹

Affiliation:

1. Institute of Informatics , University of Białystok , Poland

Abstract

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

Publisher

Walter de Gruyter GmbH

Subject

Applied Mathematics,Computational Mathematics

Link

https://www.sciendo.com/pdf/10.2478/forma-2018-0016

Reference17 articles.

1. [1] Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, Karol Pąk, and Josef Urban. Mizar: State-of-the-art and beyond. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, and Volker Sorge, editors, Intelligent Computer Mathematics, volume 9150 of Lecture Notes in Computer Science, pages 261–279. Springer International Publishing, 2015. ISBN 978-3-319-20614-1. doi:10.1007/978-3-319-20615-8_17.10.1007/978-3-319-20615-8_17

2. [2] Anna Gomolińska. A comparative study of some generalized rough approximations. Fundamenta Informaticae, 51:103–119, 2002.

3. [3] Adam Grabowski. Automated discovery of properties of rough sets. Fundamenta Informaticae, 128:65–79, 2013. doi:10.3233/FI-2013-933.10.3233/FI-2013-933

4. [4] Adam Grabowski. Lattice theory for rough sets – a case study with Mizar. Fundamenta Informaticae, 147(2–3):223–240, 2016. doi:10.3233/FI-2016-1406.10.3233/FI-2016-1406

5. [5] Adam Grabowski. Formalization of generalized almost distributive lattices. Formalized Mathematics, 22(3):257–267, 2014. doi:10.2478/forma-2014-0026.10.2478/forma-2014-0026

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Automated Comparative Study of Some Generalized Rough Approximations;Fundamenta Informaticae;2021-03-10

2. Developing Complementary Rough Inclusion Functions;Formalized Mathematics;2020-04-01

3. Formal Development of Rough Inclusion Functions;Formalized Mathematics;2019-12-01