|Speaker:||Prof. Boris Stilman|
Professor of Computer Science
College of Engineering and Applied Sciences
University of Colorado Denver
|Date & Time:||19 Dec 2016 (Monday) 11:00 - 12:00|
|Venue:||E11-4045 (University of Macau)|
|Organized by:||Department of Computer and Information Science|
A hypothesis about the structure of the Primary Language of the human brain (whose existence was hypothesized by J. von Neumann in 1957) is introduced. The Primary Language is the Language of Visual Streams (mental movies). It empowers all the human symbolic languages and sciences. I will talk about the details of communication between the primary and conventional science and demonstrate examples of such communication. The visual streams operate via multiple thought experiments. There are various types of streams including communication and internal streams as well as mundane and science streams. The communication streams include expression and impression streams. The expression streams pass information from the internal streams to the outer world via converting it into the strings of symbols. The science streams may generate new knowledge because they include the discovery streams controlled by the Algorithm of Discovery. For several years we have been developing the hypothesis that there exists a universal Algorithm of Discovery, the ultimate tool for discovering new algorithms and perfecting the existing ones. I will explain foundations of the Algorithm of Discovery, which is based on multiple thought experiments manifesting themselves via visual streams. Those streams are divided into several sub-classes, Observation, Construction, and Validation. Within each subclass the streams could be grouped into themes. The streams can run concurrently and can exchange information between each other. They may initiate additional thought experiments, “program” them, and execute them in due course. As a rule, the discovery process requires execution of several streams and, it appears, that switch from experiments of one theme to another is the most complex task when executing the Algorithm of Discovery. I will introduce several examples of applying the Algorithm of Discovery.
Dr. Boris Stilman (Denver, Colorado) (Ph.D. in Computer Science and Ph.D. in Electrical Engineering, National Research Institute for Electrical Engineering, Moscow, 1984; M.S. in Mathematics, Moscow State University, 1972) is the company's Chairman & CEO and a Founder of STILMAN. Since 1991, Boris has been a Professor (see his resume) at the University of Colorado at Denver (UCD). Dr. Stilman is the originator of Linguistic Geometry (LG), a new type of game theory, which resulted from his research over the last 30 years. He is an internationally known scientist in the field of Artificial Intelligence. He made fundamental contributions in the areas of higher-dimensional multi-agent concurrent games, game constructors, and software development environments. He has published several books and contributions to books, over 160 journal and conference papers. The first scholarly book on LG, "Linguistic Geometry: From Search to Construction", by Dr. Stilman was published in February of 2000. Boris has given numerous invited presentations and tutorials on LG all around the world and organized major national and international research meetings. Dr. Stilman has been a recipient of numerous research awards. In the 70s and 80s, he received substantial grants from the former USSR Academy of Sciences, Control Data Corp. (USA), Universities of Mannheim and Dortmund (West Germany). Dr. Stilman is a recipient of all the top research awards at UCD, the 1998 Researcher of the Year, the 1997 Chancellor's Lecturership Award, and the 1997 Research Fellowship Award. His research on LG was supported by substantial grants from the Air Force Office of Scientific Research (AFOSR, through Phillips Laboratory), Department of Energy (DOE, through Sandia National Laboratories), Defense Advanced Research Projects Agency (DARPA) through Rockwell Science Center (RSC). His role as the world leader in LG was the key to getting US contracts for STILMAN from DARPA, Joint Forces Command (JFCOM), Missile Defense Agency (MDA), Air Force, Army, Navy, Boeing, Rockwell, as well as international contracts from Ministry of Defence (UK), BAe SYSTEMS (UK) and Fujitsu (Japan). Dr. Stilman has led a number of national projects in the former Soviet Union, government-funded projects at UCD in the USA, and all the government and commercial projects developed by STILMAN.