| 多数较为简单的专家系统都是以产生式表示知识的，相应的系统称作产生式系统。一个产生式系统由知识库和推理机两部分组成。 知识库：由规则库和数据库组成。规则库是产生式规则的集合，数据库存放输入事实、外部数据库输入的事实以及中间结果和最后结果。 推理机是一个程序，控制协同规则库与数据库的运行，包含了推理方式和控制策略。推理方式有正向推理、反向推理和双向推理。 ：把一组产生式放在一起，让它们互相配合，协同工作，一个产生式生成的结论可以供另一个产生式作为前提使用，以这种方式求得问题的解决的系统就叫做产生式系统。 产生式推理可以在与或图的基础上进行 与或图：各个事实之间的逻辑关系图。下图就是一个与或树的实例。图中的红线表示兄弟结点之间是“与”的关系；没有红线的地方，表示兄弟结点之间是“或”的关系。例如：“偶蹄”必须是“有蹄”且是“哺乳动物”，而“哺乳动物”则或者“有毛发”，或者可以“产乳”。
|