让大模型学会逻辑推理:PDDL-INSTRUCT实现94%规划精度 - ListenHub