符號主義

符號主義（Symbolism）是一種基於邏輯推理的智能模擬方法，又稱為邏輯主義(Logicism)、心理學派(Psychlogism)或計算機學派(Computerism)，其原理主要為物理符號系統（即符號操作系統）假設和有限合理性原理，長期以來，一直在人工智慧中處於主導地位，其代表人物是紐威爾、肖、西蒙和尼爾森。

早期的人工智慧研究者絕大多數屬於此類。符號主義的實現基礎是紐威爾和西蒙提出的物理符號系統假設。該學派認為：人類認知和思維的基本單元是符號，而認知過程就是在符號表示上的一種運算。它認為人是一個物理符號系統，計算機也是一個物理符號系統，因此，我們就能夠用計算機來模擬人的智能行為，即用計算機的符號操作來模擬人的認知過程。這種方法的實質就是模擬人的左腦抽象邏輯思維，通過研究人類認知系統的功能機理，用某種符號來描述人類的認知過程，並把這種符號輸入到能處理符號的計算機中，就可以模擬人類的認知過程，從而實現人工智慧。可以把符號主義的思想簡單的歸結為“認知即計算”。

從符號主義的觀點來看，知識是信息的一種形式，是構成智能的基礎，知識表示、知識推理、知識運用是人工智慧的核心，知識可用符號表示，認知就是符號的處理過程，推理就是採用啟髮式知識及啟髮式搜索對問題求解的過程，而推理過程又可以用某種形式化的語言來描述，因而有可能建立起基於知識的人類智能和機器智能的同一理論體系.

符號主義學派認為人工智慧源於數學邏輯。數學邏輯從19世紀末起就獲得迅速發展，到20世紀30年代開始用於描述智能行為。計算機出現后，又在計算機上實現了邏輯演繹系統。

符號主義的代表成果是1957年紐威爾和西蒙等人研製的成為“邏輯理論家”的數學定理證明程序LT。LT的成功，說明了可以用計算機來研究人的思維過程，模擬人的智能活動。以後，符號主義走過了一條啟髮式演演算法——專家系統——知識工程的發展道路，尤其是專家系統的成功開發與應用，使人工智慧研究取得了突破性的進展。

符號主義學派認為人工智慧的研究方法應為功能模擬方法。通過分析人類認知系統所具備的功能和機能，然後用計算機模擬這些功能，實現人工智慧。

符號主義主張用邏輯方法來建立人工智慧的統一理論體系，但卻遇到了“常識”問題的障礙，以及不確知事物的知識表示和問題求解等難題，因此，受到其他學派的批評與否定。