Generalized Local Propagation: A Framework for Solving Constraint Hierarchies
Generalized Local Propagation: A Framework for Solving Constraint Hierarchies
复制标题
广义局部传播：解决约束层次结构的框架
DOI：
10.1007/3-540-61551-2_78
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
A. Yonezawa
中科院分区：
文献类型：
--
作者：
H. Hosobe;S. Matsuoka;A. Yonezawa
“约束层次”是一种非单调系统，它允许程序员通过指定具有层次偏好的约束来描述过约束的现实世界问题，并已被应用于各个领域。约束层次结构的一个重要方面是基于局部传播的有效满足算法的存在。然而，过去的本地传播算法已被限制到多路等式约束。我们克服了这一点，通过重新制定约束层次与更严格的定义，并proposinggeneralized local propagation作为一个理论框架，研究约束层次和本地传播。然后，我们证明了满足族的全局半单调性在广义局部传播中是一个非常有用的性质。最后，我们讨论了广义局部传播与我们的previouslyoungIL算法解决多路等式约束层次的相关性。
‘Constraint hierarchy’ is a nonmonotonic system that allows programmers to describe over-constrained real-world problems by specifying constraints with hierarchical preferences, and has been applied to various areas. An important aspect of constraint hierarchies is the existence of efficient satisfaction algorithms based on local propagation. However, past local-propagation algorithms have been limited to multi-way equality constraints. We overcome this by reformulating constraint hierarchies with a more strict definition, and proposinggeneralized local propagationas a theoretical framework for studying constraint hierarchies and local propagation. Then, we show thatglobal semi- monotonicityin satisfying hierarchies turns out to be a practically useful property in generalized local propagation. Finally, we discuss the relevance of generalized local propagation with our previousDETAILalgorithm for solving hierarchies of multi-way equality constraints.