On November 1, the national "Wu Wenjun Award for Highest Achievement in Artificial Intelligence" was unveiled in Beijing. Lu Ruyin, a researcher at the Institute of Mathematics and System Sciences of the Chinese Academy of Sciences and a member of the Chinese Academy of Sciences, became the first and only recipient of the "Wu Wenjun Award for Highest Achievement in Artificial Intelligence" for his systematic and creative work in knowledge engineering and knowledge-based software engineering, as well as his pioneering contributions in the field of large knowledge.

Ltd. formally signed the "academician workstation entry agreement", which aims to play the role of academician experts' technology leadership, help enterprises break through key technical constraints, promote close cooperation between industry, academia and research, consolidate and expand the network of the Association for Science and Technology, improve the independent innovation capability of enterprises, drive the growth of scientific and technological innovation talents, and accelerate the transformation of the local old and new dynamics. This is also the only enterprise academician workstation that Lu Ru Inscription has signed up to participate in so far, reflecting his love for Dexing and his support for its development.

Jiangxi with the sharp intelligent technology limited company by the Chinese private science and technology industrialists association executive vice president, Tsinghua University, the executive director of the management of the Internet Association, Beijing Shangrao business chamber of commerce executive chairman, Beijing Dexing business chamber of commerce president, country friend Shu gallop founded in our city last year. The company specializes in the development, production, sales and service of intelligent inspection robots and security robots, with an annual production capacity of 320 units and 1,500 intelligent robots after reaching production in the future. With the establishment of the Rui technology artificial intelligence (Jiangxi) academician workstation, will be guided by the technical needs of artificial intelligence, intelligent robotics, joint research know pieces of technology and its application in the field of intelligent robotics and other fields, promote the transformation of scientific and technological achievements and industrialization, enhance and transform the traditional manufacturing industry.

▍ Academician Ruth Lu was awarded for.

Ruth Lu has done systematic and creative work in artificial intelligence, knowledge engineering, and knowledge-based software engineering. Designed and led the development of the knowledge engineering language TUILI and the large-scale expert system development environment "Tianma". The first introduction of heterogeneous DAI and machine debate to the field of artificial intelligence. Research on automatic knowledge acquisition methods based on natural language understanding-like and development of automatic knowledge-based application software generation techniques. Researched and led the implementation of a set of full-process computer-aided animation automatic generation techniques, advancing artificial intelligence methods and techniques and making pioneering work in the field of artistic creation. In recent years, he has proposed and systematically developed a set of development ideas such as knowledgeware and knowledgeware engineering, as well as knowledgeware and software co-engineering, etc. He has given the 10 MC characteristics of big knowledge for the first time in the international arena and conducted a systematic study, and actively advocated and promoted the development of China's knowledge industry. As one of the pioneers and pioneers in the field of artificial intelligence in China, Lu Ru Ins has made systematic and innovative achievements in knowledge engineering, especially in the automatic generation of full-process animation, expert system development environment, automatic software generation, Turing test for children, knowledge pieces, and large knowledge feature carving, etc. He was awarded the first "Wu Wenjun Award for Highest Achievement in Artificial Intelligence" in China.

(i) Dive into research

Lu Ru-ins, who was engaged in the early research of multivariate complex function theory, first established the theory of harmonic functions on a large class of nonsymmetric recursive domains, which positively answered the academic doubts about whether the theory of harmonic functions on nonsymmetric recursive domains could be established after the famous Cartan conjecture was disproved. He advocated and chaired a series of software projects aimed at software mechanics generation and automatic portability (XR Project), proposed a generalized priority grammar that can unify various types of priority grammars, gave effective analysis algorithms and corresponding correctness proofs, and achieved a series of significant fundamental theoretical results.

Lu Ru Inscription graduated with a bachelor's degree in mathematics from the University of Jena, Germany, in 1959, and has worked at the Institute of Mathematics of the Chinese Academy of Sciences since the same year. He was a researcher at the Institute of Mathematics in 1983, a doctoral supervisor from 1984, director of the Computer Science Research Unit from 1980-1987, deputy director and acting director of the Institute of Mathematics from 1987-1990, and head of the Academic Committee of the Institute of Mathematics from 1991-1994. He was elected as a member of the Chinese Academy of Sciences in 1999. He is currently a researcher at the Institute of Mathematics and System Sciences, Chinese Academy of Sciences.

With artificial intelligence, knowledge engineering and knowledge-based software engineering as his main research directions, Academician Lu Ru-ins has made systematic and creative work and is one of the pioneers of research in this field in China. At the same time there are broader research interests.

From 1959 to 1963, Lu studied under Academician Hua Luogeng at the Institute of Mathematics and worked on multivariable complex function theory under the guidance of Academician Lu Qikang. The main early work was in the field of computer science from 1972, developing an improved version of the Algol60 compiler on the DJS-21 in 1972-1974. Advocated and chaired the series of software projects aimed at mechanical generation and automatic portability of software (XR Project) from 1975-1981, during which he proposed a generalized priority grammar that could unify various types of priority grammars, gave effective analysis algorithms and corresponding correctness proofs.

In formal semantics, R. Lu studied logical semantics, algebraic semantics and distributional semantics, proving the equivalence of model-theoretic semantics and minimal immutable point semantics for arbitrary sets of Horn clauses. A primitive algebraic semantics capable of describing dynamic control structures is given. The maximum true concurrent structure of the algorithm is obtained by extending the flat Petri net into a multi-page Petri/Riemann net (P/R net) as a process model.

