Abstract Intelligence: Embodying and Enabling Cognitive Systems by Mathematical Engineering

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 computational intelligence in cognitive informatics CI and cognitive computing CC. Abstract intelligence triggers the recent breakthroughs in cognitive systems such as cognitive computers, cognitive robots, cognitive neural networks, and cognitive learning. This paper reports a set of position statements presented in the plenary panel Part II of IEEE ICCI*CC'16 on Cognitive Informatics and Cognitive Computing at Stanford University. The summary is contributed by invited panelists who are part of the world's renowned scholars in the transdisciplinary field of CI and CC.

[1]  Rubin Gotesky.  The Uses of Inconsistency , 1968 .

[2]  E. Davis,et al.  Common Sense Reasoning , 2014, Encyclopedia of Social Network Analysis and Mining.

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

[4]  P. Russell.  The Global Brain Awakens: Our Next Evolutionary Leap , 1995 .

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

[6]  Randy Goebel,et al.  Computational intelligence - a logical approach , 1998 .

[7]  I. Rock,et al.  Inattentional blindness: Perception without attention. , 1998 .

[8]  T. Woolsey,et al.  The Brain Atlas: A Visual Guide to the Human Central Nervous System , 1998 .

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

[10]  Vladimir N. Vapnik,et al.  The Nature of Statistical Learning Theory , 2000, Statistics for Engineering and Information Science.

[11]  Kindler-Rohrborn,et al.  In press , 1994, Molecular carcinogenesis.

[12]  U. Chatterjee,et al.  Effect of unconventional feeds on production cost, growth performance and expression of quantitative genes in growing pigs , 2022, Journal of the Indonesian Tropical Animal Agriculture.

[13]  Peter Dayan,et al.  Theoretical Neuroscience: Computational and Mathematical Modeling of Neural Systems , 2001 .

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

[15]  Olaf Sporns,et al.  The Human Connectome: A Structural Description of the Human Brain , 2005, PLoS Comput. Biol..

[16]  D. Frank Hsu,et al.  Consensus Scoring Criteria for Improving Enrichment in Virtual Screening , 2005, J. Chem. Inf. Model..

[17]  Lotfi A. Zadeh,et al.  From Computing with Numbers to Computing with Words - from Manipulation of Measurements to Manipulation of Perceptions , 2005, Logic, Thought and Action.

[18]  D. Frank Hsu,et al.  Comparing Rank and Score Combination Methods for Data Fusion in Information Retrieval , 2005, Information Retrieval.

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

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

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

[22]  D. Frank Hsu,et al.  Combinatorial Fusion Analysis: Methods and Practices of Combining Multiple Scoring Systems , 2006 .

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

[24]  Moshe Eizenman,et al.  An on-road assessment of cognitive distraction: impacts on drivers' visual behavior and braking performance. , 2007, Accident; analysis and prevention.

[25]  John D. Lee,et al.  Real-Time Detection of Driver Cognitive Distraction Using Support Vector Machines , 2007, IEEE Transactions on Intelligent Transportation Systems.

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

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

[28]  R. Swerdlow.  The Brain Atlas: A Visual Guide to the Human Central Nervous System, 3rd Edition , 2008 .

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

[30]  Yingxu Wang,et al.  Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing , 2009, Fundam. Informaticae.

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

[32]  Päivi Majaranta,et al.  Eye Tracking , 2009, The Universal Access Handbook.

[33]  Du Zhang,et al.  On Temporal Properties of Knowledge Base Inconsistency , 2009, Trans. Comput. Sci..

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

[35]  MengChu Zhou,et al.  Short-Term Schedulability Analysis of Multiple Distiller Crude Oil Operations in Refinery With Oil Residency Time Constraint , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

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

[37]  Damian M. Lyons,et al.  Combining multiple scoring systems for target tracking using rank-score characteristics , 2009, Inf. Fusion.

[38]  Du Zhang,et al.  Inconsistency: The good, the bad, and the ugly , 2009, 2009 IEEE International Conference on Information Reuse & Integration.

[39]  Yingxu Wang,et al.  Contemporary Cybernetics and Its Facets of Cognitive Informatics and Computational Intelligence , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[40]  Yingxu Wang,et al.  Cognitive Robots: A Reference Model Toward Intelligent Authentication , 2010 .

[41]  Yingxu Wang,et al.  On Formal and Cognitive Semantics for Semantic Computing , 2010, Int. J. Semantic Comput..

