Preliminary Research Projects

1.Biological Archaeology from the Perspective of Artificial Intelligence: Data Mining in Stable Isotope.
人工智能视域下稳定同位素生物考古数据挖掘与研究

  • Prof. Beishui Liao, School of Philosophy will be in collaboration with Prof. Yi Guo, College of Art and Archaeology (艺术与考古学院).

Ongoing Projects

1. Research on Logics for New Generation Artificial Intelligence (LNGAI)
人工智能驱动下的逻辑学研究

  • This project (2021-2025) is led by Beishui Liao, granted by the Key Program of the National Social Science Foundation of China (国家社科基金重大项目), No. 20&ZD047. There are over 35 investigators involved across China and abroad, with Yì N. Wáng, Bin Wei, Xinguo Dun, Jianhua Dai, and Leendert van der Torre as subproject leaders.
  • The main objectives of this project are to develop theories and techniques of non-monotonic logics and formal argumentation and apply them to causal reasoning, knowledge graph reasoning, and norms and value reasoning, in an open, dynamic and real environment.
  • Website: LNGAI – Logic for the New Generation AI

2. Intelligent Strategy Optimization in Dynamic Game with Incomplete Information

非完全信息动态博弈中的智能策略优化

  • The project is scientific and technological innovation 2030 – “new generation artificial intelligence” major project (2019-2023), granted by Ministry of science and technology of China (国家科技部科技创新2030-“新一代人工智能”重大项目).
  • It is proposed and led by Tsinghua University. Prof. Beishui Liao is the leader of one of sub-topics which concerns about efficient algorithms of dynamic game based on graph theory.

3. ZJU-Cambridge Logic in AI

浙江大学-剑桥大学：人工智能中的逻辑

  • The Institute of Logic and Cognition (ILC) at Zhejiang University and the Leverhulme Centre for the Future of Intelligence at the University of Cambridge (剑桥大学未来智能研究中心) initiated a joint project on Logic in AI in 2019. It is dedicated to promoting various forms of academic collaborations, including research, teaching, and other academic activities.
  • It is currently led by Prof. Beishui Liao from Zhejiang University and Prof. Huw Price from the University of Cambridge. This project is financially supported by Zhejiang University Global Partnership Fund.
  • Website: ZJU-Cambridge Logic in AI

4.High-end Foreign Experts Importing Program

科技部“高端外国专家引进计划”

  • It is supported by Ministry of science and technology of China with 2-year cycle. Prof. Beishui Liao successfully applied for a two-year program from 2020-2022.
  • Several distinguished foreign professor are invited to present lectures, courses and seminars online, such as Dov Gabbay of King’s College London (伦敦国王学院), Mehdi Dastani and John Jules Meyer of Utrecht University (乌特勒支大学), Leendert van der Torre of University of Luxembourg etc.

5.Convergence Research Program of Brain Science and Artificial Intelligence (Double Brain Program)

浙江大学脑科学与人工智能会聚研究计划（简称双脑计划）

  • This program was initiated in 2018 by Zhejiang University. In this program, Prof. Beishui Liao established a group called “Logic, Cognition and AI” which mainly studies the basic theories and methods of human-computer interaction integration.
  • Some distinguished professors are included in this group, such as Fengrong Liu of Tsinghua University, Huw Price and Yang Liu of the Leverhulme Centre for the Future of Intelligence at the University of Cambridge (剑桥大学未来智能研究中心), Thomas Ågotnes of University Bergen in Norway (挪威卑尔根大学) etc.

6. Deontic Logic for Epistemic Rights (DELIGHT project)

旨在认知权利的道义逻辑

  • This project is led by Prof. Leendert van der Torre of University of Luxembourg from 2021 to 2024. It is granted by National Research Fund Luxembourg (卢森堡国家研究基金).
  • The DELIGHT project will develope new formal frameworks addressing these needs by extending deontic logics with epistemic and action notions.

Completed Projects

1.MIning and REasoning with Legal texts (MIREL project)

法律文本挖掘与推理

  • As an EU Research and Innovation Framework Program (欧盟科研创新框架计划) (HORIZON 2020) granted by European Commission (欧盟委员会), MIREL project started from 2016 to 2019. Prof. Leendert van der Torre is the leader of European group and Prof. Beishui Liao is the leader of Chinese group.
  • The MIREL project created an international and inter-sectorial network to define a formal framework and to develop tools for MIning and REasoning with Legal texts, with the aim of translating these legal texts into formal representations that can be used for querying norms, compliance checking, and decision support.