CHENG, Jingde    Teaching Professor



Room 610-5, Building 10, Innovation Park

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