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
相关论文
共 41 条
  • [1] [Anonymous], 1991, Rough sets: Theoretical Aspects of Reasoning About Data
  • [2] Balbiani P, 1999, J APPL NONCLASSICAL, V9, P303
  • [3] Banerjee M., 2015, INT C FACETS UNCERTA, P77
  • [4] Banerjee M., 2008, STUDIES LOGIC, V15, P1
  • [5] Banerjee M., 2007, T ROUGH SETS 6, V4374, P1
  • [6] Combinations of modal logics
    Bennett, B
    Dixon, C
    Fisher, M
    Hustadt, U
    Franconi, E
    Horrocks, I
    De Rijke, M
    [J]. ARTIFICIAL INTELLIGENCE REVIEW, 2002, 17 (01) : 1 - 20
  • [7] Blackburn P., 2001, MODAL LOGIC, V53, DOI 10.1017/CBO9781107050884
  • [8] Axiomatic characterization of the AGM theory of belief revision in a temporal logic
    Bonanno, Giacomo
    [J]. ARTIFICIAL INTELLIGENCE, 2007, 171 (2-3) : 144 - 160
  • [9] Demri S., 2002, INCOMPLETE INFORM ST
  • [10] Dixon C, 2003, TIME-ICTL 2003: 10TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING AND FOURTH INTERNATIONAL CONFERENCE ON TEMPORAL LOGIC, PROCEEDINGS, P62
12345