基于动作规则实现有限域约束传播器
编程语言
2007-05-23 v1
摘要
本文提出了一种新语言，称为 AR（Action Rules），并描述了如何在其上实现各种有限域约束传播器。动作规则指定了代理的模式、代理可以执行的动作，以及可以激活代理的事件模式。AR 将逻辑编程的目标导向执行模型与事件驱动执行模型相结合。这种混合执行模型 facilitate 编程约束传播器。有限域约束的传播器是维护约束一致性的代理，并由约束中域变量的更新激活。AR 的描述能力远强于当前有限域约束系统中广泛使用的 indexicals 语言，能够灵活实现既不是区间一致性也不是弱一致性算法。作为示例，我们展示了一个用于 all_distinct 约束的弱弱一致性传播器，以及用于 n 元线性等式约束的混合算法。已将 B-Prolog 扩展以容纳动作规则。基准测试显示，B-Prolog 作为 CLP(FD) 系统显著优于其他 CLP(FD) 系统。
引用
@article{arxiv.cs/0506005,
title = {Programming Finite-Domain Constraint Propagators in Action Rules},
author = {Neng-Fa Zhou},
journal= {arXiv preprint arXiv:cs/0506005},
year = {2007}
}