产生家统的点c0 机器可读性 ◆机器识别产生式,语法检查和某种意义上的语义 检查 语义检查—无矛盾性检查 一语义检查一完整性检查 ◆对产生式的作出解释,即对产生式系统为解决某 问题所给出的答案的解释 一推理过程 o 2002 Hoare. All rights reserved产生式系统的特点（续） 机器可读性 ◆机器识别产生式，语法检查和某种意义上的语义 检查 语义检查——无矛盾性检查 语义检查——完整性检查 ◆对产生式的作出解释，即对产生式系统为解决某 一问题所给出的答案的解释 推理过程