CHENG Jingde
Teaching Professor
2018 , Professor Emeritus, Saitama University , Japan

Research Area:

Relevant Reasoning and Strong Relevant Logic, Epistemic Model of Scientific Discovery, Epistemic Programming and Systems, Automated Theorem Finding, Persistent Computing Systems and Soft System Bus Architecture, Anticipatory Reasoning-Reacting Systems, Automated and Intelligent Information Security Engineering

Educational Background

◆ 1986-1989,Kyushu University, Japan,Doctor of Engineering

◆ 1984-1986,Kyushu University, Japan,Master of Engineering

◆ 1978-1982,Tsinghua University,Bachelor of Engineering

Professional Experience

◆ 2018,Teaching Professor, Southern University of Science and Technology, China

◆ 1999-2018,Professor, Saitama University, Japan

◆ 1996-1999,Professor, Kyushu University, Japan

◆ 1991-1996,Associate Professor, Kyushu University, Japan

◆ 1989-1990,Research Associate, Kyushu University, Japan

◆ 1982-1989,Research Associate, TsingHua University, China

Honors & Awards

◆ 2018,Professor Emeritus, Saitama University, Japan

◆ 2012,The Leading Scientific and Technological Entrepreneurs in Nanjing, China

◆ 2007,ACM Senior Member

◆ 1987,Young Researcher Award, JPSJ, Japan

◆ 1982,Best Graduate Award, TsingHua University, China

Selected Publication

1. J. Cheng, "Relevant Reasoning and Strong Relevant Logic" (Invited Paper), Science & Technology Review, Vol. 34, No. 7, pp. 39-47, Science and Technology Review Publisheng, April 2016 (in Chinese).

2. J. Cheng, "Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning," in Y. Kiyoki, J. Henno, H. Jaakkola, and H. Kangassalo (Eds.), "Information Modelling and Knowledge Bases XVII," Frontiers in Artificial Intelligence and Applications, Vol. 136, pp. 310-320, IOS Press, February 2006.

3. J. Cheng,"Temporal Relevant Logic as the Logical Basis of Anticipatory Reasoning-Reacting Systems" (Invited Paper), in D. M. Dubois (Ed.), "Computing Anticipatory Systems: CASYS 2003 - Sixth International Conference, Liege, Belgium, 11-16 August 2003," AIP Conference Proceedings, Vol. 718, pp. 362-375, The American Institute of Physics, August 2004. (Best Paper Award awarded at the 6th International Conference on Computing Anticipatory Systems)

4. J. Cheng,"A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery," in E. Kawaguchi, H. Kangassalo, H. Jaakkola, and I. A. Hamid (Eds.), "Information Modelling and Knowledge Bases XI," Frontiers in Artificial Intelligence and Applications, Vol. 61, pp. 136-159, IOS Press, February 2000.

5. J. Cheng, "Slicing Concurrent Programs - A Graph-Theoretical Approach," in P. A. Fritzson (Ed.), "Automated and Algorithmic Debugging," Lecture Notes in Computer Science, Vol. 749, pp. 223-240, Springer, November 1993.

Other personal publications and publications with co-authors can be found at http://www.aise.ics.saitama-u.ac.jp/~cheng/pub.html