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

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