从已知事实出发 按照知识库中的规则进行推理 得出结论的思维方式就是()。