填空题
几种常用的归结策略（）策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
删除
填空题 在一个量词的辖域中与该量词的指导变元相同的变元称为（）变元，其他变元称为（）变元。
填空题 在谓词公式中，紧接于量词之后被量词作用的谓词公式称为该量词的（）。
填空题 从已知事实出发，通过规则库求得结论的产生式系统的推理方式是（）。
