[填空题] 从已知事实出发，通过规则库求得结论的产生式系统的推理方式是（）。

在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。 云在线是怎么进行培训的 所谓联机诊断，是指数控计算机中的（）。 ["A．远程诊断能力","B．自诊断能力","C．脱机诊断能力","D．通信诊断能力"] 自然语言理解不仅包括计算机能正确理解人们用自然语言输入的信息，能正确回答输入信息中的有关问题，而且还包括语法分析、语用分析、（）。 云在线为谁提供服务？ 从已知事实出发，通过规则库求得结论的产生式系统的推理方式是（）。