鏈傳動

[拼音]:wenti qiujie

[英文]:problem solving

從人工智慧初期的智力難題、棋類遊戲、簡單數學定理證明等問題的研究中開始形成和發展起來的一大類解題技術,簡稱解題。機器定理證明(即自動演繹)已形成一門獨立的分支學科。解題技術主要包括問題表示、搜尋和行動計劃等內容。也有人對問題求解作更廣泛的理解,即指為了實現給定目標而展開的動作序列的執行過程。這樣,一切人工智慧系統便都可歸結為問題求解系統。

問題求解系統

問題求解系統一般由全域性資料庫、運算元集和控制程式三部分組成。

(1)全域性資料庫:用來反映當前問題、狀態及預期目標。所採用的資料結構因問題而異,可以是邏輯公式、語義網路、特性表,也可以是陣列、矩陣等一切具有陳述性的斷言結構。

(2)運算元集:用來對資料庫進行操作運算。運算元集實際上就是規則集。

(3)控制程宵a href='http://www.baiven.com/baike/220/251629.html' target='_blank' >潁河美淳齠ㄏ亂徊窖∮檬裁此闋硬⒃諍未ττ謾=饊夤炭梢栽擻謎蟯評恚創遊侍獾某跏甲刺跡擻檬實鋇乃闋有蛄芯幌盜凶刺浠恢鋇轎侍獾哪勘曜刺U饈且恢腫緣紫蟶系淖酆戲椒āR部梢栽擻媚嫦蟯評恚創遊侍獾哪勘瓿齜ⅲ∮昧磽獾乃闋有蛄薪苣勘曜晃舾勺幽勘輳簿褪牆吹奈侍夤樵嘉舾山弦資迪值淖遊侍猓鋇階鈧盞玫降淖遊侍饌耆山狻U饈且恢腫遠ハ螄碌姆治齜椒ā.紐厄爾和H.A.西蒙在通用解題程式GPS中提出的手段-目的分析,則是將正向推理和逆向推理結合起來的一種解題技術。採用這種技術時,不是根據當前的問題狀態而是根據當前狀態和目標狀態間的差異,選用最合適運算元去縮小這種差異(正向推理)。如果當前沒有一個運算元適用,那末就將現時目標歸約為若干子目標(逆向推理),以便選出適用運算元,依此進行,直到問題解決為止。人工智慧許多技術和基本思想在早期的問題求解系統中便孕育形成,後來又有所發展。例如現代產生式系統的體系結構大體上仍可分為三部分。只是全域性資料庫採用了更復雜的結構(例如黑板結構),用知識庫取代了運算元集,控制功能更加完善,推理技術也有所發展。

問題表示

有狀態空間、問題歸約、博弈問題、定理證明等表示方式。所有這些表示方式,都廣泛採用數學上的有向圖(包括樹)作為描述手段。

狀態空間表示

如果一個問題求解系統運用正向推理,而且每次運算元對全域性資料庫操作後都生成一新狀態,則該系統採用的解題方法就稱狀態空間表示法。圖1中樹的節點標號代表狀態,其中

為初始狀態,

為目標狀態;有向弧線的標號代表運算元;從初始狀態到達目標狀態經歷

→②→③→

的狀態變換。這時問題的一個解便是能將問題初始狀態最終變換為目標狀態的一個有限的運算元序列。本例中即為P2-P2-P4。而尋找問題的解,也就是尋找適用的運算元序列的過程,這稱為搜尋。

問題歸約表示

問題歸約有三個要素,即目標、運算元集和基元問題集。

(1)目標:即問題的初始描述。

(2)運算元集:用來將給定問題變換為若干子問題。

(3)基元問題集:已有解或其解十分明顯可以直接描述的問題。問題約表示是同逆向推理聯絡在一起的。圖2為問題的歸約表示,其中每個節點標號代表一個問題或一組問題,標號為A的根節點(即沒有射入弧線的節點)代表原始問題或問題組。沒有射出弧線的節點稱為葉或終端節點(或終止節點),其標號代表基元問題。運用運算元實行問題變換。如果原來問題被變換為若干子問題,而只需要解決其中之一便可解決原問題,那末代表這些子問題的節點稱為相對於原問題節點的或節點。圖2的B、C、D即為相對於 A的或節點。如果原問題被變換為缺一不可(均需解決)的若干子問題,那麼代表這些子問題的節點稱為相對於原問題節點的與節點,並在這些與節點各自的射入弧線間標記一條連線線,以同或結點相區別。圖2的E、F、G和G、H、K分別為相對於B和D的與節點。既包含與節點又包含或節點的有向圖稱為與或圖。問題歸約表示常藉助於與或圖的形式。為了表明原問題有解,其實只需要畫出與或圖中同問題的解有關的那一部分(即子圖),稱為解圖。圖2有三個解圖,{A,B,E,F,G}、{A,C}、{A,D,G,H,K}。如果在與或圖中,除根節點以外的每個節點有且僅有一條射入弧線(即只有一個父親),便得到與或樹。與或樹是與或圖的特例。

博弈問題與定理證明問題的表示

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

問題求解的基本技術除問題表示外,尚有搜尋、行動計劃和機器定理證明等方面。

參考書目

N.J.尼爾遜著,石純一等譯:《人工智慧原理》,科學出版社,北京,1983。(N.J. Nilsson,Principles of Artificial Ihtel-ligence,Tioga Publ. Co.,New York,1980.)

N.J.Nilsson,Problem-Solving Methods in Artificial Intelligence,McGraw-Hill,New York,1971.