哲學證成與機器編程

　　隨著人工智能學科的發(fā)展，人工智能與人文學科進行跨學科交流的必要性也正在日益增加。在這種跨學科交流當中，哲學當中的知識論研究，就會扮演越來越重要的角色，知識論研究的重點在于“證成”（justification），即要找到合理的根據(jù)使得目標論斷能夠得到確定。從人工智能的立場來看，證成本身就對于計算機程序的“可說明性”（accountability）提出要求，而目前基于深度學習的計算機程序恰恰缺乏可說明性。本書試圖打通知識論的證成研究和計算機的編程研究之間的界限，使得我們能夠用計算機的眼光澄清知識論研究中的一些模糊之處，反過來也用知識論觀點來使得計算機領域的人工智能研究的可說明性得到提高。

暫缺《哲學證成與機器編程》作者簡介