符號主義認為人工智慧源於

符號主義認為人工智慧源於數理邏輯。

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

人工智慧是電腦科學的一個分支，它企圖瞭解智慧的實質，並生產出一種新的能以人類智慧相似的方式做出反應的智慧機器，該領域的研究包括機器人、語言識別、影象識別、自然語言處理和專家系統等。人工智慧從誕生以來，理論和技術日益成熟，應用領域也不斷擴大，可以設想，未來人工智慧帶來的科技產品，將會是人類智慧的“容器”。人工智慧可以對人的意識、思維的資訊過程的模擬。