（尼克著，人民郵電出版社2017年版，24.3萬字）
△共12章：[1]達特茅斯會議：人工智能的緣起；[2]自動定理證明興衰紀；[3]從專家係統到知識圖譜；[4]第5代計算機的教訓；[5]神經網絡簡史；[6]計算機下棋簡史：機定勝人，人定勝天；[7]自然語言處理；[8]向自然學習：從遺傳算法到強化學習；[9]哲學家和人工智能；[10]人是機器嗎？——人工智能的計算理論基礎；[11]智能的進化；[12]當我們談論生死時，我們在談論什麽？
〇這本書全麵講述了人工智能的發展史，幾乎覆蓋人工智能學科的所有領域，包括人工智能的起源、自動定理證明、專家係統、神經網絡、自然語言處理、遺傳算法、深度學習、強化學習、超級智能、哲學問題和未來趨勢等，以宏闊的視野和生動的語言，對人工智能進行了全麵回顧和深度點評。
〇曆史素有兩種寫法：以人為主和以事為主。所有的傳記都是以人為主的；而各種專史，如戰爭史，則多以事為主。
〇自動定理證明起源於邏輯，初衷就是把邏輯演算自動化。邏輯學的源頭是亞裏士多德的三段論。現代邏輯的奠基人是弗裏格和羅素。
〇維特根斯坦曾說：“邏輯似乎處於一切科學的底部——因為邏輯的研究探索一切事物的本質。”
〇“實驗是知識的試金石。”
〇黑格爾：“曆史的教訓就是曆史從來沒給過人教訓。”丘吉爾：“不懂吸取教訓的人注定會重蹈覆轍。”
〇明斯基：“人腦就是一台計算機。”
〇人工智能領域最火的詞兒就是“深度學習”。神經網絡由一層一層的神經元構成。層次越多，就越深，所謂深度學習就是很多層神經元構成的神經網絡實現機器學習的功能。
〇多爾西：“遊戲是知識之源。”圖靈：“下棋需要智能。”