【新智元導(dǎo)讀】人工智能（AI）已經(jīng)成為一個熱門話題，也是一個大的研究領(lǐng)域，每個巨頭科技公司以及創(chuàng)業(yè)公司都在其中努力。這是一個非常廣泛的話題，從基本的計算器、自我導(dǎo)航技術(shù)到能夠徹底改變未來的具有自我意識的機(jī)器人。開發(fā)相當(dāng)于或超過人類智能的系統(tǒng)是AI的關(guān)鍵。Rankred 網(wǎng)站發(fā)布了該網(wǎng)站評出的2017年7大最好的人工智能編程語言。

7. Haskell

Haskell 是1990年開發(fā)的強(qiáng)靜態(tài)類型，非限定性編程語言。由于Haskell開發(fā)人員不多，小公司很少嘗試Haskell。

Haskell 做得很好的是抽象（抽象數(shù)學(xué)，而不是Java OOP）。它允許具有表達(dá)性的、高效的庫表達(dá)AI算法。例如，HLearn使用常見的代數(shù)結(jié)構(gòu)（模塊，單群等）來表達(dá)和提高簡單機(jī)器學(xué)習(xí)算法速度。

雖然你可以用任何語言編寫這些算法，但Haskell相比其他語言更具表現(xiàn)力，同時保持不錯的性能。例如，Haskell寫的faster cover trees 。

Haskell支持領(lǐng)域特定語言(embedded domain-specific languages)，這是一個著名的編程語言研究領(lǐng)域，適用于包括人工智能在內(nèi)的許多領(lǐng)域。具體來說，它對概率編程來說很好，并能幫助開發(fā)人員在編譯時發(fā)現(xiàn)錯誤。

該語言具有CUDA綁定，并被編譯為字節(jié)碼（bytecode）。由于函數(shù)編程和靜態(tài)，代碼可以輕松地在云上的不同CPU上執(zhí)行。行業(yè)采用方面，F(xiàn)acebook使用Haskell打擊垃圾郵件。

6. Java

Java 是一種高級、面向?qū)ο蟮闹弊g語言，主要用于使網(wǎng)頁交互和創(chuàng)建在線程序，包括游戲。

在Java中，學(xué)習(xí)對話模型并不重要。學(xué)習(xí)服務(wù)器端的數(shù)據(jù)，然后通過Ajax調(diào)用學(xué)習(xí)者進(jìn)行預(yù)測。 Java有很多好用的庫，我們總結(jié)其中3個：

• ConventJS：實(shí)現(xiàn)深度學(xué)習(xí)的庫——在瀏覽器中訓(xùn)練卷積神經(jīng)網(wǎng)絡(luò)。它支持完全連接的層以及非線性神經(jīng)網(wǎng)絡(luò)模塊，分類和回歸成本函數(shù)。

• Synaptic：一個用于node.js.的神經(jīng)網(wǎng)絡(luò)庫。 其通用算法是無架構(gòu)的，可以用于開發(fā)和訓(xùn)練幾乎所有類型的一階和二階神經(jīng)網(wǎng)絡(luò)架構(gòu)。

• Mind：它使用矩陣實(shí)現(xiàn)來處理訓(xùn)練數(shù)據(jù)。你可以完全自定義網(wǎng)絡(luò)拓?fù)浜蜕蟼?下載已學(xué)習(xí)的minds。

簡而言之，你不必重新造輪子，只需確定AI要做什么類型的“l(fā)earning”。

5. Prolog

Prolog是一種與計算語言和人工智能相關(guān)的邏輯編程語言和語義推理引擎。它具有靈活而且強(qiáng)大的框架，被廣泛應(yīng)用于定理證明，非數(shù)字編程，自然語言處理和AI。

Prolog 是一種具有形式邏輯的聲明語言。AI開發(fā)者重視其預(yù)設(shè)計的搜索機(jī)制，非確定性，回溯機(jī)制，遞歸性質(zhì)，高級抽象和模式匹配。

Prolog非常適合涉及結(jié)構(gòu)化對象及其關(guān)系的問題。例如，在Prolog中，更容易表達(dá)對象之間的空間關(guān)系，比如表達(dá)“綠色的三角形在藍(lán)色的后面”。說明一般規(guī)則也很簡單，例如表達(dá)“對象A比對象B更靠近人，而B比C更近，則A應(yīng)該比C更近”。

Prolog的性質(zhì)使得實(shí)現(xiàn)事實(shí)（facts）和規(guī)則（rules）變得簡單直接。實(shí)際上，Prolog中的一切都是事實(shí)或規(guī)則。它允許你查詢數(shù)據(jù)庫，即使你已具有上述這些事實(shí)和規(guī)則。

Prolog支持開發(fā)圖形用戶界面，管理和網(wǎng)絡(luò)應(yīng)用程序。它非常適合語音控制系統(tǒng)等項(xiàng)目。

