Title: TRACE-CS: A Hybrid Logic-LLM System for Explainable Course Scheduling Show Chinese title

Title: TRACE-CS：一种可解释课程调度的混合逻辑-大语言模型系统

Abstract: We present TRACE-CS, a novel hybrid system that combines symbolic reasoning with large language models (LLMs)to address contrastive queries in course scheduling problems. TRACE-CS leverages logic-based techniques to encode scheduling constraints and generate provably correct explanations, while utilizing an LLM to process natural language queries and refine logical explanations into user friendly responses. This system showcases how combining symbolic KR methods with LLMs creates explainable AI agents that balance logical correctness with natural language accessibility, addressing a fundamental challenge in deployed scheduling systems. Show Chinese abstract

Abstract: 我们提出TRACE-CS，一种新颖的混合系统，结合符号推理与大型语言模型（LLMs），以解决课程安排问题中的对比查询。 TRACE-CS利用基于逻辑的技术来编码调度约束并生成可证明正确的解释，同时利用LLM处理自然语言查询，并将逻辑解释精炼为用户友好的响应。 该系统展示了如何将符号知识表示方法与LLMs结合，创建可解释的人工智能代理，平衡逻辑正确性与自然语言的可访问性，解决了部署的调度系统中的一个基本挑战。