(ii) Innovative applications

Ruth Lu is an international pioneer in the study of heterogeneous distributed artificial intelligence (DAI), introducing machine debate to artificial intelligence. Designed and led the implementation of distributed logic reasoning and distributed reasoning-based urban traffic management software and other resultant applications, all making significant and outstanding contributions.

Ruth Lu has also done systematic and creative work in artificial intelligence, knowledge engineering, and knowledge-based software engineering. 1982-1984 Designed and led the development of TUILI, a modular knowledge engineering language that integrates logical processes and generative forms. The first international research on heterogeneous distributed artificial intelligence (DAI) introduced machine debate to artificial intelligence in 1985. Design and lead the implementation of distributed logic reasoning and urban traffic management software based on distributed reasoning. From 1987 to 1990, he presided over the National Seventh Five-Year Plan Project "Expert System Development Environment" and completed the development of the large-scale expert system development environment "Tianma", which was applied in more than 20 fields of national defense and economy. The Pseudo-Natural Language Understanding (PNLU) method was proposed in 1988 as a simple but effective technique for automatically acquiring knowledge from written language materials to rapidly construct knowledge-based systems. 1994-1997 researched common sense issues and designed and built a large agent- and ontology-oriented common sense knowledge base, Pangaea. On this basis a juvenile Turing test system and a successful juvenile Turing test were implemented. The development of artificial intelligence in the field of artistic creation by proposing a set of techniques for the automatic generation of full-process computer-supported animation, "The Swan", 1990-1995.

In 2005, Lu proposed the concepts of "knowledgeware" and "knowledge middleware" as an independent commercialization form of domain knowledge separated from software. It also further investigates knowledgeware engineering, knowledgeware-based software engineering, software/knowledgeware co-engineering and its lifecycle model. A lattice valued quantum finite automaton based on quantum logic is extended to give and prove a generalized pump priming theory on it. It is proved that the entire class of quantum automata on Hilbert space constitutes a true inclusion spectrum for complex space dimension n. The algebraic semantics of the quantum process algebra is investigated and it is shown that two quantum process algebra bisimulations are isomorphic when and only when the corresponding seed algebra is deep.

(iii) Achievement of excellence

Lu Ru Inscription has given the first 10 MC features of big knowledge in the world and conducted a systematic study, giving the qualitative and quantitative reference standards of each MC feature, and further giving the initial definition of big knowledge engineering and its lifecycle model, which is a groundbreaking and latest research result.

Lu Ru Inscription has published more than two hundred papers and authored and edited more than ten published works. One of the two volumes, Artificial Intelligence, has had a large impact in the country and is used as a textbook in many universities. Formal Semantics of Computer Languages and its two expanded volumes, Formal Semantics of Computing Systems, systematically summarize the results in this area. Knowware the third star after hardware and software provides a comprehensive international overview of the innovative ideas and research results of Knowware. Software Porting: Principles and Techniques, Expert Systems Development Environment, Domain modeling based software engineering-a formal Approach, and Automatic generation of computer animation systematically summarize the four projects XR Project, Skyhorse, Skyhawk, and Swan and related results, respectively. An Introduction to Algol68 is the only monograph in the country that examines the Algol68 language. In all these monographs, in both English and Chinese, Lu Ru Inscription is the sole/first author. Lu Ru-ins presided over the compilation of the Third Edition of Computer Science and Technology Terminology and won the Outstanding Contribution Award of the Chinese Computer Society. The need to derive big knowledge from big data has gradually been mentioned internationally after a lively discussion of big data, but no one has yet conducted specific research on big knowledge. Recently, Lu Ru Inscription has given the 10 MC features of big knowledge for the first time in the world and conducted a systematic study, giving the qualitative and quantitative reference standards of each MC feature and further giving the initial definition of big knowledge engineering and its life cycle model, which is the latest research result of Lu Ru Inscription.

Lu Ru Inscription received the Advanced Collective Award of the National Science Congress in 1978, the First Prize for Major Achievements of the Chinese Academy of Sciences in 1983, and was named a national young and middle-aged expert with outstanding contributions in 1988. He received the First Prize of Science and Technology Progress of the Chinese Academy of Sciences in 1992, the Second Prize of National Science and Technology Progress in 1993, the Hua Luogeng Prize in Mathematics in 2003, and the Lifetime Achievement Award of the Chinese Computer Society in 2014. In addition, he was awarded the first, second and third prizes for his popular science writing, and was twice honored at the third and fourth congresses of the Chinese Association of Popular Science Writers as "a popular science writer with outstanding achievements since the founding of the country, especially since the establishment of the Association of Popular Science Writers". All of these awards have Ruth Lu as the sole/first recipient.

This time, Academician Lu Ru Inscription received the Wu Wenjun Award for Highest Achievement in Artificial Intelligence from the Chinese Society for Artificial Intelligence, the highest honor he has received for his years of hard work in the field of artificial intelligence.

Recommended>>
1、BigSwitch Data Center Switching Architecture Supports vSphere Containers
2、javascript objectoriented techniques
3、How will BCH balance smart contract efficiency and security as EOS security breach rears its ugly head
4、 NET and JAVA crossplatform we are looking forward to But is it easy
5、Using genetic algorithms to find function maxima II selection crossover and variation

已发送

发送中