Toward a Formal Knowledge System Theory and Its Cognitive Informatics Foundations

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.

[1]  Yiyu Yao,et al.  On the System Algebra Foundations for Granular Computing , 2009, Int. J. Softw. Sci. Comput. Intell..

[2]  Yingxu Wang,et al.  On Contemporary Denotational Mathematics for Computational Intelligence , 2008, Trans. Comput. Sci..

[3]  Vibhu Mittal.  Book review: Knowledge Systems Design by John K. Debenham (Prentice Hall, 1989) , 1990 .

[4]  Yingxu Wang,et al.  On abstract intelligence and its denotational mathematics foundations , 2008, 2008 7th IEEE International Conference on Cognitive Informatics.

[5]  Bernhard Ganter,et al.  Formal Concept Analysis, 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings , 2008, International Conference on Formal Concept Analysis.

[6]  Lawrence Butler,et al.  'History: Theory and Practice' , 1997 .

[7]  Yingxu Wang.  On Cognitive Informatics , 2003 .

[8]  Yingxu Wang,et al.  On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling , 2008, Int. J. Cogn. Informatics Nat. Intell..

[9]  Yingxu Wang.  Cognitive Informatics: Towards Future Generation Computers that Think and Feel , 2006, 2006 5th IEEE International Conference on Cognitive Informatics.

[10]  Yingxu Wang,et al.  Discovering the Capacity of Human Memory , 2003 .

[11]  Yingxu Wang.  On cognitive foundations of creativity and the cognitive process of creation , 2008, 2008 7th IEEE International Conference on Cognitive Informatics.

[12]  R. Sternberg.  In search of the human mind , 1994 .

[13]  H. Chertkow,et al.  Semantic memory , 2002, Current neurology and neuroscience reports.

[14]  Yingxu Wang,et al.  Software Engineering Foundations: A Software Science Perspective , 2007 .

[15]  Carla H. Lagorio,et al.  Psychology , 1929, Nature.

[16]  Yingxu Wang,et al.  Formal Description of the Cognitive Process of Memorization , 2009, Trans. Comput. Sci..

[17]  A. Baddeley.  Human Memory: Theory and Practice, Revised Edition , 1990 .

[18]  Yingxu Wang,et al.  On Abstract Intelligence: Toward a Unifying Theory of Natural, Artificial, Machinable, and Computational Intelligence , 2009, Int. J. Softw. Sci. Comput. Intell..

[19]  Yingxu Wang,et al.  Cognitive informatics models of the brain , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[20]  Shushma Patel,et al.  A layered reference model of the brain (LRMB) , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[21]  John Debenham.  Knowledge systems design , 1989 .

[22]  Yingxu Wang,et al.  On Cognitive Computing , 2009, Int. J. Softw. Sci. Comput. Intell..

[23]  Yingxu Wang,et al.  On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling , 2008, Int. J. Cogn. Informatics Nat. Intell..

[24]  Yingxu Wang,et al.  The Theoretical Framework and Cognitive Process of Learning , 2007, 6th IEEE International Conference on Cognitive Informatics.

[25]  Yingxu Wang,et al.  The OAR Model of Neural Informatics for Internal Knowledge Representation in the Brain , 2007, Int. J. Cogn. Informatics Nat. Intell..

[26]  Marvin Minsky,et al.  Semantic Information Processing , 1968 .

[27]  T. Leahey,et al.  A History of Psychology: Main Currents in Psychological Thought , 1981 .

[28]  Robert A. Wilson,et al.  Book Reviews: The MIT Encyclopedia of the Cognitive Sciences , 2000, CL.

[29]  Witold Pedrycz,et al.  A Doctrine of Cognitive Informatics (CI) , 2009, Fundam. Informaticae.

[30]  R. Bodnar.  Biological Psychology: An Introduction to Behavioral, Cognitive, and Clinical Neuroscience , 2007 .

[31]  M. Rosenzweig,et al.  Biological Psychology: An Introduction to Behavioral, Cognitive, and Clinical Neuroscience , 1996 .

[32]  Yingxu Wang,et al.  The Theoretical Framework of Cognitive Informatics , 2007, Int. J. Cogn. Informatics Nat. Intell..

[33]  Yingxu Wang,et al.  On Cognitive Informatics , 2002, Proceedings First IEEE International Conference on Cognitive Informatics.

[34]  L. Squire,et al.  The structure and organization of memory. , 1993, Annual review of psychology.

[35]  J. Gabrieli.  Cognitive neuroscience of human memory. , 1998, Annual review of psychology.

[36]  Bill Cameron,et al.  Systems for Philosophy , 1995 .