按照结论的推导过程不同，自动推理分为()。