基于产生式表示的动物识别系统

  实验目的

    理解和掌握产生式知识表示方法及产生式系统的基本过程，能够利用编程技术建立一个基于产生式知识表示的简单的智能系统。

例    建立一个动物识别系统的规则库，用以识别虎、豹、斑马、长颈鹿、企鹅、鸵鸟、信天翁等7种动物。
    解  为了识别这些动物，可以根据动物识别的特征，建立包含下述规则的规则库：             
    R1：if 动物有毛发  then  动物是哺乳动物
    R2：if 动物有奶  then  动物是哺乳动物
    R3：if 动物有羽毛  then  动物是鸟 

    R4：if 动物会飞  and  会生蛋 then  动物是鸟
    R5：if 动物吃肉 then 动物是食肉动物
    R6：if 动物有犀利牙齿 and 有爪 and 眼向前方 then 动物是食肉动物
    R7：if 动物是哺乳动物and有蹄then动物是有蹄类动物
    R8：if 动物是哺乳动物and反刍then动物是有蹄类动物
    R9：if 动物是哺乳动物and是食肉动物and有黄褐色 and 有暗斑点 then 动物是豹 

    R10：if 动物是哺乳动物 and是食肉动物and有黄褐色 and 有黑色条纹 then 动物是虎
    R11：if动物是有蹄类动物  and 有长脖子and有长腿and有暗斑点 then 动物是长颈鹿
    R12：if 动物是有蹄类动物 and有黑色条纹 then 动物是斑马
    R13：if 动物是鸟and不会飞 and有长脖子and有长腿 and有黑白二色 then 动物是鸵鸟
    R14：if 动物是鸟 and不会飞 and会游泳 and有黑白二色 then  动物是企鹅
    R15：if 动物是鸟 and善飞 then 动物是信天翁 

如果初始综合数据库包含的事实有：
    动物有暗斑点，有长脖子，有长腿，有奶，有蹄
    
    推理出是什么动物？（长颈鹿）

系统的推理过程
    (1) 先从规则库中取出第一条规则r1，检查其前提是否可与综合数据库中的已知事实相匹配。