The Theoretical Framework of Cognitive Informatics

Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost all science and engineering disciplines. This article presents an intensive review of the new field of CI. The structure of the theoretical framework of CI is described encompassing the Layered Reference Model of the Brain (LRMB), the OAR model of information representation, Natural Intelligence (NI) vs. Artificial Intelligence (AI), Autonomic Computing (AC) vs. imperative computing, CI laws of software, the mechanism of human perception processes, the cognitive processes of formal inferences, and the formal knowledge system. Three types of new structures of mathematics, Concept Algebra (CA), Real-Time Process Algebra (RTPA), and System Algebra (SA), are created to enable rigorous treatment of cognitive processes of the brain as well as knowledge representation and manipulation in a formal and coherent framework. A wide range of applications of CI in cognitive psychology, computing, knowledge engineering, and software engineering has been identified and discussed.

[1]  Diarmuid Pigott,et al.  Facilitating end user database development by working with users' natural representations of data , 2001 .

[2]  Yingxu Wang,et al.  Editorial Recent Advances in Cognitive Informatics , 2006, IEEE Trans. Syst. Man Cybern. Syst..

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

[4]  Yingxu Wang,et al.  On the cognitive processes of human perception , 2005, Fourth IEEE Conference on Cognitive Informatics, 2005. (ICCI 2005)..

[5]  Toward Cognitive Informatics and Cognitive Computers: A Report on IEEE ICCI'06 , 2009 .

[6]  Yingxu Wang.  A Unified Mathematical Model of Programs , 2006, 2006 Canadian Conference on Electrical and Computer Engineering.

[7]  Yingxu Wang.  Novel Approaches in Cognitive Informatics and Natural Intelligence , 2008 .

[8]  Stu Westin.  Building a custom client-side research tool for online web-based experiments , 2003 .

[9]  Yingxu Wang,et al.  On Abstract Systems and System Algebra , 2006, 2006 5th IEEE International Conference on Cognitive Informatics.

[10]  Recent Advances in Cognitive Informatics , 2022 .

[11]  Robert B. Ash,et al.  Information Theory , 2020, The SAGE International Encyclopedia of Mass Media and Society.

[12]  George J. Klir,et al.  Facets of Systems Science , 1991 .

[13]  Evan Koblentz.  How It Started: Mobile Internet Devices of the Previous Millennium , 2009, Int. J. Mob. Hum. Comput. Interact..

[14]  Yingxu Wang,et al.  The Real-Time Process Algebra (RTPA) , 2002, Ann. Softw. Eng..

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

[16]  L. Beran,et al.  [Formal concept analysis]. , 1996, Casopis lekaru ceskych.

[17]  Panayiotis Zaphiris,et al.  Human computer interaction : concepts, methodologies, tools, and applications , 2009 .

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

[19]  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).

[20]  Christine W. Chan.  Development of an Ontology for an Industrial Domain , 2007, Int. J. Cogn. Informatics Nat. Intell..

[21]  Tonya Barrier,et al.  Human Computer Interaction Development & Management , 2002 .

[22]  Yingxu Wang.  On the informatics laws and deductive semantics of software , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[23]  Yingxu Wang,et al.  A Web Knowledge Discovery Engine Based on Concept Algebra , 2007, 2007 Canadian Conference on Electrical and Computer Engineering.

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

[25]  Yingxu Wang.  Cognitive Informatics: A New Transdisciplinary Research Field , 2003 .

[26]  Yingxu Wang,et al.  The OAR Model for Knowledge Representation , 2006, 2006 Canadian Conference on Electrical and Computer Engineering.

[27]  Jamie S. Switzer,et al.  Impression Formation in Computer-Mediated Communication and Making a Good (Virtual) Impression , 2009 .

[28]  L. Goddard.  Information Theory , 1962, Nature.

[29]  Dong Liu,et al.  Formal description of the cognitive process of decision making , 2004, Proceedings of the Third IEEE International Conference on Cognitive Informatics, 2004..

[30]  Yingxu Wang.  On the Big-R Notation for Describing Iterative and Recursive Behaviors , 2006, 2006 5th IEEE International Conference on Cognitive Informatics.

[31]  J. von Neumann,et al.  The Principles of Large-Scale Computing Machines , 1981, Annals of the History of Computing.

[32]  Yingxu Wang,et al.  Cognitive informatics models of the brain , 2006, IEEE Trans. Syst. Man Cybern. Syst..

[33]  Yingxu Wang,et al.  On Concept Algebra and Knowledge Representation , 2006, 2006 5th IEEE International Conference on Cognitive Informatics.

[34]  C. E. SHANNON,et al.  A mathematical theory of communication , 1948, MOCO.

[35]  Yingxu Wang,et al.  Cognitive Complexity of Software and its Measurement , 2006, 2006 5th IEEE International Conference on Cognitive Informatics.

[36]  Yingxu Wang,et al.  The cognitive processes of abstraction and formal inferences , 2005, Fourth IEEE Conference on Cognitive Informatics, 2005. (ICCI 2005)..

[37]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

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

[39]  Ludwig von Bertalanffy,et al.  Problems of life : an evaluation of modern biological thought and scientific thought , 2014 .

[40]  Rangaraj M. Rangayyan,et al.  Classification of Breast Masses in Mammograms Using Radial Basis Functions and Simulated Annealing , 2009, Int. J. Cogn. Informatics Nat. Intell..

[41]  Yingxu Wang,et al.  On the mathematical laws of software , 2005, Canadian Conference on Electrical and Computer Engineering, 2005..

[42]  Kenji Sugawara,et al.  Interactive Design Method of Agent System for Symbiotic Computing , 2007, 6th IEEE International Conference on Cognitive Informatics.

[43]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[44]  Yingxu Wang,et al.  The cognitive process of comprehension , 2003, The Second IEEE International Conference on Cognitive Informatics, 2003. Proceedings..

[45]  Lisa Fan,et al.  A User-Driven Ontology Guided Image Retrieval Model , 2007, 6th IEEE International Conference on Cognitive Informatics.

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