Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations

Authors:
Yingxu Wang
Affiliations:
Theoretical and Empirical Software Engineering Research Centre (TESERC) International Center for Cognitive Informatics (ICfCI) Dept. of Electrical and Computer Engineering Schulich School of Engin ...
Venue:
Transactions on Computational Science V
Year:
2009

Citing 9
Cited 2

Knowledge systems design

Knowledge systems design
On Cognitive Informatics

ICCI '02 Proceedings of the 1st IEEE International Conference on Cognitive Informatics
A Doctrine of Cognitive Informatics (CI)

Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
The Theoretical Framework and Cognitive Process of Learning

COGINF '07 Proceedings of the 6th IEEE International Conference on Cognitive Informatics
Software Engineering Foundations: A Software Science Perspective

Software Engineering Foundations: A Software Science Perspective
Formal Description of the Cognitive Process of Memorization

Transactions on Computational Science V
On contemporary denotational mathematics for computational intelligence

Transactions on computational science II
A layered reference model of the brain (LRMB)

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Cognitive informatics models of the brain

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews

A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra

Transactions on Computational Science V
A Formal Knowledge Representation System FKRS for the Intelligent Knowledge Base of a Cognitive Learning Engine

International Journal of Software Science and Computational Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Knowledge science and engineering are an emerging field that studies the nature of human knowledge, and its manipulations such as acquisition, representation, creation, composition, memorization, retrieval, and depository. This paper presents the nature of human knowledge and its mathematical models, internal representations, and formal manipulations. The taxonomy of knowledge and the hierarchical abstraction model of knowledge are investigated. Based on a set of mathematical models of knowledge and the Object-Attribute-Relation (OAR) model for internal knowledge representation, rigorous knowledge manipulations are formally described by concept algebra. A coherent framework of formalized knowledge systems is modeled based on the analyses of roles of formal and empirical knowledge. Then, the theory of knowledge acquisition and the cognitive model of knowledge spaces are systematically developed.