Advancing Logic in AI: insights from the LNGAI 2021 Workshop
Beishui Liao, Fenrong Liu, Leendert van der Torre, Yi Zhou · Journal of Logic and Computation · 2024
It is with great pleasure that we present this special issue of the Journal of Logic and Computation, focused on the theme of ‘Logic in New Generation Artificial Intelligence’. This special issue is closely connected to the First International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2021), which was hosted in Hangzhou, China, from June 18–20, 2021. The workshop is an integral part of the ongoing national key project, ‘Research on Logics for New Generation Artificial Intelligence’ (2021–2025), supported by the National Social Science Foundation of China. The LNGAI project aims to develop theories and techniques in non-monotonic logics and formal argumentation and apply them to areas such as causal reasoning, knowledge graph reasoning and reasoning about norms and values, within open, dynamic and real-world environments. In the diverse realm of new-generation AI, which spans big data intelligence, swarm intelligence, cross-media intelligence, human-machine hybrid-enhanced intelligence and autonomous intelligence systems, logic emerges as an indispensable tool. This special issue serves as an extension of the LNGAI project and inaugurates the ‘AI Logic’ corner in the Journal of Logic and Computation. Its primary aim is to contribute to the ongoing development of non-monotonic logics and formal argumentation theories, fostering their application in the complex scenarios of advanced AI.