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