文件名称：约束满足问题的知识表示-研究论文
文件大小：4.78MB
文件格式：PDF
更新时间：2024-06-08 10:45:55
论文研究
在本文中，我们提出了约束满足问题（CSP）的一般表示形式以及用于解释其解决方案的-framework，这与大多数基于约束的松弛算法不同。强调需要对约束知识进行“自然”编码，并且可以促进推理进行传播，回溯和解释。 该表示包括两个部分：生成和测试问题求解器，其中包含有关问题变量的信息；约束驱动的推理器，用于管理一组约束，这些约束指定为任意复杂的布尔表达式，并以约束网络的形式表示。 该约束网络：包含用于约束传播的控制信息（在约束的语法中反映）：包含可用于解释和依赖定向回溯的依赖信息； 并且是增量的，即如果修改了问题规范，则可以通过修改现有解决方案来得出新的解决方案。