求解問題檢視原始碼討論檢視歷史

求解問題就是問題求解，就是解決管理活動中由於意外引起的非預期效應或與預期效應之間的偏差。

[]

問題求解系統

問題求解系統一般由全局數據庫、算子集和控制程序三部分組成。①全局數據庫：用來反映當前問題、狀態及預期目標。所採用的數據結構因問題而異，可以是邏輯公式、語義網絡、特性表，也可以是數組、矩陣等一切具有陳述性的斷言結構。②算子集：用來對數據庫進行操作運算。算子集實際上就是規則集。③控制程序：用來決定下一步選用什麼算子並在何處應用。解題過程可以運用正向推理，即從問題的初始狀態開始，運用適當的算子序列經過一系列狀態變換直到問題的目標狀態。這是一種自底向上的綜合方法。也可以運用逆向推理，即從問題的目標出發，選用另外的算子序列將總目標轉換為若干子目標，也就是將原來的問題歸約為若干較易實現的子問題，直到最終得到的子問題完全可解。這是一種自頂向下的分析方法。A.紐厄爾和H.A.西蒙在通用解題程序GPS中提出的手段-目的分析，則是將正向推理和逆向推理結合起來的一種解題技術。採用這種技術時，不是根據當前的問題狀態而是根據當前狀態和目標狀態間的差異，選用最合適算子去縮小這種差異（正向推理）。如果當前沒有一個算子適用，那末就將現時目標歸約為若干子目標（逆向推理），以便選出適用算子，依此進行，直到問題解決為止。人工智能許多技術和基本思想在早期的問題求解系統中便孕育形成，後來又有所發展。例如現代產生式系統的體系結構大體上仍可分為三部分。只是全局數據庫採用了更複雜的結構（例如黑板結構）,用知識庫取代了算子集,控制功能更加完善，推理技術也有所發展。

其它

博弈問題與定理證明問題的表示 以計算機為一方的棋類或其他遊戲問題，常用對策樹（或稱博弈樹）來表示，同一般與或樹的主要差異是：對策樹既要反映兩個問題求解者的共同行動，又只能從一方的立場加以描述。定理證明的問題表示特點在於引入了一類多重輸入單一輸出的算子。