通用解難器

通用解難器 （ 英語 ： ， 簡稱 G.P.S. ， 又稱一般性問題解決程式 ） 是由赫伯特 · 亞歷山大 · 西蒙 、 和艾倫 · 紐厄爾三人於1957年編寫的電腦程式 ， 旨在作爲解決通用問題的機器 。 任何可以表示爲良式公式 （ WFFs ） 或霍恩子句 ， 並構成一個以上源點 （ source ， 即公理 ） 或匯點 （ sink ， 即期望結論 ） 的有向圖問題 ， 原則上可以透過通用解難器來解決 。 謂詞邏輯和歐幾里德幾何問題空間中的證明 ， 是通用解難器適用領域的主要例子 。 通用解難器是基於西蒙和紐厄爾關於邏輯機器的理論工作 ， 也是首先將問題知識 （ 將規則表示爲輸入數據 ） 與問題解決策略 （ 通用求解器引擎 ） 分離開來的電腦程式 。 通用解難器是以三階編程語言 「 資訊處理語言 」 （ IPL ） 來實現 。 雖然通用解難器能夠解決一些諸如河內塔等可被充分形式化的簡單問題 ， 但無法用來解決現實世界中的問題 ， 這是因爲搜索很容易在中丟失 。 換句話說 ， 透過推斷有向圖的 「 走訪 」 次數在計算上變得難以爲繼 。 （ 在實踐中 ， 即使像河內塔這樣直截了當的狀態空間搜索 ， 在計算上也可能變得不可行 ， 雖然透過像 A * 和IDA * 這樣基礎的人工智慧技術 ， 仍可以對狀態空間進行明智的修剪 ） 用戶定義的對象 、 可在對象執行的操作 ， 以及通用解難器可透過均值 - 端點分析生成啓發式算法來解決問題 。 它著重於可用的操作 ， 找出哪些輸入是可接受的 ， 以及生成了哪些輸出 。 然後會創建子目標 ， 以便越來越靠近目標 。 通用解難器範式後來演變爲人工智慧的Soar架構 。