21世纪是“人机物”高度融合的多元化时代,人工智能的迅速发展不仅改变了当今社会的生产、生活方式,也给论证理论的发展提出了新挑战、带来了新机遇。如何要求基于逻辑的系统能够处理来自开放、动态、真实环境中的不完备、不确定和不一致的信息,同时在可计算性、动态性和可解释性方面具有良好性能?这些无疑是新一代人工智能需要克服的瓶颈问题,也是人工智能中的论证研究试图去努力的方向。
人工智能与论证研究在过去20多年中,既独立发展又始终保持着互动:一方面,论证理论为理论推理、实践推理、论证互动的计算机程序实现提供了丰富的思想源泉;另一方面,人工智能则对这些思想提供了测试工具。从理论系统角度来讲,人工智能关注论证的重点是论证的理论模型和形式模式,继承并通过非单调逻辑发展了哲学逻辑和形式逻辑的悠久传统。从人工系统角度来讲,人工智能的目标是建立用来建模论证性任务的计算机程序。
形式论辩有助于解决新一代人工智能所存在的可解释性差、伦理对齐困难、认知推理能力弱等瓶颈问题。有机结合形式论辩与现有大数据和机器学习技术,有望在一定程度上突破现有技术瓶颈,促进新一代人工智能的健康发展。利用机器学习所获得的因果关系,结合其他相关领域知识进行推理,并在此基础上建立解释模型、把量化论辩理论与机器学习相结合、利用人工智能技术促进法律论证发展,这些都是值得期待的重要研究方向。
随着人工智能技术向纵深发展,智慧化论证也已经进入了我们的生活世界。一类是在数字化移动终端的新媒体上即时发生的“人—人”之间的论证现象,如政治对话、生活对话、热点争议等;另一类是“人—机”甚至是“机—机”的全新论证,如阿尔法狗和人工智能辩论系统。人们在借助人工智能为自身论证寻求多样化的论据促成有效论证的同时,也在被机器论证悄悄地绑架着。如何更好地谋求明辨是非、化解矛盾,从而达到既百花齐放又统一和谐的理想社会,这是人工智能的论证研究始终需要密切关注的。
在检验相关研究成果的可靠性和适用性的同时,进一步对论证和人工智能的发展提出新的要求,并促使我们对人工智能的未来、人类的特质以及逻辑学的走向等重大问题萌发更深层的哲学思考。可以看到,逻辑论证与人工智能的良性互动,不仅使这两门重要学科自身得到极大发展,而且必将合力为人类表征思维与理解思维开辟一条新的道路。
总之,当下中外文明互学、互通与互鉴已成为不可逆转的潮流与事实。无论是文明交流互鉴,还是发出中国声音、抑或构建自身话语体系,都是相互影响、彼此推动的整体。作为一种实践,也作为一种研究,论证与思维、语言、社会文化、人工智能皆深度关联并深层互动,无疑将对推动不同文明的交流互鉴发挥着不可或缺的基础性作用。