邏輯理論家

邏輯理論家是問題解決計算機模擬程式。美國認知心理學家紐厄爾、J．C．肖和H．A．西蒙1956年編制。該程式模擬人證明符號邏輯定理的思維活動，並成功地證明了一些數學定理。

它採用產生式系統的結構，以逆向搜尋為主要工作策略，參照適當的啟發法，成為第一個啟發式的產生式系統和第一個成功的人工智慧系統。它的成功支持了物理符號系統理論，加速了信息加工觀點在心理學中的滲透，開闢了人工智慧這一新的科學領域，開創了計算機模擬這一認知心理學方法。儘管對計算機模擬在心理學中的意義尚有待討論，但邏輯理論家的成功，已經被公認為認知心理學興起的一個標誌性事件。