Cognitive Robotics and Mathematical Engineering Yingxu Wang, Prof., PhD, PEng, FICIC, FWIF, SM.IEEE, SM.ACM President, International Institute of Cognitive Informatics and Cognitive Computing (ICIC) Director, Laboratory for Computational Intelligence and Software Science Dept. of Electrical and Computer Engineering Schulich School of Engineering and Hotchkiss Brain Institute University of Calgary 2500 University Drive, NW, Calgary, Alberta, Canada T2N 1N4 http://www.ucalgary.ca/icic/ Email:
[email protected] that is capable of perception, inference, and learning mimicking the cognitive mechanisms of the brain [22, 35, 37]. Cognitive robots emerge from basic studies in both natural intelligence in brain/cognitive sciences and artificial/abstract intelligence in computer/intelligence sciences. In cognitive robotics, intelligence is perceived as an ability that transforms information to behavior. Therefore, abstract intelligence (I) [16, 19, 35] is the kernel and formal embodiment of general intelligence shared by both humans and cognitive systems. A reference model of cognitive robots (RMCR) [22] is elaborated for how a cognitive robot is formally modeled at the imperative, autonomic, and cognitive layers from the bottom up. It will be demonstrated that cognitive robotics is a typical field of contemporary science and engineering where all fundamental theories and solutions are highly dependent on DM. The development on cognitive robots based on mathematical engineering methodologies reveals a wide range of applications of DM in complex system modeling, formal inference, big data processing, knowledge manipulation, machine learning, abstract intelligence, artificial intelligence, brain science, cognitive computers, computational linguistics, and computational intelligence.
ABSTRACT It is recognized in cognitive informatics [10, 12-14, 20, 25, 29, 30] that the core scientific knowledge of the mankind is mainly archived in mathematical forms [1, 2, 5-9, 10-39]. The entire set of fundamental and long-lasting problems in contemporary disciplines, such as, inter alia, intelligence science, robotics, knowledge science, information science, brain science, system science, software science, data science, neuroinformatics, cognitive linguistics, and computational intelligence, indicate that the aforementioned problems in nature are a hard mathematical problem where there is a lack of suitable mathematical means [3, 4, 8, 9, 12-14, 22, 25, 31, 39]. The current forms of analytic mathematics are inadequate to solve the complex problems in modern sciences and engineering when brain, mind, semantics, knowledge, intelligence, and systems become the objects, because none of them is in the domain of any type of numbers. This notion leads to the generic methodology known as mathematical engineering and the generic solution coined as denotational mathematics [15, 16, 21, 24, 25, 27, 30, 31]. Denotational mathematics (DM) is a category of novel mathematical structures as function of functions on hyperstructures () [24, 27, 31], beyond those of real numbers () and bits (), in order to formalize rigorous expressions and inferences [15, 16, 21, 24, 25, 27, 30]. In DM, the mathematical entities in hyperstructures, such as abstract objects, complex relations, neural clusters, big data, information, concepts, semantics, truth, knowledge, behavioral processes, causations, patterns, perceptions, memories, inferences, decisions, intelligence, and systems, are generally modeled as a typed n-tuple [31, 38]. The mathematical operators of DM are denoted by hyper functions, such as relational, reproductive, and compositional operators, on the hyperstructures. The framework of DM is shown in Fig. 1 where its paradigms are such as concept algebra [18], behavioral process algebra (RTPA) [11, 17], system algebra [38], semantic algebra [28], inference algebra [23], granular algebra [32], big data algebra [36], fuzzy truth algebra [37], and fuzzy probability algebra [34]. This keynote lecture presents the DM system for mathematical engineering and its applications in cognitive computing and computational intelligence particularly cognitive robotics. A cognitive robot is an autonomous robot Proc. 2015 IEEE 14th Int'l Conf. on Cognitive Informatics & Cognitive Computing (ICCI*CC’15) N. Ge, J. Lu, Y. Wang, N. Howard, P. Chen, ;7DRB. Zhang, & L.A. Zadeh (Eds.) 978-1-4673-7290-9/15/$31.00 ©2015 IEEE
Keywords: Cognitive informatics, denotational mathematics, mathematical engineering, abstract intelligence, cognitive robots, intelligence science, artificial intelligence, computational intelligence, cognitive computers, software science, knowledge science, soft computing, hyperstructures. ABOUT THE KEYNOTE SPEAKER 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, http://www.ucalgary.ca/icic/). 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
4
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 science 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.
The Theoretical Framework of Denotational Mathematics (DM)
New mathematical objects
Hyper system structures
Intelligence
New DM paradigms
New expressional needs
Concept algebra
New application fields
Intelligence science
System algebra
Concepts
Abstract system behaviors
Semantics
Knowledge manipulation
Behaviors Causations
Abstract intelligence
Neural clusters
Process algebra Semantic algebra
Efficient complexity handling
Patterns
Rigorous sys. modelling
Brain science
Inference algebra Big data algebra
Big data
Knowledge science
Fuzzy truth algebra Fuzzy probable algebra
System science Cognitive informatics Cognitive computers
Granular algebra
Systems Expressive sys. denotation
Memory
Visual semantic algebra
Software science
Figure 1. The framework of denotational mathematics
REFERENCES [1] [2] [3]
[4]
[5]
Mill, J.S. (1874), A System of Logic, Harper & Brothers, NY. [6] Newton, I. (1729), The Principia: The Mathematical Principles of Natural Philosophy, Benjamin Motte, London. [7] Russell, B. (1903), The Principles of Mathematics, W.W. Norton & Co., London. [8] Turing, A.M. (1950), Computing Machinery and Intelligence, Mind, 59, 433-460. [9] von Neumann, J. (1958), The Computer and the Brain, Yale Univ. Press, New Haven. [10] Wang, Y. (2002a), Keynote: On Cognitive Informatics, Fist IEEE International Conference on Cognitive
Aristotle (384 BC – 322 BC), Prior Analytics, translated by Robin Smith, Hackett, 1989. Boole, G. (1854), The Laws of Thought, Prometheus Books, NY., Reprint in 2003. McCarthy, J., M.L. Minsky, M.L., N. Rochester, and C.E. Shannon (1955), Proposal for the 1956 Dartmouth Summer Research Project on Artificial Intelligence, Dartmouth College, Hanover, NH, USA, http://www.formal.stanford.edu/jmc/history/dartmouth/ dartmouth.html. McCulloch, W.S. (1965), Embodiments of Mind, MIT Press, Cambridge, MA.
5
[11] [12] [13]
[14]
[15] [16]
[17]
[18]
[19]
[20] [21] [22] [23]
[24]
[25]
[26]
Informatics (ICCI’02), Calgary, Canada, IEEE CS Press, August, pp. 34-42. Wang, Y. (2002b), The Real-Time Process Algebra (RTPA), Annals of Software Engineering, 14, 235-274. Wang, Y. (2003), On Cognitive Informatics, Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neurophilosophy, 4(2), 151-167. Wang, Y. (2006), Keynote: Cognitive Informatics Towards the Future Generation Computers that Think and Feel, 5th IEEE Int’l Conference on Cognitive Informatics (ICCI'06), Beijing, China, July, pp. 3-7. Wang, Y. (2007), The Theoretical Framework of Cognitive Informatics, The International Journal of Cognitive Informatics and Natural Intelligence, IPI Publishing, USA, 1(1), 1-27. Wang, Y. (2008a), On Contemporary Denotational Mathematics for Computational Intelligence, Transactions on Computational Science, (2), 6-29. Wang, Y. (2008b), Keynote: On Abstract Intelligence and Its Denotational Mathematics Foundations, Proc. 7th IEEE International Conference on Cognitive Informatics (ICCI'08), Stanford University, CA, USA, IEEE CS Press, August, 3-13. Wang, Y. (2008c), RTPA: A Denotational Mathematics for Manipulating Intelligent and Computing Behaviors, International Journal of Cognitive Informatics and Natural Intelligence, 2(2), 44-62. Wang, Y. (2008d), On Concept Algebra: A Denotational Mathematical Structure for Knowledge and Software Modeling, Int’l Journal of Cognitive Informatics and Natural Intelligence, 2(2), 1-19. Wang, Y. (2009a), On Abstract Intelligence: Toward a Unified Theory of Natural, Artificial, Machinable, and Computational Intelligence, Int’l Journal of Software Science and Computational Intelligence, 1(1), 1-17. Wang, Y. (2009b), On Cognitive Computing, International Journal of Software Science and Computational Intelligence, 1(3), 1-15. Wang, Y. (2009c), Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing, Fundamenta Informaticae, 90(3), 282-303. Wang, Y. (2010), Cognitive Robots: A Reference Model towards Intelligent Authentication, IEEE Robotics and Automation, 17(4), 54-62. Wang, Y. (2011), Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (I), International Journal of Cognitive Informatics and Natural Intelligence, 5(4), 61-82. Wang, Y. (2012a), On Denotational Mathematics Foundations for the Next Generation of Computers: Cognitive Computers for Knowledge Processing, Journal of Advanced Mathematics and Applications, 1(1), 118-129. Wang, Y. (2012b), Keynote: Towards the Next Generation of Cognitive Computers: Knowledge vs. Data Computers, Proc. 12th International Conference on Computational Science and Applications (ICCSA'12), Salvador, Brazil, Springer, June, pp.18-21. Wang, Y. (2012c), On Abstract Intelligence and Brain Informatics: Mapping Cognitive Functions of the Brain
[27]
[28]
[29]
[30]
[31]
[32]
[33]
[34]
[35]
[36]
[37]
[38]
[39]
6
onto its Neural Structures, Int’l Journal of Cognitive Informatics and Natural Intelligence, 6(4), 54-80. Wang, Y. (2012d), In Search of Denotational Mathematics: Novel Mathematical Means for Contemporary Intelligence, Brain, and Knowledge Sciences, Journal of Advanced Mathematics and Applications, 1(1), 4-25. Wang, Y. (2013), On Semantic Algebra: A Denotational Mathematics for Cognitive Linguistics, Machine Learning, and Cognitive Computing, Journal of Advanced Mathematics & Applications, 2(2), 145-161. Wang, Y. (2014a), Keynote: From Information Revolution to Intelligence Revolution, Proc. 13th IEEE International Conference on Cognitive Informatics and Cognitive Computing (ICCI*CC 2014), London, UK, IEEE CS Press, Aug., pp. 3-5. Wang, Y. (2014b), Keynote: Latest Advances in Neuroinformatics and Fuzzy Systems, Proceedings of 2014 Int’l Conference on Neural Networks and Fuzzy Systems (ICNF-FS’14), Venice, Italy, March, pp. 14-15. Wang, Y. (2014c), Software Science: On General Mathematical Models and Formal Properties of Software, Journal of Advanced Mathematics and Applications, 3(2), 130-147. Wang, Y. (2014d), On Granular Algebra: A Denotational Mathematics for Modeling Granular Systems and Granular Computing, Journal of Advanced Mathematics and Applications, 3(1), 60-73. Wang, Y. (2015a), Towards the Abstract System Theory of System Science for Cognitive and Intelligent Systems, Springer Journal of Complex and Intelligent Systems, 1(1), in press. Wang, Y. (2015b), On the Theory of Fuzzy Probability for Fuzzy System Modeling and Cognitive Computing, Journal of Advanced Mathematics and Applications, 4(1), in press. Wang, Y. (2015c), Keynote: On Cognitive Robotics and Theories of Abstract Intelligence, 3rd International Conference on Automatic Control, Soft Computing and Human-Machine Interaction (ASME '15), Salerno, Italy, June, in press. Wang, Y. (2015d), Keynote: Big Data Algebra: A Rigorous Approach to Big Data Analytics and Engineering, 17th International Conference on Mathematical and Computational Methods in Science and Engineering (MACMESE '15), Kuala Lumpur, April, in press. Wang, Y. (2015e), Towards a Fuzzy Logical Algebra (FLA) for Formal Inferences in Cognitive Computing and Cognitive Robotics, 14th IEEE International Conference on Cognitive Informatics and Cognitive Computing (ICCI*CC 2015), Tsinghua University, Beijing, China, IEEE CS Press, July, in press. Wang, Y. (2015), A Mathematical Theory of System Science: System Algebra for Formal System Modeling and Manipulations, Journal of Advanced Mathematics and Applications, 4(2), in press. Zadeh, L.A. (1965), Fuzzy Sets and Systems, in J. Fox ed., Systems Theory, Polytechnic Press, Brooklyn NY, pp. 29-37.