报  告  人：王迎旭 教授，[加拿大卡尔加里大学]
报告时间：05月 26日（周一）9: 00～11: 00
报告地点：计算机学院大楼1001室
邀  请  人：骆祥峰 研究员
内容摘要：Denotational mathematics is a category of complex mathematical structures that deals with high-level mathematical entities with hyperstructures beyond number and sets, such as abstract objects, complex relations, perceptual information, abstract concepts, knowledge, intelligent behaviors, behavioral processes, formal semantics, and systems. Fuzzy denotational mathematics (FDM) is the foundation for rigorous expression and manipulation of fuzzy objects and uncertain inference. FDM fuzzilizes almost all branches of conventional mathematics such as fuzzy arithmetic, fuzzy matrix algebra, fuzzy probability, fuzzy calculus, fuzzy concept algebra, and fuzzy semantic algebra, in order to rigorously deal with fuzzy inferences and fuzzy semantics analysis in fuzzy systems [Zadeh, 1965], cognitive computers [Wang, 2009, 2012], and cognitive robots [Wang, 2010]. Fuzzy inference is rigorously modeled in inference algebra [Wang, 2011], which recognizes that humans and fuzzy cognitive systems are not reasoning on the basis of probability of causations rather than formal algebraic rules. Therefore, a set of fundamental fuzzy operators, such as those of fuzzy deductive, inductive, abductive, and analogy, is formally elicited. Fuzzy semantics is quantitatively modeled in semantic algebra [Wang, 2013], which formalizes the qualitative semantics of natural languages in the categories of nouns, verbs, and modifiers (adjectives and adverbs). Fuzzy semantics formalizes nouns by concept algebra [Wang, 2010], verbs by behavioral process algebra, and modifiers by fuzzy semantic algebra. A wide range of applications of fuzzy denotational mathematics have been implemented in cognitive computing, and artificial intelligence.
Brief Biography: Yingxu Wang is professor of cognitive informatics and denotational mathematics, President of International Institute of Cognitive Informatics and Cognitive Computing (ICIC, http://www.ucalgary.ca/icic/) at the University of Calgary. 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 received a PhD in computer science from the Nottingham Trent University, UK. He was visiting professors on sabbatical leaves at Oxford University (1995), Stanford University (2008), University of California, Berkeley (2008), and MIT (2012), respectively. 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 International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), founding Editor-in-Chief of International Journal of Software Science and Computational Intelligence (IJSSCI), Associate Editor of IEEE Trans. on SMC (Systems), and Editor-in-Chief of Journal of Advanced Mathematics and Applications (JAMA). Dr. Wang is the initiator of a few cutting-edge research fields such as cognitive informatics, denotational mathematics, cognitive computing, cognitive knowledge base, fuzzy mathematics (fuzzy arithmetic , fuzzy functions, fuzzy probability theory, fuzzy statistics, and fuzzy inference algebra), and basic studies in neuroinformatics, software science, cognitive linguistics, and computational intelligence. He has published over 160 peer reviewed journal papers, 230+ peer reviewed conference papers, and 25 books in denotational mathematics, cognitive informatics, software science, and computational intelligence. He is the recipient of dozens international awards on academic leadership, outstanding contributions, best papers, and teaching in the last three decades.