智能是人類具有的特徵之一，然而，對於什麼是人類智能（或者說智力），科學界至今還沒有給出令人滿意的定義。有人從生物學角度定義人類智能為“中樞神經系統的功能”，也有人從心理學角度出發定義人類智能為“進行抽象思維的能力”，甚至有人把它定義為“獲得能力的能力”，或者不求甚解地說它“就是智力測驗所測量的那種東西”。這麼多的定義讀者很難選擇了，當然它們也並未被人們所普遍接受。如果我們連人類智能都無法給出精確的定義，對人工智能則是仁者見仁、智者見智，只好眾說紛紜了。
毫無疑問，現代電腦是一種具有高超能力的機器，它的種類多，價格低，體積小，用途廣，它在計算、控制和數據處理方面，廣泛替代人類完成了大量的工作，甚至比人做得更加出色，讓人無法比擬。
人工智能在定理證明研究中有一個最有說服力的例子，就是機器證明了困擾數學界長達100餘年之久的難題──“四色定理”。據說，“四色問題”最早是1852年由一位21歲的大學生提出來的數學難題：在任何地圖中都可以用最多四種顏色著色，通過著色就能區分任何兩個相鄰的國家或區域。換一種說法，就是如果任意劃分一個圖形並給各部分著上顏色，使任何具有公共邊界的部分顏色不同，那麼需要且僅需要四種顏色就夠了。這個看似簡單的問題，卻像“哥德巴赫猜想”一樣，屬於世界上最著名的數學難題之一，讓許多人為之低頭彎腰，歷盡艱辛。
攻克“四色定理”似乎應該昭示機器證明時代的來臨。可是，直到今天，它仍然是著名數學難題被電腦證明的絕無僅有的一例。人工智能先驅們認真地研究下棋，研究機器定理證明，但效果仍不盡如人意。問題的癥結在於，雖然機器能夠解決一些極其錯綜複雜的難題，但是有更多的工作，對人來說是簡單到不能再簡單的事情，對電腦卻難似上青天。
不要以為人工智能離我們很遠，它已經在進入我們的生活，模糊控制，決策支持等等方面都有人工智能的影子。讓計算機這個機器代替人類進行簡單的智力活動，把人類解放出來做其他更有益的工作，這是人工智能的目的。
閱讀更多 科技小喵 的文章
