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

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

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