DAG 推理