On Cognitive Foundations and Mathematical Theories of Knowledge Science
Yingxu Wang
Abstract
Yingxu Wang
Abstract
Knowledge is one of the fundamental cognitive objects in the brain among those of data, information, and intelligence. Knowledge can be classified into two main categories, i.e., conceptual knowledge for knowing to-be and behavioral knowledge for knowing to-do, particularly the former. This paper presents a basic study on a mathematical theory of knowledge towards knowledge science. The taxonomy and cognitive foundations of knowledge are explored, which reveal that the basic cognitive structure of conceptual knowledge is a formal concept and that of behavioral knowledge is a formal process. Mathematical models of knowledge are created in order to enable formal representation and rigorous manipulation of knowledge. A set of formal principles and properties of knowledge is elicited and elaborated towards the development of knowledge science and cognitive knowledge systems. It is discovered that the basic unit of knowledge is a binary relation, shortly bir, as a counterpart of bit (a binary digit) for information and data.
OpenAlex reports 53 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Knowledge is one of the fundamental cognitive objects in the brain among those of data, information, and intelligence. Knowledge can be classified into two main categories, i.e., conceptual knowledge for knowing to-be and behavioral knowledge for knowing to-do, particularly the former. This paper presents a basic study on a mathematical theory of knowledge towards knowledge science. The taxonomy and cognitive foundations of knowledge are explored, which reveal that the basic cognitive structure of conceptual knowledge is a formal concept and that of behavioral knowledge is a formal process. Mathematical models of knowledge are created in order to enable formal representation and rigorous manipulation of knowledge. A set of formal principles and properties of knowledge is elicited and elaborated towards the development of knowledge science and cognitive knowledge systems. It is discovered that the basic unit of knowledge is a binary relation, shortly bir, as a counterpart of bit (a binary digit) for information and data.
Key concepts: Computer science, Procedural knowledge, Knowledge extraction, Cognition, Domain knowledge, Knowledge representation and reasoning, Body of knowledge, Cognitive science