动物识别系统 产生式系统 产生式系统：把一组产生式放在一起，并让它们互相配合，协同作用，一个产生式生成的结论可以供另一个产生式作为已知事实使用，以求得问题的解决。 产生式的基本形式 产生式基本形式是：P→Q 或者 if P then Q （1）规则库 用于描述相应领域内知识的产生式集合称为规则库。 （2）综合数据库 综合数据库又称为全局数据库，或称为事实库、黑板。用于存放问题求解过程中各种当前信息，例如问题的初始事实、原始证据、推理中得到的中间结论以及最终结论。综合数据库的内容随着推理的进行是在不断动态变