Formal Development of Rough Inclusion Functions
Summary Rough sets, developed by Pawlak [15], are important tool to describe situation of incomplete or partially unknown information. In this article, continuing the formalization of rough sets [12], we give the formal characterization of three rough inclusion functions (RIFs). We start with the standard one, κ£, connected with Łukasiewicz [14], and extend this research for two additional RIFs: κ1, and κ2, following a paper by Gomolińska [4], [3]. We also define q-RIFs and weak q-RIFs [2]. The paper establishes a formal counterpart of [7] and makes a preliminary step towards rough mereology [16], [17] in Mizar [13].
2009 ◽
Vol 51
(1)
◽
pp. 56-70
◽
2002 ◽
Vol 79
(3)
◽
pp. 261-266
◽
Keyword(s):
2009 ◽
Vol 57
(4)
◽
pp. 441-445
◽
Keyword(s):
2011 ◽
Vol 282-283
◽
pp. 283-286
Keyword(s):
2014 ◽
Vol 55
(1)
◽
pp. 130-141
◽