Title :
On the application perspective of medium logic calculus (ML) and medium axiomatic set theory (MS)
Author_Institution :
Nanjing Aeronaut. Inst.
Abstract :
The author contends that the fifth generation of computers must be based on a new logic, i.e. intelligent logic which takes medium states into account. It is argued that medium logic calculus (ML) and medium axiomatic set theory (MS) can provide this foundation. It is suggested that ML and MS can provide a theoretical foundation for expert systems and advance the techniques of pattern recognition, graphic analysis, artificial intelligence, intelligent robot computer vision, etc
Keywords :
formal logic; artificial intelligence; expert systems; graphic analysis; intelligent logic; intelligent robot computer vision; medium axiomatic set theory; medium logic calculus; pattern recognition; Application software; Artificial intelligence; Calculus; Computer graphics; Expert systems; Intelligent robots; Logic; Pattern analysis; Pattern recognition; Set theory;
Conference_Titel :
Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
Conference_Location :
Guangzhou
Print_ISBN :
0-8186-1947-3
DOI :
10.1109/ISMVL.1989.37799