複製鏈接
請複製以下鏈接發送給好友

符號主義

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