我们提出了一种名为TRACE-cs的新型混合系统，它结合了符号推理和大语言模型 (LLM) 来解决调度问题中的对比查询。TRACE-cs 利用SAT求解技术来编码调度约束并为用户查询生成解释，同时利用LLM将用户查询处理成逻辑子句，并将符号求解器生成的解释细化为自然语言句子。通过集成这些组件，我们的方法证明了结合符号方法和LLM来创建具有正确性保证的可解释AI智能体的潜力。