符號主義屬於現代人工智慧範疇，基於邏輯推理的智慧型模擬方法模擬人的智慧型行為。
基本介紹
- 中文名：符號主義
- 外文名：Symbolism
- 別名：邏輯主義
- 代表人物：紐威爾
符號主義（Symbolism）是一種基於邏輯推理的智慧型模擬方法，又稱為邏輯主義(Logicism)、心理學派(Psychlogism)或計算機學派(Computerism)，其原理主要為物理符號系統（即符號作業系統）假設和有限合理性原理，長期以來，一直在人工智慧中處於主導地位，其代表人物是紐威爾、肖、西蒙和尼爾森。
早期的人工智慧研究者絕大多數屬於此類。符號主義的實現基礎是紐威爾和西蒙提出的物理符號系統假設。該學派認為：人類認知和思維的基本單元是符號，而認知過程就是在符號表示上的一種運算。它認為人是一個物理符號系統,計算機也是一個物理符號系統,因此,我們就能夠用計算機來模擬人的智慧型行為,即用計算機的符號操作來模擬人的認知過程。這種方法的實質就是模擬人的左腦抽象邏輯思維，通過研究人類認知系統的功能機理，用某種符號來描述人類的認知過程，並把這種符號輸入到能處理符號的計算機中，就可以模擬人類的認知過程，從而實現人工智慧。可以把符號主義的思想簡單的歸結為“認知即計算”。
從符號主義的觀點來看，知識是信息的一種形式,是構成智慧型的基礎，知識表示、知識推理、知識運用是人工智慧的核心，知識可用符號表示,認知就是符號的處理過程，推理就是採用啟發式知識及啟發式搜尋對問題求解的過程，而推理過程又可以用某種形式化的語言來描述，因而有可能建立起基於知識的人類智慧型和機器智慧型的同一理論體系.
符號主義學派認為人工智慧源於數學邏輯. 數學邏輯從19 世紀末起就獲得迅速發展,到20 世紀30 年代開始用於描述智慧型行為. 計算機出現後,又在計算機上實現了邏輯演繹系統。
符號主義的代表成果是1957年紐威爾和西蒙等人研製的成為“邏輯理論家”的數學定理證明程式LT。LT的成功，說明了可以用計算機來研究人的思維過程，，模擬人的智慧型活動。以後，符號主義走過了一條啟發式算法——專家系統——知識工程的發展道路，尤其是專家系統的成功開發與套用，使人工智慧研究取得了突破性的進展。
符號主義學派認為人工智慧的研究方法應為功能模擬方法. 通過分析人類認知系統所具備的功能和機能,然後用計算機模擬這些功能,實現人工智慧。
符號主義主張用邏輯方法來建立人工智慧的統一理論體系，但卻遇到了“常識”問題的障礙，以及不確知事物的知識表示和問題求解等難題，因此，受到其他學派的批評與否定。
