人工智能之2北京师范大学宋继华.ppt

IF 前提 THEN 结论 IF 条件 THEN 行动 或者简写为： 前提 —— 结论 条件 —— 行动 过程PRODUCTION 1． DATA ← 初始数据库 2. until DATA满足结束条件， do 3. { 4. 在规则集中选择一条可应用于DATA的规则R 5. DATA ← R应用到DATA得到的结果 6. } 问题：设字符转换规则 A∧B→C A∧C→D B∧C→G B∧E→F D→E 已知：A，B 求：F 一、综合数据库 {x}，其中x为字符 二、规则集 1. IF A∧B THEN C 2. IF A∧C THEN D 3. IF B∧C THEN G 4. IF B∧E THEN F 5 IF D THEN E 定理4的证明（续1） 所以有：f1(n)≥f*(s) 即：g1(n) + h1(n)≥f*(s) 所以：h1(n)≥f*(s) – g1(n) 另一方面，由于A2扩展了n，有f2(n)≤f*(s) 即：h2(n)≤f*(s) – g2(n) (A) 由于d(n)=k时，A2扩展的节点A1一定扩展，有 g1(n)≤g2(n) （因为A2的路径A1均走到了） 所以：h1(n)≥f*(s) – g1(n)≥f*(s) – g2(n