哲學(xué)證成與機器編程

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

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