Theme: Cross-culture Study on the Computational Logic for Artificial Intelligence

Keynote Speaker: Professor Ren Xiaoming

Time: 16:15, May 22, 2025 (Thursday)

Venue: Coffee Beanery

Keynote Speaker: Professor Ren Xiaoming is a Professor at the School of Philosophy, Nankai University, Adjunct Research Fellow at the Logic Teaching and Research Program of the School of Philosophy, Nankai University, and the Institute of Logic and Cognition, Sun Yat-sen University. He is now an Endowed Chair Professor  in the Department of Philosophy, Sichuan University. His main research orientations are Inductive Logic and Computational Logic for Artificial Intelligence.

Main content:
Oriental logic, rooted in the unique linguistic and cultural context of Eastern civilization, possesses its own distinct characteristics. Both Oriental logic and Computational Logic for Artificial Intelligence are applied logics grounded in empirical traditions, integrating formal truth with substantive adequacy, and encompassing a broad spectrum of logics where classical deductive logic, non-classical deductive logic, and non-deductive logic coexist. As a logic of discovery, Computational Logic for Artificial Intelligence has an edge over Oriental logic, while Oriental logic demonstrates superiority in integrating "qi" (technical implementation) and "dao" (philosophical grounding).