【中國智能制造網(wǎng) 學(xué)術(shù)論文】蒸汽機被看作近代社會開始的標(biāo)志，或許也可以把計算機看作當(dāng)代社會開始的一個標(biāo)志。計算機正在成為一件視而不見的事物，比如我們不會把手機當(dāng)作計算機，但它確實也是計算機，或許有人會說，手機是通訊工具，但就會有人給你解釋，“網(wǎng)絡(luò)交換機”就是相互聯(lián)接的計算機，手機不過是一個終端。　　當(dāng)手機升級為智能手機后，問題也進(jìn)了一層，手機是人工智能嗎？或者稍專業(yè)一點，計算機是人工智能嗎？這些看似簡單的提問總是讓人摸不著頭腦，在硬的技術(shù)解釋與軟的常識的哲學(xué)性之間，人們往往沒有共同的語言。
　　
　　本文首先弄清楚這些似乎簡單的問題為什么這么難，在這個基礎(chǔ)上才可能去理解“算法”、“人工智能”等概念的性質(zhì)和本質(zhì)。
　　
　　題解
　　
　　按照丘奇-圖靈論題，“計算機是人工智能嗎？”這個問題與下例問題等價：
　　
　　算法是人工智能嗎？
　　
　　圖靈機是人工智能嗎？
　　
　　我們可以作“是”和“不是”的情況分別進(jìn)行考慮：
　　
　　計算機是人工智能嗎？
　　
　　如果回答“是”，就無法回答下一個必然問題：為什么會有與計算機不同的“人工智能”的廣泛觀念和事實？
　　
　　如果機器回答“不是”，那末這個不同于計算機的人工智能又是什么？
　　
　　這種提問和回答都要求對計算機和人工智能進(jìn)行基本性質(zhì)的比較和判別，這不是簡單分類的問題，在商店、家中可以隨習(xí)慣而定，但在生產(chǎn)、研究的前沿技術(shù)領(lǐng)域和戰(zhàn)略決策的認(rèn)知觀念上，要求對問題的進(jìn)行本質(zhì)性的判斷，這些問題的提出和回答牽涉到算法、計算機、圖靈機、丘奇－圖靈論題、“判定問題”、“圖靈檢驗”等基本理論，實際上要求把可計算性理論，不確定性理論和人工智能統(tǒng)一在一個更大的平臺上進(jìn)行考察、研究，這種關(guān)于問題本質(zhì)的研究是科學(xué)理論和哲學(xué)上的困難問題。
　　
　　比如的希爾伯特第十問題，圖靈以“圖靈機”的構(gòu)造過程完滿回答了，這個問題的提出和解決就是計算機時代進(jìn)步的深層動力，現(xiàn)在，對計算機與人工智能的基本性質(zhì)和關(guān)系的判斷同樣會有深刻的影響，在這種高度上理解，“圖靈檢驗”就具有希爾伯特－圖靈機的“判定問題”類似的意義和價值，本文以智能哲學(xué)的角度提出和分析這些問題。
　　
　　計算機與算法：丘奇－圖靈論題
　　
　　計算工具是人類所有工具中特別的一種，古老又新潮，它的物理工具性與抽象形式緊密纏繞，以前只有一個直覺的觀念：計算是機械步驟，現(xiàn)在又有一個丘奇－圖靈論題：計算機是“算法”。
　　
　　當(dāng)你兒時數(shù)手指頭的時候，你就是在用算法了，雖然今天我們以電子計算機代替了手指頭，算法的性質(zhì)并未變，而且，我們卻仍然難以回答“什么是算法？”這樣的問題。人們認(rèn)為數(shù)學(xué)家和科學(xué)家都是聰明的人，更何況是偉大的數(shù)學(xué)家和科學(xué)家，他們之中對這個問題聰明的回答就是那個丘奇－圖靈論題，這似乎有些“皇帝的新衣”的感覺，我們都只看到計算機，我們不知道什么是算法，當(dāng)你數(shù)手指頭時，是在用算法，但手指頭不是算法，現(xiàn)在我們可以說，軟件是算法，但與機器何干？
　　
　　因此面對“人工智能”時，我們只是同樣在問，機器中的“智能”與人腦袋中的智能都是算法嗎？這些問題的一個關(guān)鍵性質(zhì)“算法和人工智能究竟是基于語法的還是基于語義的？”就是哲學(xué)、邏輯學(xué)、語言學(xué)、計算機和人工智能等不同領(lǐng)域中的共同的基本問題，這個問題令人困惑在于物理形式與抽象形式相互緊密纏繞，層層交織。丘奇—圖靈論題脫離不了這種直覺性質(zhì)：我們知道皇帝穿了龍袍，但是我們看不見。