AI 工具用于 逻辑建模