哲学证成与机器编程

暂缺《哲学证成与机器编程》作者简介

随着人工智能学科的发展，人工智能与人文学科进行跨学科交流的必要性也正在日益增加。在这种跨学科交流当中，哲学当中的知识论研究，就会扮演越来越重要的角色，知识论研究的重点在于“证成”（justification），即要找到合理的根据使得目标论断能够得到确定。从人工智能的立场来看，证成本身就对于计算机程序的“可说明性”（accountability）提出要求，而目前基于深度学习的计算机程序恰恰缺乏可说明性。本书试图打通知识论的证成研究和计算机的编程研究之间的界限，使得我们能够用计算机的眼光澄清知识论研究中的一些模糊之处，反过来也用知识论观点来使得计算机领域的人工智能研究的可说明性得到提高。