2.3 “与/或”图表示法 课件

“与/或”图表示法 大家都学习过几何，我们想想，证明两个三角形全等（如图所示）有几种方法。ABCA'B'C'两个三角形全等(T)两个三角形三边分别对应相等(T1)两个三角形两角夹一边分别对应相等(T3)两个三角形两边夹一角分别对应相等(T2)1“与/或”图表示法 从上面例子我们可看到，当这些子问题T1、T2、T3中有一个有解，问题T将有解。原问题T与变换所得的子问题T1、T2、T3的关系，我们可以用“或”图来表示。这时，图中的T叫做“或节点”。TT1T2T3问题T2，它可以等效为下面三个子问题的“或”：两个三角形两边夹一角分别对应相等(T2)∠A其两边与∠A'及其两边分别对应相等(T21)∠C及其两边与∠C'及其两边分别对应相等(T23)∠B及其两边与∠B'及其两边分别对应相等(T22)T21又可继续分解为下面三个子问题:∠A及其两边与∠A'及其两边分别对应相等(T21)∠A=∠A'(T211)AC=A'C'(T213)AB=A'B'(T212) 从上面例子我们可看到，当问题T21分解为问题T211、T212、T213时，只有三个问题全有解，问题T21才有解。原问题T21与分解的子问题T211、T212、T213的关系，我们可以用“与”图来表示。图中用一条小弧线连接所有子问题（下图所示）。这时，图中的T21叫做“与节点”。T21T211T212T2132“与/或”图表示实例识别动物是老虎的“与/或”图表示知识法。识别某种动物是不是老虎，我们可以根据老虎具有的特征：（1）食肉动物（2）哺乳动物（3）黄褐色（4）有黑条纹（5）有爪（6）有犬齿（7）有毛发（8）眼视前方…… 通过对老虎这种动物特征的分析以及动物专家对动物识别的一般规则，识别老虎这种动物必须具备的条件如图所示：老虎黄褐色有黑条纹哺乳动物食肉动物 而识别一种动物是否是哺乳动物、食肉动物有多种方法，如果一种动物产奶或者有毛发，我们可辨别它是哺乳动物（如左下图所示）；如果一种动物吃肉，我们可说它是食肉动物；如果一种动物有爪、有犬齿、眼视前方等特征，我们可辨别它是食肉动物（如右下图）。哺乳动物产奶有毛发食肉动物吃肉有犬齿有爪眼视前方 根据上面的分析，我们可以用如后图所示的“与/或”图表示识别动物是老虎的知识。老虎黄褐色有黑条纹哺乳动物食肉动物产奶有毛发有犬齿有爪眼视前方吃肉老虎识别系统 “与 / 或” 用“与/或”图表示知识比较直观，而且方便用程序设计语言表达及计算机存储处理。从上面的例子我们看到，用“与/或”图表示法，能方便地表示陈述性知识，从问题的分解角度来看，也能方便地表示过程性知识。练习（1）“与节点”、“或节点”表示的含义是什么？（2）“与/或”图表示法的特点是什么？