[42]  D. Frank Hsu,et al.  Rank-Score Characteristics (RSC) Function and Cognitive Diversity , 2010, Brain Informatics.

[43]  Yingxu Wang,et al.  Advances in Cognitive Informatics and Cognitive Computing , 2010 .

[44]  R. AllanR.JonesA,et al.  Mapping the Mind , 2010 .

[45]  Hironori Hiraishi,et al.  Qualitative Reasoning Approach to a Driver's Cognitive Mental Load , 2011, Int. J. Softw. Sci. Comput. Intell..

[46]  Chih-Jen Lin,et al.  LIBSVM: A library for support vector machines , 2011, TIST.

[47]  Daniel J. Graham,et al.  The Packet Switching Brain , 2011, Journal of Cognitive Neuroscience.

[48]  Yingxu Wang.  Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (I) , 2011, Int. J. Cogn. Informatics Nat. Intell..

[49]  Yingxu Wang.  Towards the Synergy of Cognitive Informatics, Neural Informatics, Brain Informatics, and Cognitive Computing , 2011, Int. J. Cogn. Informatics Nat. Intell..

[50]  DU ZHANG,et al.  The Landscape of Inconsistency: a Perspective , 2011, Int. J. Semantic Comput..

[51]  Yingxu Wang,et al.  Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra , 2011, Int. J. Cogn. Informatics Nat. Intell..

[52]  S. Liversedge,et al.  Oxford handbook of eye movements , 2011 .

[53]  Hironori Hiraishi,et al.  Applying qualitative reasoning to a driver's cognitive mental load , 2011, IEEE 10th International Conference on Cognitive Informatics and Cognitive Computing (ICCI-CC'11).

[54]  Witold Pedrycz,et al.  Cognitive Informatics and Cognitive Computing in Year 10 and Beyond , 2011, Int. J. Cogn. Informatics Nat. Intell..

[55]  Yingxu Wang,et al.  On Abstract Intelligence and Brain Informatics: Mapping Cognitive Functions of the Brain onto its Neural Structures , 2012, Int. J. Cogn. Informatics Nat. Intell..

[56]  Mehmet A. Orgun,et al.  BRINK: Initial theory on bounded rationality and inconsistent knowledge , 2012, 2012 IEEE 11th International Conference on Cognitive Informatics and Cognitive Computing.

[57]  Yingxu Wang,et al.  On Denotational Mathematics Foundations for the Next Generation of Computers: Cognitive Computers for Knowledge Processing , 2012 .

[58]  Du Zhang,et al.  i2Learning: Perpetual Learning through Bias Shifting , 2012, SEKE.

[59]  Du Zhang,et al.  Learning through overcoming inheritance inconsistencies , 2012, 2012 IEEE 13th International Conference on Information Reuse & Integration (IRI).

[60]  Yingxu Wang,et al.  Towards a Formal Framework of Cognitive Linguistics , 2012 .

[61]  Yingxu Wang,et al.  Welcome to the Journal of Advanced Mathematics and Applications Contemporary Mathematics as a Metamethodology of Science, Engineering, Society, and Humanity , 2012 .

[62]  Yingxu Wang,et al.  In Search of Denotational Mathematics: Novel Mathematical Means for Contemporary Intelligence, Brain, and Knowledge Sciences , 2012 .

[63]  Fumio Mizoguchi,et al.  Identifying Driver's Cognitive Load Using Inductive Logic Programming , 2012, ILP.

[64]  Yingxu Wang,et al.  On Neuroinformatics: Mathematical Models of Neuroscience and Neurocomputing , 2012 .

[65]  Du Zhang,et al.  Learning through overcoming incompatible and anti-subsumption inconsistencies , 2013, 2013 IEEE 12th International Conference on Cognitive Informatics and Cognitive Computing.

[66]  Yingxu Wang,et al.  Formal Relational Rules of English Syntax for Cognitive Linguistics, Machine Learning, and Cognitive Computing , 2013 .

[67]  Yingxu Wang.  Neuroinformatics Models of Human Memory: Mapping the Cognitive Functions of Memory onto Neurophysiological Structures of the Brain , 2013, Int. J. Cogn. Informatics Nat. Intell..

[68]  Du Zhang,et al.  Perpetual Learning through Overcoming Inconsistencies , 2013, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence.

[69]  Fumio Mizoguchi,et al.  Evaluation model of cognitive distraction state based on eye-tracking data using neural networks , 2013, 2013 IEEE 12th International Conference on Cognitive Informatics and Cognitive Computing.

