On abstract intelligence and its denotational mathematics foundations

Recent researches reveal that various paradigms of intelligence, such as natural, artificial, machinable, and computational intelligence, can be unified at the logical and functional levels known as abstract intelligence. This paper introduces abstract intelligence as a form of driving force that transfers information into knowledge and behaviors. An architectural framework of abstract intelligence and the generic abstract intelligence mode (GAIM) are formally developed that provide a unified theory for explaining the mechanisms of advanced intelligence. In order to deal with the highly complex and abstract objects in abstract intelligence, denotational mathematics is introduced as a category of expressive mathematical structures for modeling and manipulating high-level mathematical entities beyond numbers and sets, such as abstract objects, complex relations, behavioral information, abstract concepts, knowledge, processes, and systems. Applications of denotational mathematics in abstract intelligence, cognitive informatics, and computational intelligence are elaborated.

[1]  Yingxu Wang,et al.  Exploring the Cognitive Foundations of Software Engineering , 2009, Int. J. Softw. Sci. Comput. Intell..

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

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

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

[5]  George Boole,et al.  The Laws of Thought , 2003 .

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

[7]  Martin Gardner,et al.  Problems of Life. , 1953 .

[8]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

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

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

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

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

[13]  Edward A. Bender,et al.  Mathematical methods in artificial intelligence , 1996 .

[14]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.

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

[16]  Yingxu Wang,et al.  A cognitive informatics theory for visual information processing , 2008, 2008 7th IEEE International Conference on Cognitive Informatics.

[17]  Yingxu Wang On Cognitive Informatics , 2003 .

[18]  John von Neumann,et al.  Theory Of Self Reproducing Automata , 1967 .

[19]  B. Russell The Principles of Mathematics , 1938 .

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

[21]  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..

[22]  Lotfi A. Zadeh,et al.  Outline of a New Approach to the Analysis of Complex Systems and Decision Processes , 1973, IEEE Trans. Syst. Man Cybern..

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

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

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

[26]  Lotfi A. Zadeh,et al.  Fuzzy sets and systems , 1990 .

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

[28]  Yingxu Wang,et al.  RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors , 2008, Int. J. Cogn. Informatics Nat. Intell..

[29]  Yingxu Wang,et al.  Deductive Semantics of RTPA , 2008, Int. J. Cogn. Informatics Nat. Intell..

[30]  Yingxu Wang On Visual Semantic Algebra (VSA) and the cognitive process of pattern recognition , 2008, 2008 7th IEEE International Conference on Cognitive Informatics.

[31]  Yingxu Wang,et al.  On the informatics laws and deductive semantics of software , 2006, IEEE Trans. Syst. Man Cybern. Syst..

[32]  Jan A. Bergstra,et al.  Real time process algebra , 1991, Formal Aspects of Computing.

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

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

[35]  Yingxu Wang,et al.  The cognitive processes of consciousness and attention , 2008, 2008 7th IEEE International Conference on Cognitive Informatics.

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

[37]  Yingxu Wang,et al.  On Long Lifespan systems , 2008, 2008 7th IEEE International Conference on Cognitive Informatics.

[38]  Yingxu Wang,et al.  A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra , 2009, Trans. Comput. Sci..

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

[40]  Yingxu Wang,et al.  Using Process Algebra to Describe Human and Software Behaviors , 2003 .

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

[42]  Yingxu Wang,et al.  The Cognitive Processes of Formal Inferences , 2007, Int. J. Cogn. Informatics Nat. Intell..

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

[44]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.