Opinion of Appraise and Suggestion of Declaring Rewarding Prize

 

“Research on Extension Theory and its Application” summarizes the manifestation of all kinds of contradictory phenomenon and the methods to deal with them. Through formalization, logiclization and mathematization, Extenics, an originally-created branch of ology is formed. Its spreading and applications of Extenics form “Extension Engineering Methods”.

Since 1988, National Natural Science Foundation of China has supported the research of Extenics with 6 projects. This project is the synthesis of the fruit of research during the last 20 years including the theoretical frame and methodological system.

This project describes the matter, affair and relationship with formalized language, researches the formalized methods to deal with contradictory problems, and transforms the rule and logic which are expressed in natural language in philosopher to the methodological system which can be operated and done in computers. We have never seen someelse at home and abroad doing such similar job as comprehensive and deep as it so far.

We consider unamiously that it is a originally-created fruit deserving supporting, rewarding and developing continually.

Basic-element theory, extension set theory and extension logic are the three pillars of extension theory. Basic-element theory describes the studied objects with matter-element, affair-element and relation-element. Extension set theory is a creation after Cantor set and Fuzzy set. It extends the concept of “distance” in real variable function is extended to “new-distance” and introduces the dependent function which describing the characteristic change of objective things, so provides quantitative means to express the transformation of contradictory problems. Extension logic is the scientific collection of dialectical logic and formal logic.

This project provides basic theory and basic methods to make computers can help deal with contradictory problems of engineering fields. Up till now, it has been applied initially in controlling and checking, AI and computer, economic and management and so on. That show that extension methods will have broad application prospects in fields of engineering technology.

In AI, this project establishes a sort of new model describing information and knowledge and provides a operable method with generating strategies.

To sum up, through more than 20-years continuous research, Prof. Cai wen, etc, has establishing a new subject, Extenics, which tranvege philosophy, maths and engineering. It is a originally-created subject established by Chinese scientists with profound value.

 

The director of appraisal committee

The academician of Chinese Academy of Sciences

Wu Wenjun

 

The vice-director of appraisal committee

The academician of Chinese Academy of Engineering

Li Youping

 

The List of Appraisal Committee