逻辑推理-状态转移模拟