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 条
  • [31] An approach to rough set decomposition of incomplete information systems
    Qizhong, Zhang
    ICIEA 2007: 2ND IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS, VOLS 1-4, PROCEEDINGS, 2007, : 2455 - 2460
  • [32] Rough Set Approaches for Mining Incomplete Information Systems
    Sabu, M. K.
    Raju, G.
    ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, PROCEEDINGS: WITH ASPECTS OF ARTIFICIAL INTELLIGENCE, 2008, 5227 : 914 - +
  • [33] Rough set theory and attribute reduction in interval-set information system
    Xie, Xin
    Zhang, Xianyong
    Zhang, Shiyu
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2022, 42 (06) : 4919 - 4929
  • [34] Dominance-based rough set theory over interval-valued information systems
    Sun, Bingzhen
    Ma, Weimin
    Gong, Zengtai
    EXPERT SYSTEMS, 2014, 31 (02) : 185 - 197
  • [35] Rough set theory and rule induction techniques for discovery of attribute dependencies in medical information systems
    Stefanowski, J
    Slowinski, K
    PRINCIPLES OF DATA MINING AND KNOWLEDGE DISCOVERY, 1997, 1263 : 36 - 46
  • [36] MODAL-LOGICS IN THE THEORY OF INFORMATION-SYSTEMS
    ORLOWSKA, E
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (03): : 213 - 222
  • [37] Approximate Reaction Systems Based on Rough Set Theory
    Campagner, Andrea
    Ciucci, Davide
    Dorigatti, Valentina
    ROUGH SETS, IJCRS 2020, 2020, 12179 : 48 - 60
  • [38] Rough set theory and its application in the intelligent systems
    Pan, Wei
    Yi, Jinhui
    San, Ye
    2008 7TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-23, 2008, : 3706 - +
  • [39] Information and Rough Set Theory Based Feature Selection Techniques
    Cervante, Liam
    Gao, Xiaoying
    ACTIVE MEDIA TECHNOLOGY, AMT 2013, 2013, 8210 : 166 - 176
  • [40] Study on Information Retrieval Model Based on Rough Set Theory
    Hua, Jiang
    2009 INTERNATIONAL SYMPOSIUM ON INTELLIGENT UBIQUITOUS COMPUTING AND EDUCATION, 2009, : 440 - 444
12345