科學(xué)發(fā)現(xiàn)與科學(xué)問題——從人工智能的視角看.pdf

1、科學(xué)發(fā)現(xiàn)的方法一直是科學(xué)哲學(xué)家關(guān)注的主題之一，從最初的歸納主義者培根，演繹主義者笛卡兒、赫歇爾、愛因斯坦、反歸納主義的波普爾，科學(xué)哲學(xué)家們都在努力地關(guān)注和探索科學(xué)發(fā)現(xiàn)的方法論，然而無論是傳統(tǒng)的歸納主義模式、還是演繹主義模式，還是問題→問題的模式。 傳統(tǒng)的歸納問題使傳統(tǒng)的歸納主義者進(jìn)入了兩難的境地：假如用歸納強(qiáng)的論斷去證明科學(xué)的歸納法，那么會(huì)竊取命題；如果用演繹有效性去證明科學(xué)的歸納法，必須保證使用的前提為真，可是我們不可能保證未

2、來的事情，于是結(jié)論變的異常虛弱。假說演繹模式注重了做出科學(xué)推斷時(shí)的嚴(yán)謹(jǐn)性，然而無法解決自己的初始命題問題。問題→問題模式則存在著自身無法解釋的運(yùn)用歸納法的反歸納主義立場。例如：波普爾所謂對一個(gè)理論的驗(yàn)證就不可避免地包含歸納的成分，因?yàn)槠渲邪蛇^去和現(xiàn)在推斷將來的因素，當(dāng)他引入“確證”、“逼真性”的概念時(shí)，波普爾的演繹檢驗(yàn)方法便不再適用，除非再引入歸納法的概念。伴隨著計(jì)算機(jī)科學(xué)的發(fā)展以及人工智能的發(fā)展，科學(xué)發(fā)現(xiàn)的S-Q-S模型、科學(xué)發(fā)現(xiàn)

3、的問題求解模型的提出引發(fā)了人工智能對科學(xué)發(fā)現(xiàn)的重新思考。通過考察直覺、靈感在科學(xué)發(fā)現(xiàn)中的作用以及科學(xué)發(fā)現(xiàn)對歸納主義的反思，科學(xué)哲學(xué)家們越來越發(fā)現(xiàn)，由科學(xué)問題出發(fā)的科學(xué)發(fā)現(xiàn)可以從人工智能的角度給予它重新的審視，可以找到解釋科學(xué)發(fā)現(xiàn)的方法和途徑。于是筆者試圖對科學(xué)的歸納法作人工智能的反思：于是筆者試圖對科學(xué)的歸納法作人工智能的反思;在科學(xué)的歸納法系統(tǒng)中，我們能夠在某一個(gè)層次K上找到歸納有效性的論據(jù)，那么我們就能夠在大多數(shù)時(shí)候給出一個(gè)為真的預(yù)