• 2022-07-28
    基于模型的推理是语义的,依赖于替代模型的建构和检测。