以动物识别系统为例,实现基于规则的系统表示与推理