4.6.2 框架表示下的推理
  框架表示法没有固定的推理机理。但框架系统的推理和语义网络一样遵循匹配和继承的原则,而且框架中如IF needed、if Added等槽的槽值是附加过程,在推理过程中起重要作用。

例子