Studying the possibility of things' expansion and the laws and methods of innovation, and solving contradictory problems, is different from the vertical disciplines such as biology, mechanics and electrotechnics, and is a cross-cutting discipline similar to mathematics, system theory, information theory and cybernetics.

Extenics is an interdisciplinary subject, its basic theory is Extenics, and its unique method is Extenics.

Extension engineering is the application of extension theory and extension method in various fields. The research began in 1976 and the first paper was published in 1983.

At present, a preliminary theoretical framework has been formed, and application methods in artificial intelligence, computer, management, control, detection and other fields have been established. There are many contradictions in the real world, such as using a scale weighing at most 2 kilograms, but weighing several tons of elephants. The public security department relies on a small amount of information, but it has to solve complex cases. Inventors have to conceive complex new products according to a small amount of functional requirements, and the road system driving on the left and the road system driving on the right should be connected into a large system.

these problems are ubiquitous in people's lives and work.

human society has developed in dealing with various contradictions. By summarizing the manifestations and handling methods of various contradictions throughout the ages, through formalization, logicalization and mathematicization, an original knowledge, extension, has been formed.

Extenics is a science that studies the possibility of things' expansion and the laws and methods of innovation with formal models, and uses them to solve contradictory problems.

In layman's terms, extenics studies the theory and method of producing creativity, which becomes the theoretical basis and method source of producing creativity.

the research object of extenics is contradiction, the basic theory is extension theory, the method system is extension methods (because these methods are especially suitable for innovation, they are also called extension innovation methods), and the logical basis is extension logic, which is combined with various fields to form extension engineering.

extension theory, extension innovation method and extension engineering constitute extension science.

Appraisal Committee headed by Academician Wu Wenjun of China Academy of Sciences and Academician Li Youping of China Academy of Engineering appraised "Extension Theory and Its Application Research".

Appraisal opinion: Research on Extension Theory and Its Application summarizes the manifestations and handling methods of various contradictions throughout the ages, and forms an original knowledge through formalization, logicalization and mathematicization.

extenics. The popularization and application of extenics has formed "extension engineering method".

Since p>1988, the National Natural Science Foundation has supported the research of extenics with six projects.

this project is a synthesis of the theoretical framework and method system of extenics for more than 2 years.

In this project, things, events and relationships are described in formal language, and the formal methods for resolving contradictions are studied, so that the laws and logics expressed in natural language in philosophy are transformed into a method system that can be operated and handled by computers.

we haven't seen anyone at home and abroad do such a comprehensive and in-depth similar work.

We all agree that this is an original achievement worthy of support, reward and continuous development.

Primitive theory, extension set theory and extension logic are the three pillars of extension theory.

Among them, the primitive theory describes the object of study by matter element, matter element and relation element, and the extension set theory is a creation after Cantor set and fuzzy set. It expands the concept of distance in real variable function, introduces the correlation function tool to describe the change of objective things, and provides quantitative means to express the transformation of contradictory problems. Extension logic is the scientific integration of dialectical logic and formal logic.

this project provides the basic theory and method for computer-aided engineering to deal with contradictory problems.

It has been preliminarily applied in the fields of control and detection, artificial intelligence and computer, economy and management, etc., indicating that the extension method will have a broad application prospect in the field of engineering technology.

in the aspect of artificial intelligence, a new model describing information and knowledge is established in this project, which provides an operable method for generating strategies.

To sum up, after more than 2 years of continuous research, Professor Cai Wen and others have established a new discipline-Extenics, which spans philosophy, mathematics and engineering. It is an original discipline with far-reaching value established by Chinese scientists themselves and should be supported and rewarded.