1以产生式推理模式为基础，实现小型动物分类系统，推理方法可以采用正向推理或反向推理； 　　2 要求表示规则的语言必须能体现出规则前提和结论的对应关系，必须能体现出前提和结论中的逻辑关系； 　　3 要求能对规则库进行动态地增加、删除和修改操作； 　　4 要求用界面显示要查询的初始事实、推理方法、推理中用到的规则和结论。-Production mode of reasoning as the basis of small animal classification system, r