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

邏輯理論家

鎖定
邏輯理論家是問題解決計算機模擬程序。美國認知心理學家紐厄爾、J.C.肖和H.A.西蒙1956年編制。該程序模擬人證明符號邏輯定理的思維活動,併成功地證明了一些數學定理。 [1] 
中文名
邏輯理論家
外文名
Logic theorist
它採用產生式系統的結構,以逆向搜索為主要工作策略,參照適當的啓發法,成為第一個啓發式的產生式系統和第一個成功的人工智能系統。它的成功支持了物理符號系統理論,加速了信息加工觀點在心理學中的滲透,開闢了人工智能這一新的科學領域,開創了計算機模擬這一認知心理學方法。儘管對計算機模擬在心理學中的意義尚有待討論,但邏輯理論家的成功,已經被公認為認知心理學興起的一個標誌性事件。
參考資料
  • 1.    林崇德.心理學大辭典:上海教育出版社,2003年12月