4. Java

在Java中編程AI的好處：很好地支持大型項(xiàng)目，更好的用戶交互，調(diào)試易用性，便于可視化以及Swing和Standard Widget Toolkit的并入。

其主要優(yōu)點(diǎn)是通用性——如果你是初學(xué)者，互聯(lián)網(wǎng)上可提供上千種有用的教程（免費(fèi)），使你的學(xué)習(xí)更輕松，更高效。

Java開發(fā)的一些著名應(yīng)用程序：

• WEKA 機(jī)器學(xué)習(xí)套件：專門用于機(jī)器學(xué)習(xí)和數(shù)據(jù)挖掘

• JOONE：用于設(shè)計，訓(xùn)練和測試神經(jīng)網(wǎng)絡(luò)

• ALICE（artificial linguistic internet computer entity的縮寫）：自然語言處理chatbot

• Robocode：一個用于學(xué)習(xí)Java編程原理的開源游戲

3. Lisp

Lisp是最早的（1958年開發(fā)的）編程語言之一，由John MaCarthy博士創(chuàng)造，John MaCarthy也是創(chuàng)造“人工智能”這個術(shù)語的人。雖然近年來Lisp沒有被很多人使用，但該語言既靈活又具有可擴(kuò)展性。

Lisp最初是針對Lambda演算開發(fā)的，誕生以來發(fā)生了很多演變。該語言在計算機(jī)科學(xué)中引入了許多想法，如遞歸，動態(tài)類型，高級函數(shù)，自動內(nèi)存管理，自主（self hosting）編譯器和樹結(jié)構(gòu)（tree data structure）。

Lisp用于開發(fā)人工智能軟件，因?yàn)樗С质褂梅栍嬎愕某绦虻膶?shí)現(xiàn)。符號表達(dá)和計算是Lisp擅長的。

此外，Lisp由一個宏系統(tǒng)，可以生成高效代碼的開發(fā)良好的編譯器，以及一組集合類型，包括哈希表和動態(tài)大小列表組成。

Lisp開發(fā)的有數(shù)以千計的AI應(yīng)用程序，包括：

• 美國運(yùn)通的授權(quán)人助理，用于檢查交易（信用卡）

• METAL，一種自然語言翻譯系統(tǒng)

• Macsyma，第一個大型計算機(jī)代數(shù)系統(tǒng)

• ACL2，AMD使用的定理證明程序

2. C++

C ++比其他語言更快——它在硬件層進(jìn)行通信的能力允許你改進(jìn)代碼執(zhí)行時間。這對在意耗時的人工智能項(xiàng)目非常有用。它可以用于統(tǒng)計AI方法，如神經(jīng)網(wǎng)絡(luò)中的。

由于執(zhí)行時間和OOP原則更快，C ++本身就是AI程序的好選擇。事實(shí)上，大部分機(jī)器學(xué)習(xí)和深度學(xué)習(xí)庫都是用C / C ++編寫的，并提供相同語言的API和為其他編程語言提供封裝。

如果你想控制運(yùn)行時間和性能，C ++顯然是一個很好的選擇。 模板（template）使用更安全，它們提供了更好的推廣API的方法。雖然模板是一種強(qiáng)大的技術(shù)，可以簡化很多事情，但需要更多的時間和經(jīng)驗(yàn)來決定何時使用它們。

該語言覆蓋了3D游戲的復(fù)雜性，優(yōu)化資源管理，并通過網(wǎng)絡(luò)促進(jìn)多人游戲。一個真實(shí)的例子是科幻游戲Doom 3，它使用C ++和虛擬引擎，一套游戲開發(fā)工具（用C ++編寫）。Microsoft Windows，Mac OS，Adobe Photoshop，Maya 3D軟件，CAD，Mozilla Firefox等都是使用C ++的著名應(yīng)用程序。

1. Python

Python專注于DRY（don’t repeat yourself）和RAD（rapid application development）。Python開發(fā)于20世紀(jì)90年代初，由于其可擴(kuò)展性，適應(yīng)性和易于學(xué)習(xí)而成為增長最快的編程語言之一。

Python有數(shù)百個庫可以使任何類型的項(xiàng)目成為可能，無論是移動應(yīng)用程序，Web應(yīng)用程序，數(shù)據(jù)科學(xué)還是人工智能。例如，用于科學(xué)計算的“Numpy”，用于機(jī)器學(xué)習(xí)的“Pybrain”，用于高級計算的“Scipy”和用于人工智能的“AIMA”。

Python的整體語言設(shè)計，低級和高級編程的平衡，模塊化編程和測試框架使其不同于其他語言。Python的另一個優(yōu)勢是快速原型設(shè)計。在Python中，幾乎所有的想法都可以通過30-40行代碼快速驗(yàn)證。