论新一代人工智能与逻辑学的交叉研究

摘要：

新一代人工智能以大数据和机器学习技术为核心,实行的是联结主义的路径.该路径在场景相对封闭的数据密集型应用中取得了巨大成功,但面临可解释性差、伦理对齐困难、认知推理能力弱等瓶颈问题.为了在一定程度上解决这些问题,不可避免地涉及对开放、动态、真实环境中信息的刻画,以及对人类推理和解释机制的建模.形式论辩可以提供不一致情境下知识表示与推理的通用机制,与偏好、权重、概率等决策因素的灵活结合机制,局部化和模块化的语义高效计算机制,以及基于论证和对话的可解释机制等.有机结合形式论辩与现有大数据和机器学习技术,有望在一定程度上突破现有技术瓶颈,促进新一代人工智能的健康发展.

关键词：新一代人工智能、认知推理、伦理对齐、可解释性、形式论辩

分类号：TP391.4;B81;B516.35

资助基金：国家社会科学基金20&ZD047

在线出版日期：2022-04-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共18页

页码：37-54