Research on Logics for New Generation Artificial Intelligence

In an open, dynamic and real environment, logic is an essential tool to build various sophisticated models to enable machines to make rational decisions, to provide effective explanations for human beings, and to ensure that machines behave ethically and legally. It must be combined with Big Data and machine leaning techniques that have been widely used in various forms of new generation artificial intelligence, such as big data intelligence, swarm intelligence, cross media intelligence, man-machine hybrid enhanced intelligence and autonomous intelligence systems.

The main objectives of the LNGAI project are to develop theories and techniques of non-monotonic logics and formal argumentation and apply them to causal reasoning, knowledge graph reasoning, and reasoning about norms and values, in an open, dynamic and real environment.

This project 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.