通用解难器 通用解难器英語General Problem Solver简称 GPS又稱一般性問題解決程式是由赫伯特亚历山大西蒙约翰克里夫肖英语John Clifford Shaw和艾伦纽厄尔三人于年编写的電腦程式旨在作为解決通用問題的機器任何可以表示为良式公式WFFs或霍恩子句并構成一個以上源點source即公理或匯點sink即期望結論的有向图问题原则上可以透過通用解难器來解决谓词逻辑和欧几里德几何问题空间中的证明是通用解难器適用領域的主要例子通用解难器是基于西蒙和纽厄尔关于逻辑机器的理论工作也是首先將問題知识將規則表示為輸入數據與問題解決策略通用求解器引擎分離開來的電腦程式通用解难器是以三階編程語言資訊處理語言IPL來實現 虽然通用解难器能够解決一些诸如河内塔等可被充分形式化的簡單問題但無法用來解決現實世界中的問題這是因为搜索很容易在组合爆炸英语Combinatorial explosion中丢失換句話說透過推斷有向圖的走訪次數在計算上變得难以为继在实践中即使像河内塔這樣直截了當的狀態空間搜索在計算上也可能變得不可行雖然透過像 A 和IDA 這樣基礎的人工智慧技術仍可以對狀態空間進行明智的修剪 用戶定義的對象可在對象執行的操作以及通用解难器可透過均值端點分析生成启发式算法來解決問題它著重於可用的操作找出哪些輸入是可接受的以及生成了哪些輸出然后會创建子目标以便越來越靠近目标 通用解难器范式後來演变为人工智慧的Soar架構