U-Define：为基于大语言模型的规划中的硬约束与软约束设计用户工作流

大语言模型虽广泛用于终端用户任务规划，但其黑盒特性限制了用户的控制力与可靠性保障。现有系统缺乏有效机制让用户应用刚性约束以表达意图或适应现实变异性。本文提出 U-Define 系统，允许用户用自然语言定义约束并将其分类为不可违背的“硬规则”或具灵活性的“软偏好”。系统采用形式化模型检测验证硬约束，利用大语言模型作为裁判评估软约束。技术评估与用户研究表明，该机制显著提升了规划的感知有用性、性能及用户满意度，为设计灵活可靠的约束驱动型规划工作流提供了重要见解。