除了本格推理还有什么推理