[70]  Yingxu Wang,et al.  On Semantic Algebra: A Denotational Mathematics for Natural Language Comprehension and Cognitive Computing , 2013 .

[71]  Du Zhang,et al.  Inconsistencies in big data , 2013, 2013 IEEE 12th International Conference on Cognitive Informatics and Cognitive Computing.

[72]  Fumio Mizoguchi,et al.  Temporal discretization method and Naïve Bayes Classifier for classifying car driver's cognitive load , 2014, CATA 2014.

[73]  Yingxu Wang.  On a Novel Cognitive Knowledge Base (CKB) for Cognitive Robots and Machine Learning , 2014, Int. J. Softw. Sci. Comput. Intell..

[74]  Yingxu Wang,et al.  Software Science: On the General Mathematical Models and Formal Properties of Software , 2014 .

[75]  Du Zhang,et al.  Learning through explaining observed inconsistencies , 2014, 2014 IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing.

[76]  Fumio Mizoguchi,et al.  Identifying Driver ’ s Cognitive Distraction Using Inductive Logic Programming , 2015 .

[77]  Du Zhang,et al.  Learning through overcoming temporal inconsistencies , 2015, 2015 IEEE 14th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC).

[78]  Bernard Widrow,et al.  The Hebbian-LMS Learning Algorithm , 2015, IEEE Computational Intelligence Magazine.

[79]  Hao Wang,et al.  The Russo–Dye theorem in nest subalgebras of factors , 2015 .

[80]  Yingxu Wang.  On the Mathematical Theories and Cognitive Foundations of Information , 2015, Int. J. Cogn. Informatics Nat. Intell..

[81]  D. Frank Hsu,et al.  On the combination of two visual cognition systems using combinatorial fusion , 2015, Brain Informatics.

[82]  George Baciu,et al.  Cloudets: Cloud-based cognition for large streaming data , 2015, 2015 IEEE 14th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC).

[83]  Yingxu Wang.  Cognitive robotics and mathematical engineering , 2015, ICCI*CC.

[84]  Yingxu Wang,et al.  Cognitive Learning Methodologies for Brain-Inspired Cognitive Robotics , 2015, Int. J. Cogn. Informatics Nat. Intell..

[85]  Gabriel Antoniu,et al.  OverFlow: Multi-Site Aware Big Data Management for Scientific Workflows on Clouds , 2016, IEEE Transactions on Cloud Computing.

[86]  Yingxu Wang.  Big Data Algebra (BDA): A Denotational Mathematical Structure for Big Data Science and Engineering , 2016 .

[87]  Yingxu Wang,et al.  Deep reasoning and thinking beyond deep learning by cognitive robots and brain-inspired systems , 2016, 2016 IEEE 15th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC).

[88]  George Baciu,et al.  Cloudet: A Cloud-Driven Visual Cognition of Large Streaming Data , 2016, Int. J. Cogn. Informatics Nat. Intell..

[89]  Bernard Widrow.  Hebbian learning and the LMS algorithm , 2016, 2016 IEEE 15th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC).

[90]  Lotfi A. Zadeh.  A key issue of semantics of information , 2016, 2016 IEEE 15th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC).

[91]  Benjamin Naumann.  The Architecture Of Cognition , 2016 .

[92]  Yingxu Wang,et al.  Cognitive Intelligence: Deep Learning, Thinking, and Reasoning by Brain-Inspired Systems , 2016, Int. J. Cogn. Informatics Nat. Intell..

[93]  J. Nacht.  Cognition Exploring The Science Of The Mind , 2016 .

[94]  Yingxu Wang,et al.  On Cognitive Foundations and Mathematical Theories of Knowledge Science , 2016, Int. J. Cogn. Informatics Nat. Intell..

[95]  Yingxu Wang,et al.  Quantitative Semantic Analysis and Comprehension by Cognitive Machine Learning , 2016, Int. J. Cogn. Informatics Nat. Intell..

[96]  B. Geethanjali,et al.  Visualization of Brain Activation During Attention-Demanding Tasks Using Cognitive Signal Processing , 2017, Int. J. Cogn. Informatics Nat. Intell..

[97]  Liang Chen,et al.  A Copula Based Method for the Classification of Fish Species , 2017, Int. J. Cogn. Informatics Nat. Intell..

[98]  Dario D. Salvucci.  Modeling Driver Distraction from Cognitive Tasks , 2019, Proceedings of the Twenty-Fourth Annual Conference of the Cognitive Science Society.