人工智能知识表示解读.pdfVIP

人工智能——产生式表示法 “产生式 ”由美国数学家波斯特（ E.POST ）在 1934 年首先提出，它根据 串代替规则 提出了一种 称为波斯特机的计算模型，模型中的每条规则称为产生式。 1972 年纽厄尔和西蒙在研究人类知识模型中开发了基于规则的产生式系统。 1. 产生式的基本形式 或 IF P THEN Q 常用结构 示例 原因 à结果 天下雨，地上湿 如果把冰加热到 0 。 以上，冰就会融化为水 条件 à结论 前提 à操作 若能找到一根合适的杠杆，就能撬起那座大山 事实 à进展 夜来风雨声，花落知多少 情况 à行为 刚才开机了，意味着发出了捕获目标图像的信号 表 1 产生式表示的常用结构及示例 2. 产生式系统 把一组产生式 放在一起， 让它们互相配合， 协同作用， 一个产生式生成的 结论 可以供另一个产生 式作为已知 事实 使用，以求得问题的解决，这样的系统称为产生式系统。 图 1 产生式系统 图 2 产生式求解系统问题的一般步骤 3. 动物识别系统产生式推理链 设动物识别知识库中已包含识别虎、金钱豹、斑马、长颈鹿、企鹅、鸵鸟、海鸥等 7 中动物 15 条规则。 R1 ：IF 某动物是哺乳动物 AND 是食肉动物 AND 是黄褐色 AND 身上有斑点 THEN 该动 物是金钱豹 R2 ：IF 某动物是哺乳动物 AND 是食肉动物 AND 是黄褐色 AND 身上有黑色条纹 THEN 该 动物是老虎 R3 ：IF 某动物是有蹄类动物 AND 有长脖子 AND 有长腿 AND 身上有暗斑点 THEN 该动 物是长颈鹿 R4 ：IF 某动物是有蹄类动物 AND 身上有黑色条纹 THEN 该动物是斑马 R5 ：IF 该动物是鸟 AND 有长脖子 AND 有长腿 AND 不会飞 AND 有黑白两色 THEN 该动 物是鸵鸟 R6 ：IF 某动物是鸟 AND 会游泳 AND 不会飞 AND 有黑白两色 THEN 该动物是企鹅 R7 ：IF 某动物是鸟 AND 会游泳 AND 善于飞 THEN 该动物是海鸥 R8 ：IF 动物是哺乳动物 AND 嚼反动物 THEN 该动物是有蹄类动物 R9 ：IF 某动物有毛发 THEN 该动物是哺乳动物 R10 ： IF 某动物有奶 THEN 该动物是哺乳动物 R11 ： IF 某动物有羽毛 THEN 该动物是鸟 R12 ： IF 某动物会飞 AND 会下蛋 THEN 该动物是鸟 R13 ： IF 某动物吃肉 THEN 该动物是食肉动物 R14 ： IF 某动物有犬齿 AND 有爪子 AND 眼盯前方 THEN 该动物是食肉动物 R15 ： IF 某动物是哺乳动物 AND 有蹄子 THEN 该动物是有蹄类动物 图 3 动物识别系统的推理链 已知 有斑点、长脖子、长腿、有奶、有蹄子 正向推理： R10--R8--R3 反向推理：假设 R1 到 R7 的某个结论成立，逐个与现有事实匹配 正反向混合推理：正向推理，有斑点 -- 豹子或长颈鹿；根据其他事实反向推理 优点 缺点 自然性 效率不高，组合爆炸 模块性