B2.05.4Logical constraint设计研究
逻辑约束由要素间关系推导
别名: 逻辑约束 · 关系约束 · 规则推导
概念解释
逻辑约束（logical constraint）来自要素之间可推导的数量、顺序、依赖或互斥关系。拼图只剩一个空位时某片只能去那里；表单的结束日期必须晚于开始日期；一个项目已被分配给某人时不能同时分配给另一人。用户若能看见这些关系，便可从逻辑上排除不可能的选择。
机制
系统规则将元素连接成条件网络：某项选择改变后，哪些选项仍有效、哪些步骤可继续、哪些组合冲突都会随之变化。界面若显露剩余数量、先后关系、依赖来源和当前状态，用户可以自行推理。若规则隐藏在后台、相关信息分散或错误只在提交后出现，逻辑仍存在却无法成为用户行动时的约束。
怎么研究
让用户处理需要满足多个关系的任务，观察他们是否能在提交前预测合法组合、说明依赖并发现冲突。比较即时更新、静态列表和事后报错三种呈现下的错误率、回退次数与解释。还应引入边界案例，例如同时变化的多个条件，以检查界面是否让规则保持可追踪。
边界
逻辑可推导不表示规则容易理解：复杂业务规则、例外条件和隐含优先级会超过用户的工作记忆。把所有关系暴露出来也会造成认知负担。对于少见或高复杂度情况，系统应自动处理可安全处理的部分，并提供简洁理由、可检查细节和人工纠正途径。
怎么落地
- 在选择发生时立即更新依赖选项、可用数量和冲突提示，使关系在行动前可见。
- 把相互关联的信息放在可比较的范围内，并用明确语言说明“因为什么”而被限制。
- 将例外、覆盖与恢复设计为受控流程，避免用户为绕过隐藏规则而反复试错。