Covering-based rough sets and modal logics. Part II

被引：11
|
作者：
Ma, Minghui [1 ]
Chakraborty, Mihir Kumar [2 ]
机构：
[1] Sun Yat Sen Univ, Inst Log & Cognit, Guangzhou, Peoples R China
[2] Jadavpur Univ, Sch Cognit Sci, Kolkata, India
来源：
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING | 2018年 / 95卷
关键词：
Rough set; Modal logic; Category; Definability;
D O I：
10.1016/j.ijar.2018.02.002
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The covering-based rough sets in the system C-2 and bounded N-morphisms form a category CFN. This category is dually equivalent to the category KFS4 in which objects are Kripke S-4-frames and arrows are bounded morphisms. Morphisms over covering structures are defined in order to characterize the modal C-2-definability of classes of finite covering frames. (C) 2018 Elsevier Inc. All rights reserved.
引用
收藏
页码：113 / 123
页数：11
相关论文
共 50 条
  • [31] Free Matroidal Structure of Covering-Based Rough Sets
    Yu, Chengyi
    Min, Fan
    Zhu, William
    2011 6TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND CONVERGENCE INFORMATION TECHNOLOGY (ICCIT), 2012, : 755 - 758
  • [32] Properties of two types of covering-based rough sets
    Lian-Hua Fang
    Ke-Dian Li
    Jin-Jin Li
    International Journal of Machine Learning and Cybernetics, 2013, 4 : 685 - 691
  • [33] Products of modal logics. Part 3: Products of modal and temporal logics
    Gabbay D.
    Shehtman V.
    Studia Logica, 2002, 72 (2) : 157 - 183
  • [34] On three types of covering-based rough sets via definable sets
    Liu, Yanfang
    Zhu, William
    2014 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2014, : 1226 - 1233
  • [35] On matrix representation of three types of covering-based rough sets
    Huang, Aiping
    Zhu, William
    2012 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING (GRC 2012), 2012, : 185 - 190
  • [36] Covering-based multigranulation decision-theoretic rough sets
    Liu, Caihui
    Pedrycz, Witold
    Wang, Meizhi
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2017, 32 (01) : 749 - 765
  • [37] Relationship among basic concepts in covering-based rough sets
    Zhu, William
    INFORMATION SCIENCES, 2009, 179 (14) : 2478 - 2486
  • [38] Minimal Description and Maximal Description in Covering-based Rough Sets
    Wang, Zhaohao
    Shu, Lan
    Ding, Xiuyong
    FUNDAMENTA INFORMATICAE, 2013, 128 (04) : 503 - 526
  • [39] Transversal and Function Matroidal Structures of Covering-Based Rough Sets
    Wang, Shiping
    Zhu, William
    Min, Fan
    ROUGH SETS AND KNOWLEDGE TECHNOLOGY, 2011, 6954 : 146 - +
  • [40] An approach to covering-based rough sets through bipartite graphs
    Wang, Jingqian
    Zhu, William
    2014 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2014, : 1213 - 1218
12345