“與/或”圖表示法大家都學習過幾何，我們想想，證明兩個三角形全等（如圖所示）有幾種方法。ABCA'B'C'兩個三角形全等(T)兩個三角形三邊分別對應相等(T1)兩個三角形兩角夾一邊分別對應相等(T3)兩個三角形兩邊夾一角分別對應相等(T2)1“與/或”圖表示法從上面例子我們可看到，當這些子問題T1、T2、T3中有一個有解，問題T將有解。原問題T與變換所得的子問題T1、T2、T3的關(guān)系，我們可以用“或”圖來表示。這時，圖中的T叫做“或節(jié)點”。TT1T2T3問題T2，它可以等效為下面三個子問題的“或”：兩個三角形兩邊夾一角分別對應相等(T2)∠A其兩邊與∠A'及其兩邊分別對應相等(T21)∠C及其兩邊與∠C'及其兩邊分別對應相等(T23)∠B及其兩邊與∠B'及其兩邊分別對應相等(T22)T21又可繼續(xù)分解為下面三個子問題:∠A及其兩邊與∠A'及其兩邊分別對應相等(T21)∠A=∠A'(T211)AC=A'C'(T213)AB=A'B'(T212)從上面例子我們可看到，當問題T21分解為問題T211、T212、T213時，只有三個問題全有解，問題T21才有解。原問題T21與分解的子問題T211、T212、T213的關(guān)系，我們可以用“與”圖來表示。圖中用一條小弧線連接所有子問題（下圖所示）。這時，圖中的T21叫做“與節(jié)點”。T21T211T212T2132“與/或”圖表示實例識別動物是老虎的“與/或”圖表示知識法。識別某種動物是不是老虎，我們可以根據(jù)老虎具有的特征：（1）食肉動物（2）哺乳動物（3）黃褐色（4）有黑條紋（5）有爪（6）有犬齒（7）有毛發(fā)（8）眼視前方……通過對老虎這種動物特征的分析以及動物專家對動物識別的一般規(guī)則，識別老虎這種動物必須具備的條件如圖所示：老虎黃褐色有黑條紋哺乳動物食肉動物而識別一種動物是否是哺乳動物、食肉動物有多種方法，如果一種動物產(chǎn)奶或者有毛發(fā)，我們可辨別它是哺乳動物（如左下圖所示）；如果一種動物吃肉，我們可說它是食肉動物；如果一種動物有爪、有犬齒、眼視前方等特征，我們可辨別它是食肉動物（如右下圖）。哺乳動物產(chǎn)奶有毛發(fā)食肉動物吃肉有犬齒有爪眼視前方根據(jù)上面的分析，我們可以用如后圖所示的“與/或”圖表示識別動物是老虎的知識。老虎黃褐色有黑條紋哺乳動物食肉動物產(chǎn)奶有毛發(fā)有犬齒有爪眼視前方吃肉老虎識別系統(tǒng)“與/或”用“與/或”圖表示知識比較直觀，而且方便用程序設(shè)計語言表達及計算機存儲處理。從上面的例子我們看到，用“與/或”圖表示法，能方便地表示陳述性知識，從問題的分解角度來看，也能方便地表示過程性知識