人工智能基础02--知识表示.pptVIP

2.3 问题归约法 2.3.2 与或图表示 　可解节点 与或图中一个可解节点的一般定义可以归纳如下： 　(1) 终叶节点是可解节点(因为它们与本原问题相关连)。 　(2) 如果某个非终叶节点含有或后继节点，那么只有当其后继节点至少有一个是可解的时，此非终叶节点才是可解的。 　(3) 如果某个非终叶节点含有与后继节点，那么只要当其后继节点全部为可解时，此非终叶节点才是可解的。 　 2.3 问题归约法 2.3.2 与或图表示 　　 不可解节点 不可解节点的一般定义归纳于下： 　　(1) 没有后裔的非终叶节点为不可解节点。 　　(2) 如果某个非终叶节点含有或后继节点，那么只有当其全部后裔为不可解时，此非终叶节点才是不可解的。 　　(3) 如果某个非终叶节点含有与后继节点，那么只要当其后裔至少有一个为不可解时，此非终叶节点才是不可解的。 2.3 问题归约法 2.3.2 与或图表示 4. 与或图构图规则 　(1) 与或图中的每个节点代表一个要解决的单一问题或问题集合。图中所含起始节点对应于原始问题。 　(2) 对应于本原问题的节点，叫做终叶节点，它没有后裔。 　(3)?对于把算符应用于问题A的每种可能情况，都把问题变换为一个子问题集合；有向弧线自A指向后继节点，表示所求得的子问题集合。 　(4) 一般对于代表两个或两个以上子问题集合的每个节点，有向弧线从此节点指向此子问题集合中