TWO FORMAL APPROACHES TO ROUGH SETS

• Authors: Grabowski Adam , Jastrzebska Magdalena
• Languages of publication: EN

Abstracts

EN

The formalization of rough sets in a way understable to machines seems to be far beyond the test phase. For further research, we try to encode the bunch of classical papers within RST and as the testbed of already developed foundations of the theory we try to adopt the interval set model to put it within the existing set-theory machinery in the Mizar computer-checked repository.

Keywords

EN

FORMALIZATION; ROUGH SETS

Discipline

• LIBRARY_&_INFORMATION_SCIENCE: LIBRARY & INFORMATION SCIENCE

• Publisher: Sciendo
• Journal: Studies in Logic, Grammar and Rhetoric
• Year: 2009
• Issue: 18(31)
• Pages: 25-34
• Document type: ARTICLE

Contributors

author

Grabowski Adam

author

Jastrzebska Magdalena

• Adam Grabowski, Magdalena Jastrzebska, Institute of Mathematics, University of Bialystok, ul. Akademicka 2, 15-267 Bialystok, Poland

Identifiers

CEJSH db identifier

11PLAAAA10162