Logics for Temporal Information Systems in Rough Set Theory

被引：1
|
作者：
Khan, Md Aquil [1 ]
Banerjee, Mohua [2 ]
Panda, Sibsankar [1 ]
机构：
[1] Indian Inst Technol Indore, Indore 453552, Madhya Pradesh, India
[2] Indian Inst Technol Kanpur, Kanpur 208016, Uttar Pradesh, India
来源：
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | 2023年 / 24卷 / 01期
关键词：
Rough set theory; approximation operator; modal logic; temporal logic; axiomatization; KNOWLEDGE REPRESENTATION;
D O I：
10.1145/3549075
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The article discusses temporal information systems (TISs) that add the dimension of time to complete or incomplete information systems. Through TISs, one can accommodate the possibility of domains or attribute values for objects changing with time or the availability of currently missing information with time. Different patterns of flow of information give different TISs. The corresponding logics with sound and complete axiomatization are presented.
引用
收藏
页数：29
相关论文
共 50 条
  • [41] Methods for meta-information maintenance in rough set theory
    Su, J
    Gao, J
    2003 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-5, PROCEEDINGS, 2003, : 1527 - 1532
  • [42] Paraconsistent Logics: A Survey Focussing on the Rough Set Approach
    Saha, Bidhan
    Banerjee, Mohua
    Dutta, Soma
    ROUGH SETS, IJCRS 2023, 2023, 14481 : 105 - 121
  • [43] An overview of rough set semantics for modal and quantifier logics
    Liau, Churn-Jung
    International Journal of Uncertainty, Fuzziness and Knowlege-Based Systems, 2000, 8 (01): : 93 - 118
  • [44] An overview of rough set semantics for modal and quantifier logics
    Liau, CJ
    INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2000, 8 (01) : 93 - 118
  • [45] Index Reduction for Information systems security risk assessment Based on Rough Set Theory and Hierarchic Analysis
    Fu, Yu
    Wu, Xiaoping
    Zhu, Tingting
    2009 THIRD INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, VOL 3, PROCEEDINGS, 2009, : 370 - 374
  • [46] Ant-Based Clustering in Delta Episode Information Systems Based on Temporal Rough Set Flow Graphs
    Pancerz, Krzysztof
    Lewicki, Arkadiusz
    Tadeusiewicz, Ryszard
    Warchol, Jan
    FUNDAMENTA INFORMATICAE, 2013, 128 (1-2) : 143 - 158
  • [47] Rough set data analysis algorithms for incomplete information systems
    Chin, KS
    Liang, JY
    Dang, CY
    ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, 2003, 2639 : 264 - 268
  • [48] Multiple granulation rough set approach to ordered information systems
    Xu, Weihua
    Sun, Wenxin
    Zhang, Xiaoyan
    Zhang, Wenxiu
    INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2012, 41 (05) : 475 - 501
  • [49] A Relative Tolerance Relation of Rough Set for Incomplete Information Systems
    Saedudin, Rd. Rohmat
    Mahdin, Hairulnizam
    Kasim, Shahreen
    Sutoyo, Edi
    Yanto, Iwan Tri Riyadi
    Hassan, Rohayanti
    RECENT ADVANCES ON SOFT COMPUTING AND DATA MINING (SCDM 2018), 2018, 700 : 72 - 81
  • [50] Knowledge acquisition in incomplete information systems: A rough set approach
    Leung, Y
    Wu, WZ
    Zhang, WX
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2006, 168 (01) : 164 - 180
12345