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

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

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

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