Yingxu Wang

Yingxu Wang is professor of cognitive informatics, brain science, software science, and denotational mathematics, President of International Institute of Cognitive Informatics and Cognitive Computing (ICIC, www.ucalgary.ca). He is a Fellow of ICIC, a Fellow of WIF (UK), a P.Eng of Canada, and a Senior Member of IEEE and ACM. He was visiting professor (on sabbatical leave) at Oxford University (1995), Stanford University (2008), UC Berkeley (2008), and MIT (2012), respectively. He received a PhD in Computer Science from the Nottingham Trent University in 1998 and has been a full professor since 1994. He is the founder and steering committee chair of the annual IEEE International Conference on Cognitive Informatics and Cognitive Computing (ICCI*CC) since 2002. He is founding Editor-in-Chief of Int. Journal of Cognitive Informatics & Natural Intelligence, founding Editor-in-Chief of Int. Journal of Software Science & Computational Intelligence, Associate Editor of IEEE Trans. on SMC - Systems, and Editor-in-Chief of Journal of Advanced Mathematics & Applications.

Dr. Wang is the initiator of a few cutting-edge research fields such as cognitive informatics, denotational mathematics (concept algebra, process algebra, system algebra, semantic algebra, inference algebra, big data algebra, fuzzy truth algebra, and fuzzy probability algebra, visual semantic algebra, granular algebra), abstract intelligence (?I), mathematical models of the brain, cognitive computing, cognitive learning engines, cognitive knowledge base theory, and basic studies across contemporary disciplines of intelligence science, robotics, knowledge science, computer science, information science, brain science, system science, software science, data science, neuroinformatics, cognitive linguistics, and computational intelligence. He has published 400+ peer reviewed papers and 29 books in aforementioned transdisciplinary fields. He has presented 28 invited keynote speeches in international conferences. He has served as general chairs or program chairs for more than 20 international conferences. He is the recipient of dozens international awards on academic leadership, outstanding contributions, best papers, and teaching in the last three decades. He is the most popular scholar of top publications at University of Calgary in 2014 and 2015 according to RG worldwide stats.

Publications

