On Interdisciplinary Studies of a New Generation of Artificial Intelligence and Logic  

作　　者：Liao Beishui 

机构地区：[1]School of Philosophy,Zhejiang University

出　　处：《Social Sciences in China》2022年第3期21-42,共22页中国社会科学（英文版）

基　　金：a phased result of “Logics for New Generation Artificial Intelligence,” a major project under the auspices of the National Social Science Fund of China (No. 20&ZD047)

摘　　要：A new generation of artificial intelligence(NGAI),currently based on big data and machine learning,follows a path of connectionism.Although this path achieves huge success in data-intensive applications under closed environments,there are some bottleneck problems,including a lack of explainability,the difficulty of ethical alignment,the weakness ofcognitive reasoning,etc.To address these problems inevitably involves thedepiction of information from an open,dynamic and real environment and the modeling of human reasoning and explanation mechanisms.Formal argumentation is a general formalism for modeling various types of knowledge representation and reasoning in a context of disagreement,and is flexible enough to incorporate other types of knowledge for decisionmaking,such as preferences,weights,and probabilities.Meanwhile,there are various approaches for efficient computation of argumentation semantics by exploiting the locality and modularity of argumentation,and for providing explanations based on arguments and dialogues.The organic combination of formal argumentation with existing big data and machine learning techniques can be expected to break through some existing technical bottlenecks and facilitate the sustainable development of NGAI.

关 键 词：new generation of artificial intelligence(NGAI) cognitive reasoning ethical alignment explainability formal argumentation 

分 类 号：B81-05[哲学宗教—逻辑学] TP18[自动化与计算机技术—控制理论与控制工程]