逻辑推理模块