人工智能Artificial Intelligence第七章课件.pptVIP

CLIPS匹配算法 模式网络 若两个模式的前k个域相同，则它们可以共享k个域结点。 连接网络 用于检查同一规则不同模式之间因同名变量而带来的相应模式实例之间的相互约束关系，以保证同名变量取值的一致性。 18年 史忠植 人工智能：专家系统 * CLIPS匹配算法 定义 称满足相互约束条件的k个模式实例为可满足的k—模式实例。 显然，寄存器?中所有非空模式实例均为1—模式实例，且是可满足的 可满足的k—模式实例存在寄存器?k中，寄存器?可以看成寄存器?1。 在连接网络中，每一连接点有两个输入，一个来自含有1—模式实例的?寄存器，另一个来自含有可满足的k—模式实例集的寄存器?(k=1)或寄存器?k (k1),连接点指出两组输入模式实例的约束条件，输出可满足的(k+1)—模式实例集，存入寄存器?k+! 。 18年 史忠植 人工智能：专家系统 * CLIPS匹配算法 Rete网络匹配过程 Rete网络匹配过程由模式网络上的模式匹配和连接网络上的部分匹配两部分构成。 在模式网络的机器内部表示中，我们把共享一个父结点的所有结点表示成一条共享链，同时，把每一模式匹配链中的结点表示成一条下拉链，于是，每一结点由共享链和下拉链指向其后继结点，模式网络就是一棵可以使用典型遍历算法进行测试的二叉树。 模式网络上的模式匹配过程就是上述二叉树的条件遍历过程 18年