定义1：代换是形如{t1/x1,t2/x2,,tn/xn}的有限集合。 ·t/X表示用t:代替x,t1〈)x1,x:不能出现在t中， ·t1,t2,.tn是项，x1,x2.xn是互不相同的变元 例{a/x,f(b)/y,w/z}是一个代换 {g(y)/x,f(x)/y}x与y之间出现了循环代换的情况 {g(a)/x,f(x)/y}y用f(g(a)代换 定义2：设Q-{t1/x1,t2/x2,.tn/xn} 1={u1/y1,u2/y2.u/yn}是两个代表 则{t12/x1,t21/x2,.,tn1/x,u1/y1,u2/y2,.,/yn} 也是一个代换，从中删去两个元素t1入/X1,u/y:后剩下 的元素所构成的集合，记为Q°入 例设有代换Q={f(y)/x,z/y},1={a/x,b/y,y/z} Q°λ={f(b)/x,y/z}
定义1：代换是形如{t1/x1,t2/x2,…,tn/xn}的有限集合。 • ti/xi表示用ti代替xi,ti<>xi,xi不能出现在ti中， • t1,t2,…tn是项，x1,x2..xn是互不相同的变元 例 {a/x,f(b)/y,w/z}是一个代换 {g(y)/x,f(x)/y} x与y之间出现了循环代换的情况 {g(a)/x,f(x)/y} y用f(g(a))代换 定义2：设Q={t1/x1,t2/x2,…tn/xn} λ={u1/y1,u2/y2…um/ym}是两个代表 则{t1λ/x1,t2λ/x2,..,tnλ/xn,u1/y1,u2/y2,..,um/ym} 也是一个代换，从中删去两个元素tiλ/xi,ui/yi后剩下 的元素所构成的集合，记为Qλ 例 设有代换Q={f(y)/x,z/y},λ={a/x,b/y,y/z} Qλ={f(b)/x,y/z}
定义3：设有公式集F=F1,F2,,F}若存在一个代 换入使得F12=F2入=.=Fn2,则称1为公式集F 的一个合一，且称F1,F2,,Fn是可合一的。 例：设有公式集F=P(x,y,f(b),P(a,g(x),z)},下式 是它的一个合一： 2={a/x,g(a)/y,f(g(a)/z} 定义4.设G是公式集F的一个合一，如果对任一个 合一0都存在一个代换儿，使得0=σ°入，则称 G是一个最一般的合一。 求最一般合一的算法： (1)令k=0,Fk=F,σkε。F是欲求其最一般合一的 公式集，是空代换 (2)若Fk只含一个表达式，则算法停止，其中σk就 是最一般合一
定义3：设有公式集F={F1,F2,…,Fn}若存在一个代 换λ使得F1λ=F2λ=…=Fnλ,则称λ为公式集F 的一个合一，且称F1,F2,…,Fn是可合一的。 例：设有公式集F={P(x,y,f(b)),P(a,g(x),z)},下式 是它的一个合一： λ={a/x,g(a)/y,f(g(a))/z} 定义4.设σ是公式集F的一个合一，如果对任一个 合一都存在一个代换λ，使得 =σλ,则称 σ是一个最一般的合一。 求最一般合一的算法： (1)令k=0,Fk=F,σk=ε。F是欲求其最一般合一的 公式集，ε是空代换 (2)若Fk只含一个表达式，则算法停止，其中σk就 是最一般合一
(3)找出Fk的差异集D (4)若Dk中存在元素xk和tk,其中Xk是变元，tk是 项，且Xk不在tk中出现，则置 ok+1=ok。{tk/x} FK+1-Fktk/Xx K=k+1然后转(2) (⑤)算法中止，F的最一般合一不存在
(3)找出Fk的差异集Dk (4)若Dk中存在元素xk和tk,其中xk是变元，tk是 项，且xk不在tk中出现，则置 σk+1=σk 。{tk/xk} Fk+1=Fk{tk/xk} K=k+1 然后转（2） (5)算法中止，F的最一般合一不存在
5冲突消解策略 冲突：已知事实可与知识库中的多个知识匹配成功 ()按针对性排序：优先选用针对性较强的产生式规则， 因为它要求的条件较多，其结论一般更接近目标。 (2)按已知事实的新鲜性排序：我们把数据库中后生成 的事实成为新鲜的事实，后生成的事实比先生成的 事实具有较大的新鲜性。 ①逐个比较，看A与B谁的新鲜事实多 ②A与B中最新鲜的相比，看谁更新鲜 ③A与B中最不新鲜的相比，看哪一个更不新鲜 (3)按匹配度排序： ①当两个模式的相似程度达到某个预先规定的值时， 我们就认为它们是可匹配的。 ②相似度又称匹配度
5 冲突消解策略 冲突：已知事实可与知识库中的多个知识匹配成功 (1)按针对性排序：优先选用针对性较强的产生式规则， 因为它要求的条件较多，其结论一般更接近目标。 (2)按已知事实的新鲜性排序：我们把数据库中后生成 的事实成为新鲜的事实，后生成的事实比先生成的 事实具有较大的新鲜性。 ①逐个比较，看A与B谁的新鲜事实多 ②A与B中最新鲜的相比，看谁更新鲜 ③A与B中最不新鲜的相比，看哪一个更不新鲜 (3)按匹配度排序： ①当两个模式的相似程度达到某个预先规定的值时， 我们就认为它们是可匹配的。 ②相似度又称匹配度
(4)根据领域问题的特点排序 ①当领域问题有固定的解题次序时，可按该次序 排列相应的知识，排在前面的知识优先被应用。 ②当已知某些产生式规则被应用后会明显地有利 于问题的求解时，就使这些产生式规则优先被使 用 (⑤)按上下文限制排序：把产生规则按他们所描迷 的上下分成若干组，在不同条件下，只能从相应 的组中选取有关的产生式规则。 (6)按冗余限制排序：一条产生式应用后，产生的 冗余知识越多，则产生式优先级愈低。 (7）按条件个数排序：如果有多条件产生式规则生 成相同的结论，则要求条件少的产生式规则优先
(4)根据领域问题的特点排序 ①当领域问题有固定的解题次序时，可按该次序 排列相应的知识，排在前面的知识优先被应用。 ②当已知某些产生式规则被应用后会明显地有利 于问题的求解时，就使这些产生式规则优先被使 用 (5)按上下文限制排序：把产生规则按他们所描述 的上下分成若干组，在不同条件下，只能从相应 的组中选取有关的产生式规则。 (6)按冗余限制排序：一条产生式应用后，产生的 冗余知识越多，则产生式优先级愈低。 (7)按条件个数排序：如果有多条件产生式规则生 成相同的结论，则要求条件少的产生式规则优先