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

S-Box Construction Method Based on the Combination of Quantum Chaos and PWLCM Chaotic Map
S-Box Construction Method Based on the Combination of Quantum Chaos and PWLCM Chaotic Map
Jun Peng, Shangzhu Jin, Shaoning Pang, Du Zhang, Lixiao Feng, Zuojin Li, Yingxu Wang. © 2021. 17 pages.
For a security system built on symmetric-key cryptography algorithms, the substitution box (S-box) plays a crucial role to resist cryptanalysis. In this article, we incorporate...
Cognitive Intelligence: Deep Learning, Thinking, and Reasoning by Brain-Inspired Systems
Cognitive Intelligence: Deep Learning, Thinking, and Reasoning by Brain-Inspired Systems
Yingxu Wang, Bernard Carlos Widrow, Lotfi A. Zadeh, Newton Howard, Sally Wood, Virendrakumar C. Bhavsar, Gerhard Budin, Christine W. Chan, Rodolfo A. Fiorini, Marina L. Gavrilova, Duane F. Shell. © 2020. 24 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. CI and CC are a...
Cognitive Computing: Methodologies for Neural Computing and Semantic Computing in Brain-Inspired Systems
Cognitive Computing: Methodologies for Neural Computing and Semantic Computing in Brain-Inspired Systems
Yingxu Wang, Victor Raskin, Julia M. Rayz, George Baciu, Aladdin Ayesh, Fumio Mizoguchi, Shusaku Tsumoto, Dilip Patel, Newton Howard. © 2020. 15 pages.
Cognitive Computing (CC) is a contemporary field of studies on intelligent computing methodologies and brain-inspired mechanisms of cognitive systems, cognitive machine learning...
Abstract Intelligence: Embodying and Enabling Cognitive Systems by Mathematical Engineering
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. © 2020. 18 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 of natural and...
Quantitative Semantic Analysis and Comprehension by Cognitive Machine Learning
Quantitative Semantic Analysis and Comprehension by Cognitive Machine Learning
Yingxu Wang, Mehrdad Valipour, Omar A. Zatarain. © 2020. 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 knowledge is a...
Music Emotions Recognition by Machine Learning With Cognitive Classification Methodologies
Music Emotions Recognition by Machine Learning With Cognitive Classification Methodologies
Junjie Bai, Kan Luo, Jun Peng, Jinliang Shi, Ying Wu, Lixiao Feng, Jianqing Li, Yingxu Wang. © 2020. 14 pages.
Music emotions recognition (MER) is a challenging field of studies addressed in multiple disciplines such as musicology, cognitive science, physiology, psychology, arts and...
Cognitive Informatics: Towards Cognitive Machine Learning and Autonomous Knowledge Manipulation
Cognitive Informatics: Towards Cognitive Machine Learning and Autonomous Knowledge Manipulation
Yingxu Wang, Newton Howard, Janusz Kacprzyk, Ophir Frieder, Phillip Sheu, Rodolfo A. Fiorini, Marina L. Gavrilova, Shushma Patel, Jun Peng, Bernard Widrow. © 2018. 13 pages.
Cognitive Informatics (CI) is a contemporary field of basic studies on the brain, computational intelligence theories and underpinning denotational mathematics. Its applications...
Cognitive Computing: Methodologies for Neural Computing and Semantic Computing in Brain-Inspired Systems
Cognitive Computing: Methodologies for Neural Computing and Semantic Computing in Brain-Inspired Systems
Yingxu Wang, Victor Raskin, Julia Rayz, George Baciu, Aladdin Ayesh, Fumio Mizoguchi, Shusaku Tsumoto, Dilip Patel, Newton Howard. © 2018. 14 pages.
Cognitive Computing (CC) is a contemporary field of studies on intelligent computing methodologies and brain-inspired mechanisms of cognitive systems, cognitive machine learning...
Cognitive Informatics and Computational Intelligence: From Information Revolution to Intelligence Revolution
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. © 2018. 18 pages.
Cognitive Informatics (CI) is a contemporary multidisciplinary field spanning across computer science, information science, cognitive science, brain science, intelligence...
On the Mathematical Theories and Cognitive Foundations of Information
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 of the nature....
Cognitive Learning Methodologies for Brain-Inspired Cognitive Robotics
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 learning theories...
On a Novel Cognitive Knowledge Base (CKB) for Cognitive Robots and Machine Learning
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 mimicking human...
On Cognitive Foundations and Mathematical Theories of Knowledge Science
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 categories, i.e....
Fuzzy Causal Patterns of Humor and Jokes for Cognitive and Affective Computing
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 cognitive...
Abstract Intelligence: Embodying and Enabling Cognitive Systems by Mathematical Engineering
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 of natural and...
Music Emotions Recognition by Machine Learning With Cognitive Classification Methodologies
Music Emotions Recognition by Machine Learning With Cognitive Classification Methodologies
Junjie Bai, Kan Luo, Jun Peng, Jinliang Shi, Ying Wu, Lixiao Feng, Jianqing Li, Yingxu Wang. © 2017. 13 pages.
Music emotions recognition (MER) is a challenging field of studies addressed in multiple disciplines such as musicology, cognitive science, physiology, psychology, arts and...
Big Data Analytics on the Characteristic Equilibrium of Collective Opinions in Social Networks
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 processing costs in...
On Cognitive Foundations and Mathematical Theories of Knowledge Science
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 categories, i.e....
Quantitative Semantic Analysis and Comprehension by Cognitive Machine Learning
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 knowledge is a...
Cognitive Intelligence: Deep Learning, Thinking, and Reasoning by Brain-Inspired Systems
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. CI and CC are a...
Dimensional Music Emotion Recognition by 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, psychology, musicology...
Cognitive Learning Methodologies for Brain-Inspired Cognitive Robotics
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 learning theories...
On the Mathematical Theories and Cognitive Foundations of Information
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 of the nature....
Cognitive Informatics and Computational Intelligence: From Information Revolution to Intelligence Revolution
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, intelligence...
Simulation and Visualization of Concept Algebra in MATLAB
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 mathematical models...
Unveiling the Cognitive Mechanisms of Eyes: The Visual Sensor Vs. the Perceptive Browser of the Brain
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 cognitive mechanisms of...
Fuzzy Causal Patterns of Humor and Jokes for Cognitive and Affective Computing
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 cognitive...
On a Novel Cognitive Knowledge Base (CKB) for Cognitive Robots and Machine Learning
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 mimicking human...
Big Data Analytics on the Characteristic Equilibrium of Collective Opinions in Social Networks
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 processing costs in...
Cognitive Informatics for Revealing Human Cognition: Knowledge Manipulations in Natural Intelligence
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 natural...
Advances in Abstract Intelligence and Soft Computing
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 between the function...
Towards the Synergy of Cognitive Informatics, Neural Informatics, Brain Informatics, and Cognitive Computing
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 autonomously rather than...
Perspectives on the Field of Cognitive Informatics and its Future Development
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 autonomously and...
A Computational Simulation of the Cognitive Process of Children Knowledge Acquisition and Memory Development
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 studying these...
Cognitive Informatics and Cognitive Computing in Year 10 and Beyond
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 into the...
Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (I)
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 needed for dealing...
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra
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 algebra is...
A Formal Knowledge Representation System (FKRS) for the Intelligent Knowledge Base of a Cognitive Learning Engine
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 representation as a...
On Cognitive Models of Causal Inferences and Causation Networks
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 analyses and...
Intelligent Fault Recognition and Diagnosis for Rotating Machines using Neural Networks
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 to the machines...
Empirical Studies on the Functional Complexity of Software in Large-Scale Software Systems
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, development...
The Formal Design Model of a File Management System (FMS)
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 large-volume...
The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists)
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 most...
The Formal Design Models of a Universal Array (UA) and its Implementation
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 multi-dimensional...
The Formal Design Models of Tree Architectures and Behaviors
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 the fan-out of...
Neuroinformatics Models of Human Memory: Mapping the Cognitive Functions of Memory onto Neurophysiological Structures of the Brain
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 information into...
The Cognitive Process and Formal Models of Human Attentions
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 motivations and...
A Formal Knowledge Retrieval System for Cognitive Computers and Cognitive Robotics
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 formal knowledge...
Perspectives on Cognitive Computers and Knowledge Processors
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, intelligence...
Formal Models and Cognitive Mechanisms of the Human Sensory System
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 neural signals...
Breakthroughs in Software Science and Computational Intelligence
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 field. Breakthroughs...
Software and Intelligent Sciences: New Transdisciplinary Findings
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, and conceptual...
Developments in Natural Intelligence Research and Knowledge Engineering: Advancing Applications
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 at all. These...
A Sociopsychological Perspective on Collective Intelligence in Metaheuristic Computing
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 an important...
Perspectives on Cognitive Computing and Applications
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 intelligence by...
Design and Implementation of an Autonomic Code Generator Based on RTPA
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 Unified Data...
The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks
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, and...
The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors
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, and...
The Formal Design Model of an Automatic Teller Machine (ATM)
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 design...
The Formal Design Models of a Set of Abstract Data Types (ADTs)
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 (ADTs) are a set of...
Convergence of Software Science and Computational Intelligence: A New Transdisciplinary Research Field
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 by generic...
On Abstract Intelligence: Toward a Unifying Theory of Natural, Artificial, Machinable, and Computational Intelligence
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 logical from the...
On Visual Semantic Algebra (VSA): A Denotational Mathematical Structure for Modeling and Manipulating Visual Objects and Patterns
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 cognitive theories...
On Cognitive Computing
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 computing...
On the System Algebra Foundations for Granular Computing
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 granular...
Exploring the Cognitive Foundations of Software Engineering
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 discipline like...
On the Cognitive Complexity of Software and its Quantification and Formal Measurement
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 complexities have been...
The Formal Design Model of a Telephone Switching System (TSS)
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 design...
The Formal Design Model of a Lift Dispatching System (LDS)
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, specification, and...
Perspectives on Cognitive Informatics and Cognitive Computing
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 internal...
The Cognitive Process of Comprehension: A Formal Description
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 of humans or...
A Web Knowledge Discovery Engine Based on Concept Algebra
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 computational...
Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (II)
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 cause and effect...
The Formal Design Models of Digraph Architectures and Behaviors
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 and solved by...
The Cognitive Mechanisms and Formal Models of Consciousness
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 computational...
Cognitive Computational Models of Emotions and Affective Behaviors
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 how humans...
Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA
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 complexity in...
Perspectives on eBrain and Cognitive Computing
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 science, and...
On Abstract Intelligence and Brain Informatics: Mapping Cognitive Functions of the Brain onto its Neural Structures
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 theory that maps...
Formal Rules for Fuzzy Causal Analyses and Fuzzy Inferences
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 inferences are an...
Transdisciplinary Advancements in Cognitive Mechanisms and Human Information Processing
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 potential...
Perspectives on the Field of Cognitive Informatics and its Future Development
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 autonomously and...
Towards the Synergy of Cognitive Informatics, Neural Informatics, Brain Informatics, and Cognitive Computing
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 autonomously rather than...
On Cognitive Models of Causal Inferences and Causation Networks
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 analyses and...
The Formal Design Model of a File Management System (FMS)
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 large-volume...
A Cognitive Informatics Reference Model of Autonomous Agent Systems (AAS)
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 are still based...
Formal Descriptions of Cognitive Processes of Perceptions on Spatiality, Time, and Motion
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 are...
The Cognitive Informatics Theory and Mathematical Models of Visual Information Processing in the Brain
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 processed as visual...
On Cognitive Foundations of Creativity and the Cognitive Process of Creation
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 two or more...
The Formal Design Model of Doubly-Linked-Circular Lists (DLC-Lists)
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 most...
A Computational Simulation of the Cognitive Process of Children Knowledge Acquisition and Memory Development
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 studying these...
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra
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 algebra is...
Empirical Studies on the Functional Complexity of Software in Large-Scale Software Systems
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, development...
The Formal Design Models of a Universal Array (UA) and its Implementation
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 multi-dimensional...
Cognitive Informatics and Cognitive Computing in Year 10 and Beyond
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 into the...
Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (I)
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 needed for dealing...
A Formal Knowledge Representation System (FKRS) for the Intelligent Knowledge Base of a Cognitive Learning Engine
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 representation as a...
Intelligent Fault Recognition and Diagnosis for Rotating Machines using Neural Networks
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 to the machines...
The Formal Design Models of Tree Architectures and Behaviors
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 the fan-out of...
International Journal of Applied Metaheuristic Computing (IJAMC)
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 developments...
The Cognitive Process of Decision Making
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 alternatives based on...
Discoveries and Breakthroughs in Cognitive Informatics and Natural Intelligence
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 potential...
The Formal Design Model of an Automatic Teller Machine (ATM)
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 formal design...
On Cognitive Properties of Human Factors and Error Models in Engineering and Socialization
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 almost all...
On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling
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 mathematics, a concept...
On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling
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. System algebra is an...
RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors
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 algebraic...
A Denotational Semantics of Real-Time Process Algebra (RTPA)
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)
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 denotational...
Formal Modeling and Specification of Design Patterns Using RTPA
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 been...
Deductive Semantics of RTPA
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 function to the...
On the Big-R Notation for Describing Iterative and Recursive Behaviors
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 constructs are...
Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain
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, concept...
Perspectives on Cognitive Informatics and Cognitive Computing
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 internal...
A Web Knowledge Discovery Engine Based on Concept Algebra
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 computational...
A Sociopsychological Perspective on Collective Intelligence in Metaheuristic Computing
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 an important...
Design and Implementation of an Autonomic Code Generator Based on RTPA
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 Unified Data...
The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks
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, and...
The Cognitive Process of Comprehension: A Formal description
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 of humans or...
The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors
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, and...
Perspectives on Cognitive Computing and Applications
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 intelligence by...
The Formal Design Models of a Set of Abstract Data Types (ADTs)
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 (ADTs) are a set of...
Novel Approaches in Cognitive Informatics and Natural Intelligence
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 to the...
International Journal of Software Science and Computational Intelligence (IJSSCI)
International Journal of Software Science and Computational Intelligence (IJSSCI)
Brij Gupta, Andrew W.H. Ip. Est. 2009.
The latest developments in computer science, theoretical software engineering, cognitive science, cognitive informatics, intelligence science, and the crystallization of...
A Cognitive Informatics Reference Model of Autonomous Agent Systems (AAS)
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 are still based...
Formal Descriptions of Cognitive Processes of Perceptions on Spatiality, Time, and Motion
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 are...
On Abstract Intelligence: Toward a Unifying Theory of Natural, Artificial, Machinable, and Computational Intelligence
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 logical from the...
On the System Algebra Foundations for Granular Computing
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 granular...
Exploring the Cognitive Foundations of Software Engineering
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 discipline like...
On the Cognitive Complexity of Software and its Quantification and Formal Measurement
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 complexities have been...
The Cognitive Informatics Theory and Mathematical Models of Visual Information Processing in the Brain
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 processed as visual...
The Theoretical Framework of Cognitive Informatics
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 shared by almost...
On the Cognitive Processes of Human Perception with Emotions, Motivations, and Attitudes
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 paper presents...
The Theoretical Framework of Cognitive Informatics
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 shared by almost...
On the Cognitive Processes of Human Perception with Emotions, Motivations, and Attitudes
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 chapter...
The Cognitive Processes of Formal Inferences
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 cognitive process and...
The Cognitive Process of Decision Making
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 alternatives based on...
Theoretical Foundations of Autonomic Computing
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 inference-driven mechanisms....
Cognitive Informatics: Four Years in Practice
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, Irvine. This was the...
Toward Cognitive Informatics and Cognitive Computers: A Report on IEEE ICCI'06
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, software...
The Cognitive Process of Decision Making
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 alternatives based on...
The Theoretical Framework of Cognitive Informatics
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 shared by almost...
On the Cognitive Processes of Human Perception with Emotions, Motivations, and Attitudes
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 paper presents...
Formal Modeling and Specification of Design Patterns Using RTPA
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 been...
Deductive Semantics of RTPA
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 function to the...
A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors
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 algebraic...
On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling
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 mathematics, a concept...
On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling
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. System algebra is an...
A Cognitive Informatics Reference Model of Autonomous Agent Systems (AAS)
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 are still based...
An Operational Semantics of Real-Time Process Algebra (RTPA)
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 denotational...
On Cognitive Computing
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 computing...
The Formal Design Model of a Telephone Switching System (TSS)
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 design...
On Visual Semantic Algebra (VSA): A Denotational Mathematical Structure for Modeling and Manipulating Visual Objects and Patterns
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 cognitive theories...
The Formal Design Model of a Lift Dispatching System (LDS)
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, specification, and...
On Cognitive Foundations of Creativity and the Cognitive Process of Creation
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 two or more...
On the Big-R Notation for Describing Interative and Recursive Behaviors
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 constructs are...
Formal Modeling and Specification of Design Patterns Using RTPA
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 been...
On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling
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 mathematics, a concept...
On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling
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. System algebra is an...
RTPA: A Denotational Mathematics for Manipulating Intelligent and Computational Behaviors
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 algebraic...
Deductive Semantics of RTPA
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 function to the...
An Operational Semantics of Real-Time Process Algebra (RTPA)
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 denotational...
Formal RTPA Models for a Set of Meta-Cognitive Processes of the Brain
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, concept...
On Cognitive Properties of Human Factors and Error Models in Engineering and Socialization
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 almost all...
Cognitive Informatics
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 the processes...
Neural Informatics
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 engineering...
International Journal of Cognitive Informatics and Natural Intelligence (IJCINI)
International Journal of Cognitive Informatics and Natural Intelligence (IJCINI)
Kangshun Li. 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 research areas...
The Theoretical Framework of Cognitive Informatics
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 shared by almost...
On Laws of Work Organization in Human Cooperation
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 presents a formal...
The Cognitive Process of Decision Making
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 alternatives based on...
Toward Theoretical Foundations of Autonomic Computing
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 inference-driven mechanisms....
The OAR Model of Neural Informatics for Internal Knowledge Representation in the Brain
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 of the brain in...
On the Cognitive Processes of Human Perception with Emotions, Motivations, and Attitudes
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 paper presents...
The Cognitive Processes of Formal Inferences
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 cognitive process and...