小有限域约束传播算法的自动生成
人工智能
2007-05-23 v1 编程语言
摘要
我们在此研究基于预定义、显式给定的有限约束的约束满足问题。为了解决这些问题，我们提出了一种规则一致性的概念，该概念可以用从初始约束的显式表示中导出的规则来表达。对于任意元数的约束，这种局部一致性概念弱于弧一致性，但当所有域都是一元或二元时，它与弧一致性一致。对于布尔约束，规则一致性与众所周知的布尔约束传播规则下的闭包一致。通过推广规则的格式，我们获得了基于所谓包含规则的弧一致性表征。规则一致性和这种基于规则的弧一致性表征的优点在于，强制执行这两种概念的算法可以自动生成，作为CHR规则。因此，这些算法可以集成到诸如Eclipse之类的约束逻辑编程系统中。我们通过讨论这两种算法的实现及其在各种示例上的使用，包括布尔约束、Kleene三值逻辑、处理Waltz描述多面体场景的语言的约束，以及Allen的定性时间逻辑方法，来说明这种约束传播方法的实用性。
引用
@article{arxiv.cs/9909010,
title = {Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains},
author = {Krzysztof R. Apt and Eric Monfroy},
journal= {arXiv preprint arXiv:cs/9909010},
year = {2007}
}
备注
15 pages. To appear in the Proc. 5th International Conference on Principles and Practice of Constraint Programming