On the Mathematical Theories and Cognitive Foundations of Information
Yingxu Wang. © 2017. 23 pages.
A recent discovery in computer and software sciences is that information in general is a deterministic abstract quantity rather than a probability-based property...
Cognitive Learning Methodologies for Brain-Inspired Cognitive Robotics
Yingxu Wang. © 2017. 18 pages.
Cognitive robots are brain-inspired robots that are capable of inference, perception, and learning mimicking the cognitive mechanisms of the brain. Cognitive...
On a Novel Cognitive Knowledge Base (CKB) for Cognitive Robots and Machine Learning
Yingxu Wang. © 2017. 23 pages.
A cognitive knowledge base (CKB) is a novel structure of intelligent knowledge base that represents and manipulates knowledge as a dynamic concept network...
On Cognitive Foundations and Mathematical Theories of Knowledge Science
Yingxu Wang. © 2017. 26 pages.
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...
Fuzzy Causal Patterns of Humor and Jokes for Cognitive and Affective Computing
Yingxu Wang. © 2017. 14 pages.
Humor is an advanced emotional and cognitive ability of mankind that involves complex semantic inference and deep passionate appreciation. This paper presents the...
Abstract Intelligence: Embodying and Enabling Cognitive Systems by Mathematical Engineering
Yingxu Wang, Lotfi A. Zadeh, Bernard Widrow, Newton Howard, Françoise Beaufays, George Baciu, D. Frank Hsu, Guiming Luo, Fumio Mizoguchi, Shushma Patel, Victor Raskin, Shusaku Tsumoto, Wei Wei, Du Zhang. © 2017. 15 pages.
Basic studies in denotational mathematics and mathematical engineering have led to the theory of abstract intelligence (aI), which is a set of mathematical models...
Big Data Analytics on the Characteristic Equilibrium of Collective Opinions in Social Networks
Yingxu Wang, Victor J. Wiebe. © 2016. 18 pages.
Big data are products of human collective intelligence that are exponentially increasing in all facets of quantity, complexity, semantics, distribution, and...
On Cognitive Foundations and Mathematical Theories of Knowledge Science
Yingxu Wang. © 2016. 25 pages.
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...
Quantitative Semantic Analysis and Comprehension by Cognitive Machine Learning
Yingxu Wang, Mehrdad Valipour, Omar A. Zatarain. © 2016. 16 pages.
Knowledge learning is the sixth and the most fundamental category of machine learning mimicking the brain. It is recognized that the semantic space of machine...
Cognitive Intelligence: Deep Learning, Thinking, and Reasoning by Brain-Inspired Systems
Yingxu Wang, Bernard Widrow, Lotfi A. Zadeh, Newton Howard, Sally Wood, Virendrakumar C. Bhavsar, Gerhard Budin, Christine Chan, Rodolfo A. Fiorini, Marina L. Gavrilova, Duane F. Shell. © 2016. 20 pages.
The theme of IEEE ICCI*CC'16 on Cognitive Informatics (CI) and Cognitive Computing (CC) was on cognitive computers, big data cognition, and machine learning....
Dimensional Music Emotion Recognition by Machine Learning
Junjie Bai, Lixiao Feng, Jun Peng, Jinliang Shi, Kan Luo, Zuojin Li, Lu Liao, Yingxu Wang. © 2016. 16 pages.
Music emotion recognition (MER) is a challenging field of studies that has been addressed in multiple disciplines such as cognitive science, physiology...
Cognitive Learning Methodologies for Brain-Inspired Cognitive Robotics
Yingxu Wang. © 2015. 18 pages.
Cognitive robots are brain-inspired robots that are capable of inference, perception, and learning mimicking the cognitive mechanisms of the brain. Cognitive...
On the Mathematical Theories and Cognitive Foundations of Information
Yingxu Wang. © 2015. 23 pages.
A recent discovery in computer and software sciences is that information in general is a deterministic abstract quantity rather than a probability-based property...
Cognitive Informatics and Computational Intelligence: From Information Revolution to Intelligence Revolution
Yingxu Wang, Edmund T. Rolls, Newton Howard, Victor Raskin, Witold Kinsner, Fionn Murtagh, Virendrakumar C. Bhavsar, Shushma Patel, Dilip Patel, Duane F. Shell. © 2015. 20 pages.
Cognitive Informatics (CI) is a contemporary multidisciplinary field spanning across computer science, information science, cognitive science, brain science...
Simulation and Visualization of Concept Algebra in MATLAB
Xiaoyu Lin, Yingxu Wang. © 2014. 26 pages.
Concept algebra (CA) is a denotational mathematics for formal knowledge manipulation and natural language processing. In order to explicitly demonstrate the...
Unveiling the Cognitive Mechanisms of Eyes: The Visual Sensor Vs. the Perceptive Browser of the Brain
Yingxu Wang. © 2014. 15 pages.
Eyes as the unique organ possess intensively direct connections to the brain and dynamically perceptual accessibility to the mind. This paper analyzes the...
Fuzzy Causal Patterns of Humor and Jokes for Cognitive and Affective Computing
Yingxu Wang. © 2014. 13 pages.
Humor is an advanced emotional and cognitive ability of mankind that involves complex semantic inference and deep passionate appreciation. This paper presents the...
On a Novel Cognitive Knowledge Base (CKB) for Cognitive Robots and Machine Learning
Yingxu Wang. © 2014. 22 pages.
A cognitive knowledge base (CKB) is a novel structure of intelligent knowledge base that represents and manipulates knowledge as a dynamic concept network...
Big Data Analytics on the Characteristic Equilibrium of Collective Opinions in Social Networks
Yingxu Wang, Victor J. Wiebe. © 2014. 16 pages.
Big data are products of human collective intelligence that are exponentially increasing in all facets of quantity, complexity, semantics, distribution, and...
Cognitive Informatics for Revealing Human Cognition: Knowledge Manipulations in Natural Intelligence
Yingxu Wang. © 2013. 456 pages.
With the developments and intersection of science and engineering, cognitive informatics has emerged as a new and intriguing field of study which investigates the...
Advances in Abstract Intelligence and Soft Computing
Yingxu Wang. © 2013. 456 pages.
Continuous developments in software and intelligence sciences have brought together the studies of both natural and machine intelligence and the relationship...
Towards the Synergy of Cognitive Informatics, Neural Informatics, Brain Informatics, and Cognitive Computing
Yingxu Wang. © 2013. 19 pages.
The contemporary wonder of sciences and engineering recently refocused on the starting point: how the brain processes internal and external information...
Perspectives on the Field of Cognitive Informatics and its Future Development
Yingxu Wang, Bernard Carlos Widrow, Bo Zhang, Witold Kinsner, Kenji Sugawara, Fuchun Sun, Jianhua Lu, Thomas Weise, Du Zhang. © 2013. 15 pages.
The contemporary wonder of sciences and engineering has recently refocused on the beginning point of: how the brain processes internal and external information...
A Computational Simulation of the Cognitive Process of Children Knowledge Acquisition and Memory Development
Jeff Bancroft, Yingxu Wang. © 2013. 17 pages.
The cognitive mechanisms of knowledge representation, memory establishment, and learning are fundamental issues in understanding the brain. A basic approach to...
Cognitive Informatics and Cognitive Computing in Year 10 and Beyond
Yingxu Wang, Robert C. Berwick, Simon Haykin, Witold Pedrycz, Witold Kinsner, George Baciu, Du Zhang, Virendrakumar C. Bhavsar, Marina L. Gavrilova. © 2013. 18 pages.
Cognitive Informatics (CI) is a transdisciplinary enquiry of computer science, information sciences, cognitive science, and intelligence science that investigates...
Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (I)
Yingxu Wang. © 2013. 19 pages.
Inference as the basic mechanism of thought is one of the gifted abilities of human beings. It is recognized that a coherent theory and mathematical means are...
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra
Yingxu Wang, Yousheng Tian, Kendal Hu. © 2013. 27 pages.
Towards the formalization of ontological methodologies for dynamic machine learning and semantic analyses, a new form of denotational mathematics known as concept...
A Formal Knowledge Representation System (FKRS) for the Intelligent Knowledge Base of a Cognitive Learning Engine
Yousheng Tian, Yingxu Wang, Marina L. Gavrilova, Guenther Ruhe. © 2013. 15 pages.
It is recognized that the generic form of machine learning is a knowledge acquisition and manipulation process mimicking the brain. Therefore, knowledge...
On Cognitive Models of Causal Inferences and Causation Networks
Yingxu Wang. © 2013. 11 pages.
Human thought, perception, reasoning, and problem solving are highly dependent on causal inferences. This paper presents a set of cognitive models for causation...
Intelligent Fault Recognition and Diagnosis for Rotating Machines using Neural Networks
Cyprian F. Ngolah, Ed Morden, Yingxu Wang. © 2013. 15 pages.
Monitoring industrial machine health in real-time is not only in high demand, it is also complicated and difficult. Possible reasons for this include: (a) access...
Empirical Studies on the Functional Complexity of Software in Large-Scale Software Systems
Yingxu Wang, Vincent Chiew. © 2013. 19 pages.
Functional complexity is one of the most fundamental properties of software because almost all other software attributes and properties such as functional size...
The Formal Design Model of a File Management System (FMS)
Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Yousheng Tian, Phillip C.Y. Sheu. © 2013. 21 pages.
Files are a typical abstract data type for data objects and software modeling, which provides a standard encapsulation and access interface for manipulating...
The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists)
Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Phillip C.Y. Sheu. © 2013. 17 pages.
Abstract Data Types (ADTs) are a set of highly generic and rigorously modeled data structures in type theory. Lists as a finite sequence of elements are one of the...
The Formal Design Models of a Universal Array (UA) and its Implementation
Yingxu Wang, Jason Huang, Jingsheng Lei. © 2013. 19 pages.
Arrays are one of the most fundamental and widely applied data structures, which are useful for modeling both logical designs and physical implementations of...
The Formal Design Models of Tree Architectures and Behaviors
Yingxu Wang, Xinming Tan. © 2013. 22 pages.
Trees are one of the most fundamental and widely used non-linear hierarchical structures of linked nodes. A binary tree (B-Tree) is a typical balanced tree where...
Neuroinformatics Models of Human Memory: Mapping the Cognitive Functions of Memory onto Neurophysiological Structures of the Brain
Yingxu Wang. © 2013. 25 pages.
The human brain is a superbly marvelous and extremely complicated neurophysiological structure for generating natural intelligence that transforms cognitive...
The Cognitive Process and Formal Models of Human Attentions
Yingxu Wang, Shushma Patel, Dilip Patel. © 2013. 19 pages.
Attention is a complex mental function of humans in order to capture and serve the basic senses of vision, hearing, touch, smell, and taste, as well as internal...
A Formal Knowledge Retrieval System for Cognitive Computers and Cognitive Robotics
Yingxu Wang, Yousheng Tian. © 2013. 21 pages.
Intelligent knowledge base theories and technologies are fundamentally centric in machine learning and cognitive robotics. This paper presents the design of a...
Perspectives on Cognitive Computers and Knowledge Processors
Yingxu Wang, Gabriele Fariello, Marina L. Gavrilova, Witold Kinsner, Fumio Mizoguchi, Shushma Patel, Dilip Patel, Fernando L. Pelayo, Victor Raskin, Duane F. Shell, Shusaku Tsumoto. © 2013. 24 pages.
Cognitive Informatics (CI) is a contemporary multidisciplinary field spanning across computer science, information science, cognitive science, brain science...
Formal Models and Cognitive Mechanisms of the Human Sensory System
Yingxu Wang. © 2013. 21 pages.
The human sensory system is a perfect natural real-time distributed system. It transforms physical and chemical stimuli of the external environment into electronic...
Breakthroughs in Software Science and Computational Intelligence
Yingxu Wang. © 2012. 444 pages.
As both intelligence and software science revolutionizes the modern world, the contributions that each make to the other combine into a new transdisciplinary...
Software and Intelligent Sciences: New Transdisciplinary Findings
Yingxu Wang. © 2012. 423 pages.
The junction of software development and engineering combined with the study of intelligence has created a bustling intersection of theory, design, engineering...
Developments in Natural Intelligence Research and Knowledge Engineering: Advancing Applications
Yingxu Wang. © 2012. 381 pages.
Thought, comprehension, and intelligence are everyday concepts that are so pervasive through the lives of every human being that people scarcely think about them...
A Sociopsychological Perspective on Collective Intelligence in Metaheuristic Computing
Yingxu Wang. © 2012. 19 pages.
In studies of genetic algorithms, evolutionary computing, and ant colony mechanisms, it is recognized that the higher-order forms of collective intelligence play...
Perspectives on Cognitive Computing and Applications
Yingxu Wang, Witold Pedrycz, George Baciu, Ping Chen, Guoyin Wang, Yiyu Yao. © 2012. 12 pages.
Cognitive Computing (CC) is an emerging paradigm of intelligent computing theories and technologies based on cognitive informatics, which implements computational...
Design and Implementation of an Autonomic Code Generator Based on RTPA
Yingxu Wang, Xinming Tan, Cyprian F. Ngolah. © 2012. 23 pages.
Real-Time Process Algebra (RTPA) is a denotational mathematics for the algebraic modeling and manipulations of software system architectures and behaviors by the...
The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks
Yingxu Wang, Cyprian F. Ngolah, Guangping Zeng, Phillip C.-Y. Sheu, C. Philip Choy, Yousheng Tian. © 2012. 17 pages.
A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems...
The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors
Yingxu Wang, Guangping Zeng, Cyprian F. Ngolah, Phillip C.-Y. Sheu, C. Philip Choy, Yousheng Tian. © 2012. 27 pages.
A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems...
The Formal Design Model of an Automatic Teller Machine (ATM)
Yingxu Wang, Yanan Zhang, Philip C.-Y. Sheu, Xuhui Li, Hong Guo. © 2012. 25 pages.
An Automated Teller Machine (ATM) is a safety-critical and real-time system that is highly complicated in design and implementation. This paper presents the formal...
The Formal Design Models of a Set of Abstract Data Types (ADTs)
Yingxu Wang, Xinming Tan, Cyprian F. Ngolah, Philip Sheu. © 2012. 28 pages.
Type theories are fundamental for underpinning data object modeling and system architectural design in computing and software engineering. Abstract Data Types...
Convergence of Software Science and Computational Intelligence: A New Transdisciplinary Research Field
Yingxu Wang. © 2012. 13 pages.
Software Science is a discipline that studies the theoretical framework of software as instructive and behavioral information, which can be embodied and executed...
On Abstract Intelligence: Toward a Unifying Theory of Natural, Artificial, Machinable, and Computational Intelligence
Yingxu Wang. © 2012. 18 pages.
Abstract intelligence is a human enquiry of both natural and artificial intelligence at the reductive embodying levels of neural, cognitive, functional, and...
On Visual Semantic Algebra (VSA): A Denotational Mathematical Structure for Modeling and Manipulating Visual Objects and Patterns
Yingxu Wang. © 2012. 14 pages.
A new form of denotational mathematics known as Visual Semantic Algebra (VSA) is presented for abstract visual object and architecture manipulations. A set of...
On Cognitive Computing
Yingxu Wang. © 2012. 15 pages.
Inspired by the latest development in cognitive informatics and contemporary denotational mathematics, cognitive computing is an emerging paradigm of intelligent...
On the System Algebra Foundations for Granular Computing
Yingxu Wang, Lotfi A. Zadeh, Yiyu Yao. © 2012. 24 pages.
Granular computing studies a novel approach to computing system modeling and information processing. Although a rich set of work has advanced the understanding of...
Exploring the Cognitive Foundations of Software Engineering
Yingxu Wang, Shushma Patel. © 2012. 20 pages.
It is recognized that software is a unique abstract artifact that does not obey any known physical laws. For software engineering to become a matured engineering...
On the Cognitive Complexity of Software and its Quantification and Formal Measurement
Yingxu Wang. © 2012. 23 pages.
The quantification and measurement of functional complexity of software are a persistent problem in software engineering. Measurement models of software...
The Formal Design Model of a Telephone Switching System (TSS)
Yingxu Wang. © 2012. 25 pages.
A typical real-time system, the Telephone Switching System (TSS), is a highly complicated system in design and implementation. This paper presents the formal...
The Formal Design Model of a Lift Dispatching System (LDS)
Yingxu Wang, Cyprian F. Ngolah, Hadi Ahmadi, Philip Sheu, Shi Ying. © 2012. 25 pages.
A Lift Dispatching System (LDS) is a typical real-time system that is highly complicated in design and implementation. This article presents the formal design...
Perspectives on Cognitive Informatics and Cognitive Computing
Yingxu Wang, George Baciu, Yiyu Yao, Witold Kinsner, Keith Chan, Bo Zhang, Stuart Hameroff, Ning Zhong, Chu-Ren Hunag, Ben Goertzel, Duoqian Miao, Kenji Sugawara, Guoyin Wang, Jane You, Du Zhang, Haibin Zhu. © 2012. 24 pages.
Cognitive informatics is a transdisciplinary enquiry of computer science, information sciences, cognitive science, and intelligence science that investigates the...
The Cognitive Process of Comprehension: A Formal Description
Yingxu Wang, Davrondzhon Gafurov. © 2012. 13 pages.
Comprehension is an ability to understand the meaning of a concept or an action. Comprehension is an important intelligent power of abstract thought and reasoning...
A Web Knowledge Discovery Engine Based on Concept Algebra
Kai Hu, Yingxu Wang, Yousheng Tian. © 2012. 16 pages.
Autonomous on-line knowledge discovery and acquisition play an important role in cognitive informatics, cognitive computing, knowledge engineering, and...
Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (II)
Yingxu Wang. © 2012. 27 pages.
Inference as the basic mechanism of thought is abilities gifted to human beings, which is a cognitive process that creates rational causations between a pair of...
The Formal Design Models of Digraph Architectures and Behaviors
Yingxu Wang, Aderemi Adewumi. © 2012. 30 pages.
Graphs are one of the most fundamental and widely used non-linear hierarchical structures of linked nodes. Problems in sciences and engineering can be formulated...
The Cognitive Mechanisms and Formal Models of Consciousness
Yingxu Wang. © 2012. 18 pages.
Consciousness is the sense of self and the sign of life in natural intelligence. One of the profound myths in cognitive informatics, psychology, brain science, and...
Cognitive Computational Models of Emotions and Affective Behaviors
Luis-Felipe Rodríguez, Félix Ramos, Yingxu Wang. © 2012. 23 pages.
Emotions are one of the important subconscious mechanisms that influence human behaviors, attentions, and decision making. The emotion process helps to determine...
Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA
Yingxu Wang, Yousheng Tian. © 2012. 24 pages.
The Telephone Switching Systems (TSS) is a typical real-time system that is highly complicated in design and implementation. In order to deal with the extreme...
Perspectives on eBrain and Cognitive Computing
Yingxu Wang, James A. Anderson, George Baciu, Gerhard Budin, D. Frank Hsu, Mitsuru Ishizuka, Witold Kinsner, Fumio Mizoguchi, Toyoaki Nishida, Kenji Sugawara, Shusaku Tsumoto, Du Zhang. © 2012. 21 pages.
Cognitive Informatics (CI) is a discipline spanning across computer science, information science, cognitive science, brain science, intelligence science, knowledge...
On Abstract Intelligence and Brain Informatics: Mapping Cognitive Functions of the Brain onto its Neural Structures
Yingxu Wang. © 2012. 27 pages.
A key notion in abstract intelligence and cognitive informatics is that the brain and natural intelligence may only be explained by a hierarchical and reductive...
Formal Rules for Fuzzy Causal Analyses and Fuzzy Inferences
Yingxu Wang. © 2012. 17 pages.
Causal inference is one of the central capabilities of the natural intelligence that plays a crucial role in thinking, perception, and problem solving. Fuzzy...
Transdisciplinary Advancements in Cognitive Mechanisms and Human Information Processing
Yingxu Wang. © 2011. 436 pages.
Cognitive informatics is a multidisciplinary field that acts as the bridge between natural science and information science. Specifically, it investigates the...
Perspectives on the Field of Cognitive Informatics and its Future Development
Yingxu Wang, Bernard Carlos Widrow, Bo Zhang, Witold Kinsner, Kenji Sugawara, Fuchun Sun, Jianhua Lu, Thomas Weise, Du Zhang. © 2011. 17 pages.
The contemporary wonder of sciences and engineering has recently refocused on the beginning point of: how the brain processes internal and external information...
Towards the Synergy of Cognitive Informatics, Neural Informatics, Brain Informatics, and Cognitive Computing
Yingxu Wang. © 2011. 19 pages.
The contemporary wonder of sciences and engineering recently refocused on the starting point: how the brain processes internal and external information...
On Cognitive Models of Causal Inferences and Causation Networks
Yingxu Wang. © 2011. 11 pages.
Human thought, perception, reasoning, and problem solving are highly dependent on causal inferences. This paper presents a set of cognitive models for causation...
The Formal Design Model of a File Management System (FMS)
Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Yousheng Tian, Phillip C.Y. Sheu. © 2011. 24 pages.
Files are a typical abstract data type for data objects and software modeling, which provides a standard encapsulation and access interface for manipulating...
A Cognitive Informatics Reference Model of Autonomous Agent Systems (AAS)
Yingxu Wang. © 2011. 16 pages.
Despite the fact that the origin of software agent systems has been rooted in autonomous artificial intelligence and cognitive psychology, their implementations...
Formal Descriptions of Cognitive Processes of Perceptions on Spatiality, Time, and Motion
Yingxu Wang. © 2011. 13 pages.
Recent researches in both cognitive informatics and computational intelligence are interested in the human perceptual senses of spatiality, time, and motion, which...
The Cognitive Informatics Theory and Mathematical Models of Visual Information Processing in the Brain
Yingxu Wang. © 2011. 10 pages.
It is recognized that the internal mechanisms for visual information processing are based on semantic inferences where visual information is represented and...
On Cognitive Foundations of Creativity and the Cognitive Process of Creation
Yingxu Wang. © 2011. 14 pages.
Creativity is a gifted ability of human beings in thinking, inference, problem solving, and product development. A creation is a new and unusual relation between...
The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists)
Yingxu Wang, Cyprian F. Ngolah, Xinming Tan, Phillip C.Y. Sheu. © 2011. 20 pages.
Abstract Data Types (ADTs) are a set of highly generic and rigorously modeled data structures in type theory. Lists as a finite sequence of elements are one of the...
A Computational Simulation of the Cognitive Process of Children Knowledge Acquisition and Memory Development
Jeff Bancroft, Yingxu Wang. © 2011. 20 pages.
The cognitive mechanisms of knowledge representation, memory establishment, and learning are fundamental issues in understanding the brain. A basic approach to...
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra
Yingxu Wang, Yousheng Tian, Kendal Hu. © 2011. 29 pages.
Towards the formalization of ontological methodologies for dynamic machine learning and semantic analyses, a new form of denotational mathematics known as concept...
Empirical Studies on the Functional Complexity of Software in Large-Scale Software Systems
Yingxu Wang, Vincent Chiew. © 2011. 20 pages.
Functional complexity is one of the most fundamental properties of software because almost all other software attributes and properties such as functional size...
The Formal Design Models of a Universal Array (UA) and its Implementation
Yingxu Wang, Jason Huang, Jingsheng Lei. © 2011. 21 pages.
Arrays are one of the most fundamental and widely applied data structures, which are useful for modeling both logical designs and physical implementations of...
Cognitive Informatics and Cognitive Computing in Year 10 and Beyond
Yingxu Wang, Robert C. Berwick, Simon Haykin, Witold Pedrycz, Witold Kinsner, George Baciu, Du Zhang, C. Bhavsar. © 2011. 21 pages.
Cognitive Informatics (CI) is a transdisciplinary enquiry of computer science, information sciences, cognitive science, and intelligence science that investigates...
Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (I)
Yingxu Wang. © 2011. 22 pages.
Inference as the basic mechanism of thought is one of the gifted abilities of human beings. It is recognized that a coherent theory and mathematical means are...
A Formal Knowledge Representation System (FKRS) for the Intelligent Knowledge Base of a Cognitive Learning Engine
Yousheng Tian, Yingxu Wang, Marina L. Gavrilova, Guenther Ruhe. © 2011. 17 pages.
It is recognized that the generic form of machine learning is a knowledge acquisition and manipulation process mimicking the brain. Therefore, knowledge...
Intelligent Fault Recognition and Diagnosis for Rotating Machines using Neural Networks
Cyprian F. Ngolah, Ed Morden, Yingxu Wang. © 2011. 17 pages.
Monitoring industrial machine health in real-time is not only in high demand, it is also complicated and difficult. Possible reasons for this include: (a) access...
The Formal Design Models of Tree Architectures and Behaviors
Yingxu Wang, Xinming Tan. © 2011. 25 pages.
Trees are one of the most fundamental and widely used non-linear hierarchical structures of linked nodes. A binary tree (B-Tree) is a typical balanced tree where...
International Journal of Applied Metaheuristic Computing (IJAMC)
Peng-Yeng Yin. Est. 2010.
The International Journal of Applied Metaheuristic Computing (IJAMC) is a rigorous refereed journal that publishes high quality, innovative research on the latest...
The Cognitive Process of Decision Making
Yingxu Wang, Guenther Ruhe. © 2010. 13 pages.
Decision making is one of the basic cognitive processes of human behaviors by which a preferred option or a course of actions is chosen from among a set of...
Discoveries and Breakthroughs in Cognitive Informatics and Natural Intelligence
Yingxu Wang. © 2010. 606 pages.
Cognitive informatics is a multidisciplinary field that acts as the bridge between natural science and information science. Specifically, it investigates the...
The Formal Design Model of an Automatic Teller Machine (ATM)
Yingxu Wang, Yanan Zhang, Philip C.Y. Sheu, Xuhui Li, Hong Guo. © 2010. 30 pages.
An Automated Teller Machine (ATM) is a safety-critical and real-time system that is highly complicated in design and implementation. This article presents the...
On Cognitive Properties of Human Factors and Error Models in Engineering and Socialization
Yingxu Wang. © 2010. 17 pages.
Human factors are the most predominated factors in all systems where humans are part of the systems. Human traits and needs are the fundamental force underlying...
On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling
Yingxu Wang. © 2010. 23 pages.
Concepts are the most fundamental unit of cognition that carries certain meanings in expression, thinking, reasoning, and system modeling. In denotational...
On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling
Yingxu Wang. © 2010. 29 pages.
Systems are the most complicated entities and phenomena in abstract, physical, information, and social worlds across all science and engineering disciplines....
RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors
Yingxu Wang. © 2010. 22 pages.
Real-time process algebra (RTPA) is a denotational mathematical structure for denoting and manipulating system behavioral processes. RTPA is designed as a coherent...
A Denotational Semantics of Real-Time Process Algebra (RTPA)
Yingxu Wang, Xinming Tan. © 2010. 18 pages.
Real-time process algebra (RTPA) is a form of denotational mathematics for dealing with fundamental system behaviors such as timing, interrupt, concurrency, and...
An Operational Semantics of Real-Time Process Algebra (RTPA)
Yingxu Wang, Cyprian F. Ngolah. © 2010. 21 pages.
The need for new forms of mathematics to express software engineering concepts and entities has been widely recognized. Real-time process algebra (RTPA) is a...
Formal Modeling and Specification of Design Patterns Using RTPA
Yingxu Wang, Jian Huang. © 2010. 15 pages.
Software patterns are recognized as an ideal documentation of expert knowledge in software design and development. However, its formal model and semantics have not...
Deductive Semantics of RTPA
Yingxu Wang. © 2010. 38 pages.
Deductive semantics is a novel software semantic theory that deduces the semantics of a program in a given programming language from a unique abstract semantic...
On the Big-R Notation for Describing Iterative and Recursive Behaviors
Yingxu Wang. © 2010. 16 pages.
Iterative and recursive control structures are the most fundamental mechanisms of computing that make programming more effective and expressive. However, these...
Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain
Yingxu Wang. © 2010. 17 pages.
The cognitive processes modeled at the metacognitive level of the layered reference mode of the brain (LRMB) encompass those of object identification, abstraction...
Perspectives on Cognitive Informatics and Cognitive Computing
Yingxu Wang, George Baciu, Yiyu Yao, Witold Kinsner, Keith Chan, Bo Zhang, Stuart Hameroff, Ning Zhong, Chu-Ren Hunag, Ben Goertzel, Duoqian Miao, Kenji Sugawara, Guoyin Wang, Jane You, Du Zhang, Haibin Zhu. © 2010. 29 pages.
Cognitive informatics is a transdisciplinary enquiry of computer science, information sciences, cognitive science, and intelligence science that investigates the...
A Web Knowledge Discovery Engine Based on Concept Algebra
Kai Hu, Yingxu Wang, Yousheng Tian. © 2010. 18 pages.
Autonomous on-line knowledge discovery and acquisition play an important role in cognitive informatics, cognitive computing, knowledge engineering, and...
A Sociopsychological Perspective on Collective Intelligence in Metaheuristic Computing
Yingxu Wang. © 2010. 19 pages.
In studies of genetic algorithms, evolutionary computing, and ant colony mechanisms, it is recognized that the higher-order forms of collective intelligence play...
Design and Implementation of an Autonomic Code Generator Based on RTPA
Yingxu Wang, Xinming Tan, Cyprian F. Ngolah. © 2010. 22 pages.
Real-Time Process Algebra (RTPA) is a denotational mathematics for the algebraic modeling and manipulations of software system architectures and behaviors by the...
The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks
Yingxu Wang, Cyprian F. Ngolah, Guangping Zeng, Philip C.Y. Sheu, C. Philip Choy, Yousheng Tian. © 2010. 18 pages.
A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems...
The Cognitive Process of Comprehension: A Formal description
Yingxu Wang, Davrondzhon Gafurov. © 2010. 15 pages.
Comprehension is an ability to understand the meaning of a concept or an action. Comprehension is an important intelligent power of abstract thought and reasoning...
The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors
Yingxu Wang, Guangping Zeng, Cyprian F. Ngolah, Philip C.Y. Sheu, C. Philip Choy, Yousheng Tian. © 2010. 27 pages.
A real-time operating system (RTOS) provides a platform for the design and implementation of a wide range of applications in real-time systems, embedded systems...
Perspectives on Cognitive Computing and Applications
Yingxu Wang, Witold Pedrycz, George Baciu, Ping Chen, Guoyin Wang, Yiyu Yao. © 2010. 13 pages.
Cognitive Computing (CC) is an emerging paradigm of intelligent computing theories and technologies based on cognitive informatics, which implements computational...
The Formal Design Models of a Set of Abstract Data Types (ADTs)
Yingxu Wang, Xinming Tan, Cyprian F. Ngolah, Philip Sheu. © 2010. 29 pages.
Type theories are fundamental for underpinning data object modeling and system architectural design in computing and software engineering. Abstract Data Types...
Novel Approaches in Cognitive Informatics and Natural Intelligence
Yingxu Wang. © 2009. 396 pages.
Creating a link between a number of natural science and life science disciplines, the emerging field of cognitive informatics presents a transdisciplinary approach...
International Journal of Software Science and Computational Intelligence (IJSSCI)
Yingxu Wang. Est. 2009.
The latest developments in computer science, theoretical software engineering, cognitive science, cognitive informatics, intelligence science, and the...
A Cognitive Informatics Reference Model of Autonomous Agent Systems (AAS)
Yingxu Wang. © 2009. 16 pages.
Despite the fact that the origin of software agent systems has been rooted in autonomous artificial intelligence and cognitive psychology, their implementations...
Formal Descriptions of Cognitive Processes of Perceptions on Spatiality, Time, and Motion
Yingxu Wang. © 2009. 15 pages.
Recent researches in both cognitive informatics and computational intelligence are interested in the human perceptual senses of spatiality, time, and motion, which...
On Abstract Intelligence: Toward a Unifying Theory of Natural, Artificial, Machinable, and Computational Intelligence
Yingxu Wang. © 2009. 17 pages.
Abstract intelligence is a human enquiry of both natural and artificial intelligence at the reductive embodying levels of neural, cognitive, functional, and...
On the System Algebra Foundations for Granular Computing
Yingxu Wang, Lotfi A. Zadeh, Yiyu Yao. © 2009. 23 pages.
Granular computing studies a novel approach to computing system modeling and information processing. Although a rich set of work has advanced the understanding of...
Exploring the Cognitive Foundations of Software Engineering
Yingxu Wang, Shushma Patel. © 2009. 19 pages.
It is recognized that software is a unique abstract artifact that does not obey any known physical laws. For software engineering to become a matured engineering...
On the Cognitive Complexity of Software and its Quantification and Formal Measurement
Yingxu Wang. © 2009. 23 pages.
The quantification and measurement of functional complexity of software are a persistent problem in software engineering. Measurement models of software...
The Cognitive Informatics Theory and Mathematical Models of Visual Information Processing in the Brain
Yingxu Wang. © 2009. 11 pages.
It is recognized that the internal mechanisms for visual information processing are based on semantic inferences where visual information is represented and...
The Theoretical Framework of Cognitive Informatics
Yingxu Wang. © 2009. 27 pages.
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence...
On the Cognitive Processes of Human Perception with Emotions, Motivations, and Attitudes
Yingxu Wang. © 2009. 13 pages.
An interactive motivation-attitude theory is developed based on the Layered Reference Model of the Brain (LRMB) and the object-attributerelation (OAR) model. This...
The Theoretical Framework of Cognitive Informatics
Yingxu Wang. © 2009. 27 pages.
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence...
On the Cognitive Processes of Human Perception with Emotions, Motivations, and Attitudes
Yingxu Wang. © 2009. 13 pages.
An interactive motivation-attitude theory is developed based on the Layered Reference Model of the Brain (LRMB) and the Object-Attribute-Relation (OAR) model. This...
The Cognitive Processes of Formal Inferences
Yingxu Wang. © 2009. 14 pages.
Theoretical research is predominately an inductive process, while applied research is mainly a deductive process. Both inference processes are based on the...
The Cognitive Process of Decision Making
Yingxu Wang, Guenther Ruhe. © 2009. 12 pages.
Decision making is one of the basic cognitive processes of human behaviors by which a preferred option or a course of actions is chosen from among a set of...
Theoretical Foundations of Autonomic Computing
Yingxu Wang. © 2009. 16 pages.
Autonomic computing (AC) is an intelligent computing approach that autonomously carries out robotic and interactive applications based on goal- and...
Cognitive Informatics: Four Years in Practice
Du Zhang, Witold Kinsner, Jeffrey Tsai, Yingxu Wang, Philip Sheu, Taehyung Wang. © 2009. 3 pages.
The 2005 IEEE International Conference on Cognitive Informatics (ICCI’05) was held during August 8th to 10th 2005 on the campus of University of California...
Toward Cognitive Informatics and Cognitive Computers: A Report on IEEE ICCI'06
Yiyu Yao, Zhongzhi Shi, Yingxu Wang, Witold Kinsner, Yixin Zhong, Guoyin Wang. © 2009. 5 pages.
Cognitive informatics (CI) is a cutting-edge and multidisciplinary research area that tackles the fundamental problems shared by modern informatics, computation...
The Cognitive Process of Decision Making
Yingxu Wang, Guenther Ruhe. © 2009. 14 pages.
Decision making is one of the basic cognitive processes of human behaviors by which a preferred option or a course of actions is chosen from among a set of...
The Theoretical Framework of Cognitive Informatics
Yingxu Wang. © 2009. 30 pages.
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence...
On the Cognitive Processes of Human Perception with Emotions, Motivations, and Attitudes
Yingxu Wang. © 2009. 13 pages.
An interactive motivation-attitude theory is developed based on the Layered Reference Model of the Brain (LRMB) and the object-attributerelation (OAR) model. This...
Formal Modeling and Specification of Design Patterns Using RTPA
Yingxu Wang, Jian Huang. © 2009. 13 pages.
Software patterns are recognized as an ideal documentation of expert knowledge in software design and development. However, its formal model and semantics have not...
Deductive Semantics of RTPA
Yingxu Wang. © 2009. 28 pages.
Deductive semantics is a novel software semantic theory that deduces the semantics of a program in a given programming language from a unique abstract semantic...
A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors
Yingxu Wang. © 2009. 20 pages.
Real-time process algebra (RTPA) is a denotational mathematical structure for denoting and manipulating system behavioral processes. RTPA is designed as a coherent...
On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling
Yingxu Wang. © 2009. 21 pages.
Concepts are the most fundamental unit of cognition that carries certain meanings in expression, thinking, reasoning, and system modeling. In denotational...
On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling
Yingxu Wang. © 2009. 26 pages.
Systems are the most complicated entities and phenomena in abstract, physical, information, and social worlds across all science and engineering disciplines....
A Cognitive Informatics Reference Model of Autonomous Agent Systems (AAS)
Yingxu Wang. © 2009. 16 pages.
Despite the fact that the origin of software agent systems has been rooted in autonomous artificial intelligence and cognitive psychology, their implementations...
An Operational Semantics of Real-Time Process Algebra (RTPA)
Yingxu Wang, Cyprian F. Ngolah. © 2009. 21 pages.
The need for new forms of mathematics to express software engineering concepts and entities has been widely recognized. Real-time process algebra (RTPA) is a...
On Cognitive Computing
Yingxu Wang. © 2009. 15 pages.
Inspired by the latest development in cognitive informatics and contemporary denotational mathematics, cognitive computing is an emerging paradigm of intelligent...
The Formal Design Model of a Telephone Switching System (TSS)
Yingxu Wang. © 2009. 25 pages.
A typical real-time system, the Telephone Switching System (TSS), is a highly complicated system in design and implementation. This paper presents the formal...
On Visual Semantic Algebra (VSA): A Denotational Mathematical Structure for Modeling and Manipulating Visual Objects and Patterns
Yingxu Wang. © 2009. 16 pages.
A new form of denotational mathematics known as Visual Semantic Algebra (VSA) is presented for abstract visual object and architecture manipulations. A set of...
The Formal Design Model of a Lift Dispatching System (LDS)
Yingxu Wang, Cyprian F. Ngolah, Hadi Ahmadi, Philip Sheu, Shi Ying. © 2009. 27 pages.
A Lift Dispatching System (LDS) is a typical real-time system that is highly complicated in design and implementation. This article presents the formal design...
On Cognitive Foundations of Creativity and the Cognitive Process of Creation
Yingxu Wang. © 2009. 18 pages.
Creativity is a gifted ability of human beings in thinking, inference, problem solving, and product development. A creation is a new and unusual relation between...
On the Big-R Notation for Describing Interative and Recursive Behaviors
Yingxu Wang. © 2008. 12 pages.
Iterative and recursive control structures are the most fundamental mechanisms of computing that make programming more effective and expressive. However, these...
Formal Modeling and Specification of Design Patterns Using RTPA
Yingxu Wang, Jian Huang. © 2008. 12 pages.
Software patterns are recognized as an ideal documentation of expert knowledge in software design and development. However, its formal model and semantics have not...
On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling
Yingxu Wang. © 2008. 19 pages.
Concepts are the most fundamental unit of cognition that carries certain meanings in expression, thinking, reasoning, and system modeling. In denotational...
On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling
Yingxu Wang. © 2008. 24 pages.
Systems are the most complicated entities and phenomena in abstract, physical, information, and social worlds across all science and engineering disciplines....
RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors
Yingxu Wang. © 2008. 19 pages.
Real-time process algebra (RTPA) is a denotational mathematical structure for denoting and manipulating system behavioral processes. RTPA is designed as a coherent...
Deductive Semantics of RTPA
Yingxu Wang. © 2008. 27 pages.
Deductive semantics is a novel software semantic theory that deduces the semantics of a program in a given programming language from a unique abstract semantic...
An Operational Semantics of Real-Time Process Algebra (RTPA)
Yingxu Wang, Cyprian F. Ngolah. © 2008. 19 pages.
The need for new forms of mathematics to express software engineering concepts and entities has been widely recognized. Real-time process algebra (RTPA) is a...
Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain
Yingxu Wang. © 2008. 14 pages.
The cognitive processes modeled at the metacognitive level of the layered reference mode of the brain (LRMB) encompass those of object identification, abstraction...
On Cognitive Properties of Human Factors and Error Models in Engineering and Socialization
Yingxu Wang. © 2008. 15 pages.
Human factors are the most predominated factors in all systems where humans are part of the systems. Human traits and needs are the fundamental force underlying...
Cognitive Informatics
Yingxu Wang. © 2008. 8 pages.
Cognitive informatics (CI) is an emerging discipline that studies the natural intelligence and internal information processing mechanisms of the brain, as well as...
Neural Informatics
Yingxu Wang. © 2008. 7 pages.
The development of classical and contemporary informatics, the cross fertilization between computer science, systems science, cybernetics, computer/software...
International Journal of Cognitive Informatics and Natural Intelligence (IJCINI)
Yingxu Wang. Est. 2007.
The development and the cross fertilization between the aforementioned science and engineering disciplines have led to a whole range of extremely interesting new...
The Theoretical Framework of Cognitive Informatics
Yingxu Wang. © 2007. 27 pages.
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence...
On Laws of Work Organization in Human Cooperation
Yingxu Wang. © 2007. 15 pages.
From the perspective of cognitive informatics (CI), this paper proposes internal relations between distance and orientation knowledge of extended objects, and...
The Cognitive Process of Decision Making
Yingxu Wang, Guenther Ruhe. © 2007. 13 pages.
Decision making is one of the basic cognitive processes of human behaviors by which a preferred option or a course of actions is chosen from among a set of...
Toward Theoretical Foundations of Autonomic Computing
Yingxu Wang. © 2007. 16 pages.
Autonomic computing (AC) is an intelligent computing approach that autonomously carries out robotic and interactive applications based on goal- and...
The OAR Model of Neural Informatics for Internal Knowledge Representation in the Brain
Yingxu Wang. © 2007. 12 pages.
The cognitive models of information representation are fundamental research areas in cognitive informatics, which attempts to reveal the mechanisms and potential...
On the Cognitive Processes of Human Perception with Emotions, Motivations, and Attitudes
Yingxu Wang. © 2007. 13 pages.
An interactive motivation-attitude theory is developed based on the Layered Reference Model of the Brain (LRMB) and the object-attribute-relation (OAR) model. This...
The Cognitive Processes of Formal Inferences
Yingxu Wang. © 2007. 12 pages.
Theoretical research is predominately an inductive process; while applied research is mainly a deductive process. Both inference processes are based on the...