The Spaces of Data, Information, and Knowledge

11/06/2014
by   Xiaoyu Chen, et al.
0

We study the data space D of any given data set X and explain how functions and relations are defined over D. From D and for a specific domain Δ we construct the information space I of X by interpreting variables, functions, and explicit relations over D in Δ and by including other relations that D implies under the interpretation in Δ. Then from I we build up the knowledge space K of X as the product of two spaces K_T and K_P, where K_T is obtained from I by using the induction principle to generalize propositional relations to quantified relations, the deduction principle to generate new relations, and standard mechanisms to validate relations and K_P is the space of specifications of methods with operational instructions which are valid in K_T. Through our construction of the three topological spaces the following key observation is made clear: the retrieval of information from the given data set for Δ consists essentially in mining domain objects and relations, and the discovery of knowledge from the retrieved information consists essentially in applying the induction and deduction principles to generate propositions, synthesizing and modeling the information to generate specifications of methods with operational instructions, and validating the propositions and specifications. Based on this observation, efficient approaches may be designed to discover profound knowledge automatically from simple data, as demonstrated by the result of our study in the case of geometry.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/12/2016

Relation Schema Induction using Tensor Factorization with Side Information

Given a set of documents from a specific domain (e.g., medical research ...
research
11/18/2022

Some problems about co-consonance of topological spaces

In this paper, we first prove that the retract of a consonant space (or ...
research
05/19/2021

On the logical structure of choice and bar induction principles

We develop an approach to choice principles and their contrapositive bar...
research
06/22/2021

Do Language Models Perform Generalizable Commonsense Inference?

Inspired by evidence that pretrained language models (LMs) encode common...
research
04/25/2023

Resource Specifications for Resource-Manipulating Programs

Specifications for modular program verifiers are expressed as constraint...
research
05/10/2022

Metamorphic Testing and Debugging of Tax Preparation Software

This paper presents a data-driven debugging framework to improve the tru...
research
03/03/2018

MaskLink: Efficient Link Discovery for Spatial Relations via Masking Areas

In this paper, we study the problem of spatial link discovery (LD), focu...

Please sign up or login with your details

Forgot password? Click here to reset