preparationofpapersinatwo-columnformatforthe21stannual(编辑修改稿)内容摘要:
of System and Applied Mathematics, China Academy of Sciences Wu Wenjun, born in Shanghai in May 1919, was graduated from Shanghai Jiaotong University in 1940. In 1947, he went to France for advanced study in University of Strassbourg. In 1949, he obtained his national doctor39。 s degree of France. In 1957, he was elected as an academician of China Academy Sciences (CAS). In 1990, he was elected as an academician of the Third World Academy of Sciences. From 1952 to 1979, he served as the vice president of CAS Institute of Mathematics. From 1979 to now, he was the vice president of CAS Division of Mathematics amp。 Physics, honored president and researcher. In 1984, he was elected as president of the Chinese Society of Mathematicians. Wu is a famous mathematician. His research work covered a wide area of mathematics. As a disciplinary precursor, Wu made monumental contributions to the field of topology by introducing Wu39。 s imbedding and characteristic classes and establishing Wu39。 s Formulae, Wu39。 s character category and Wu39。 s qian category, which have been widely accepted by his counterparts and had exerted worldwide influence. In the late 1970s, with the rapid development of puter technology, he enriched his prolific personal career by opening a new horizon in mathematics mechanization. In the field of mathematics mechanization, Wu suggested a puterized method for proving geometrical theorems, known as Wu39。 s method in the international munity. In line with the conventional approach in traditional Chinese mathematics, a geometric proble m is converted into an algebraic problem. Different from the logical approach, Wu39。 s approach realizes highly effective proving of geometric theorems on a portable calculator, displaying an unmatched superiority in putational effectiveness. His work in this aspect is widely known as a harbinger in automated reasoning and in 1997, he was conferred a Herbrand Prize for Distinguished Contributions to Automated Reasoning. Because of his meritorious service and creative work, he won a top prize of the 1956 National Awards for Natural Sciences, the first of its kind in the history of the People39。 s Republic of China. In 1993, he was conferred with a prize from Chen Jiageng (Tan Kahkee) Awards for Mathematics amp。 Physics, and in the next year, he became a laureate of the prize for outstanding scientists granted by Hong Kong39。 s Qiushi Samp。 T Foundation. In 1993, he received the Herbrand Award for Distinguished Contributions to Automated Reasoning. As one of the two laureates for China39。 s Supreme Scientific and Technological Award, Prof. Wu Wenjun received the country39。 s top award in science and technology in 2020. Wu loves his motherland China. He39。 s scientist of nobility, a distinguished person in mathematics. In more than 50 years, he worked at the frontier of mathematic research and achieved a lot of original progress. 6 A New Frontier in Computation—Computation with Information Described In Natural Language Lotfi A. Zadeh Graduate School, Computer Science Division, Department of Electrical Engineering and Computer Sciences ,University of California,Berkeley, CA 94720 1776 Berkeley Initiative in Soft Computing (BISC) What is meant by Computation with Information Described in Natural Language, or NLComputation, for short? Dose NLComputation constitute a new frontier in putation? Do existing bivalentlogicbased approaches to natural language processing provide a basis for NLComputation? What are the basic concepts and ideas which underlie NLComputation? These are some of the issues which are addressed in the following. What is putation with information described in natural language? Here are simple examples. I am planning to drive from Berkeley to Santa Barbara, with stopover for lunch in Monterey. It is about 10 am. It will probably take me about two hours to get to Monterey and about an hour to have lunch. From Monterey, it will probably take me about five hours to get to Santa Barbara. What is the probability that I will arrive in Santa Barbara before about six pm? Another simple example: A box contains about twenty balls of various sizes. Most are large. What is the number of small balls? What is the probability that a ball drawn at random is neither small nor large? Another example: A function, f, from reals to reals is described as: If X is small then Y is small。 if X is medium then Y is large。 if X is large then Y is small. What is the maximum of f? Another example: Usually the temperature is not very low, and usually the temperature is not very high. What is the average temperature? Another example: Usually most United Airlines flights from San Francisco leave on time. What is the probability that my flight will be delayed? Computation with information described in natural language is closely related to Computing with Words. NLComputation is of intrinsic importance because much of human knowledge is described in natural language. This is particularly true in such fields as economics, data mining, systems engineering, risk assessment and emergency management. It is safe to predict that as we move further into the age of machine intelligence and mechanized decisionmaking, NLComputation will grow in visibility and importance. Computation with information described in natural language cannot be dealt with through the use of machinery of natural language processing. The problem is semantic imprecision of natural languages. More specifically, a natural language is basically a system for describing perceptions. Perceptions are intrinsically imprecise, reflecting the bounded ability of sensory ans, and ultimately the brain, to resolve detail and store information. Semantic imprecision of natural languages is a co。preparationofpapersinatwo-columnformatforthe21stannual(编辑修改稿)
阅读剩余 0%
本站所有文章资讯、展示的图片素材等内容均为注册用户上传(部分报媒/平媒内容转载自网络合作媒体),仅供学习参考。
用户通过本站上传、发布的任何内容的知识产权归属用户或原始著作权人所有。如有侵犯您的版权,请联系我们反馈本站将在三个工作日内改正。