一、定义
一个约束通常指一个包含若干变量的关系表达式，用以表示这些变量所必须满足的条件。约束表示广泛应用于人工智能的各个领域，例如定性推理、基于模型的诊断、自然语言理解、景物分析、任务调度、系统配置、科学实验规划、电子与机械设备的设计与分析等。通常指一个包含若干变量的关系表达式，用以表示这些变量所必须
阅读背景：
约束推理简介_weixin_43170981的博客
来源：互联网
分享到：
