一般問題解決器 (General Problem Solver)是由Herbert Simon、J.C. Shaw和Allen Newell三人於1957年創建的一個電腦程式，基於Simon和Newell的關於邏輯機的研究，用以作為普遍問題解決機。原理上，任何形式化的符號問題都可以被此程式解決。例如，定理證明，幾何問題以及西洋棋對抗。GPS是第一個將待解決的問題的知識和策略分離的電腦程式。一般問題求解器（GPS）是人類解決問題的模擬程式（1969年安永會計師事務所紐厄爾，紐厄爾和西蒙，1972）的形式表示的理論。該計畫和相關的理論框架有一個顯著的影響，在隨後的認知心理學方向。它也介紹了使用的製作方法指定認知模式
基本介紹
- 中文名：一般問題解決器
- 外文名：General Problem Solver
- 創建人：Herbert Simon
- 創建時間：1957年
概述,基本解決方案的規則,偽代碼,
概述
一般問題解決器是信息處理的理論框架，並試圖解釋所有的函式的記憶體操作、控制流程和規則的行為。一般問題解決器的方法進行測試的理論涉及開發一種計算機模擬，然後比較的模擬結果，在一個給定的任務的人的行為。這樣的比較也利用協定分析（愛立信和Simon，1984）：其中一個人的口頭報告，解決一個任務作為指標的認知過程。
一般問題求解器的目的是提供了一組核心的過程，可用於不同類型的問題求解。解決一個問題與GPS的關鍵步驟是在要實現的目標和變換規則方面的問題空間的定義。
手段 - 目的分析的方法，GPS的總體目標劃分成子目標，並試圖解決每個人。
基本解決方案的規則
一個對象變換成另一種。
降低的兩個對象之間的不同。
適用於操作者的一個對象。其中的關鍵要素需要通過GPS解決的問題是運營商差異表，指定哪些轉換是可能的。
偽代碼
Goal 1: Transform L1 into LO
Goal 2: Reduce difference between L1 and L0
Goal 3: Apply R1 to L1
Goal 4: Transform L1 into condition (R1)
Produce L2: (-P => Q) *R
Goal 5: Transform L2 into L0
Goal 6: Reduce difference between left(L2) and left(L0)
Goal 7: Apply R5 to left(L2)
Goal 8: Transform left(L2) into condition(R5)
Goal 9: Reduce difference between left(L2) and condition(R5)
Rejected: No easier than Goal 6
Goal 10: Apply R6 to left(L2)
Goal 11: Transform left(L2) into condition(R5)
Produce L3: (P \/ Q) *R
Goal 12: Transform L3 into L0
Goal 13: Reduce difference between left(L3) and left(L0)
Goal 14: Apply R1 to left(L3)
Goal 15: Transform left(L3) into condition(R1)
Produce L4: (Q \/ P)*R
Goal 16: Transform L4 into L0
Identical, QED
