Defining the notion of 'Information Content' and reasoning about it in a database

被引:2
作者
Xu, Kaibo [1 ,2 ]
Feng, Junkang [1 ,2 ]
Crowe, Malcolm [2 ]
机构
[1] Beijing Union Univ, Coll Business, E Business Res Inst, Beijing, Peoples R China
[2] Univ W Scotland, Sch Comp, Database Res Grp, Paisley, Renfrew, Scotland
关键词
Information content; Reasoning; Data semantics; Semantic information theory; Inference rules; SYSTEMS;
D O I
10.1007/s10115-008-0129-3
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The problem of 'information content' of an information system appears elusive. In the field of databases, the information content of a database has been taken as the instance of a database. We argue that this view misses two fundamental points. One is a convincing conception of the phenomenon concerning information in databases, especially a properly defined notion of 'information content'. The other is a framework for reasoning about information content. In this paper, we suggest a modification of the well known definition of 'information content' given by Dretske(Knowledge and the flow of information,1981). We then define what we call the 'information content inclusion' relation (IIR for short) between two random events. We present a set of inference rules for reasoning about information content, which we call the IIR Rules. Then we explore how these ideas and the rules may be used in a database setting to look at databases and to derive otherwise hidden information by deriving new relations from a given set of IIR. A prototype is presented, which shows how the idea of IIR-Reasoning might be exploited in a database setting including the relationship between real world events and database values.
引用
收藏
页码:29 / 59
页数:31
相关论文
共 50 条
[31]   Argument Schemes for Reasoning About the Actions of Others [J].
Atkinson, Katie ;
Bench-Capon, Trevor .
COMPUTATIONAL MODELS OF ARGUMENT, 2016, 287 :71-82
[32]   Pre-orders for Reasoning about Stability [J].
Prabhakar, Pavithra ;
Dullerud, Geir ;
Viswanathan, Mahesh .
HSCC 12: PROCEEDINGS OF THE 15TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2012, :197-206
[33]   Reasoning About Smart Contracts Encoded in LTL [J].
Fionda, Valeria ;
Greco, Gianluigi ;
Mastratisi, Marco Antonio .
AIXIA 2021 - ADVANCES IN ARTIFICIAL INTELLIGENCE, 2022, 13196 :123-136
[34]   A tools environment for developing and reasoning about ontologies [J].
Dong, JS ;
Feng, YZ ;
Li, YF ;
Sun, J .
12TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2005, :465-472
[35]   A meta-analytic review of thinking about what is true, possible, and irrelevant in reasoning from or reasoning about conditional propositions [J].
Schroyens, Walter .
EUROPEAN JOURNAL OF COGNITIVE PSYCHOLOGY, 2010, 22 (06) :897-921
[36]   Logical Reasoning Versus Information Processing in the Dual-Strategy Model of Reasoning [J].
Markovits, Henry ;
Brisson, Janie ;
de Chantal, Pier-Luc .
JOURNAL OF EXPERIMENTAL PSYCHOLOGY-LEARNING MEMORY AND COGNITION, 2017, 43 (01) :72-80
[37]   A Correctness Criterion for Schema Dominance Centred on the Notion of 'Information Carrying' [J].
Feng, Junkang ;
Xu, Kaibo .
CEA'09: PROCEEDINGS OF THE 3RD WSEAS INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING AND APPLICATIONS, 2009, :110-+
[38]   Ontological interpretation of biomedical database content [J].
da Silva, Filipe Santana ;
Jansen, Ludger ;
Freitas, Fred ;
Schulz, Stefan .
JOURNAL OF BIOMEDICAL SEMANTICS, 2017, 8
[39]   Ontological interpretation of biomedical database content [J].
Filipe Santana da Silva ;
Ludger Jansen ;
Fred Freitas ;
Stefan Schulz .
Journal of Biomedical Semantics, 8
[40]   Information Transfer During a Transitive Reasoning Task [J].
Brzezicka, Aneta ;
Kaminski, Maciej ;
Kaminski, Jan ;
Blinowska, Katarzyna .
BRAIN TOPOGRAPHY, 2011, 24 (01) :1-8