用于计算解释的事件选择规则
人工智能
2016-08-30 v1
摘要
解释在上个世纪已被引入。它们在缩减搜索空间方面的益处已毋庸置疑。然而，将其高效地实现到 CSP 求解器中仍然是一个挑战。在本文中，我们引入 ESeR，一种事件选择规则算法，用于过滤传播过程中生成的事件。这种动态选择使得能够为智能回溯算法高效地计算解释。我们在最近三届 MiniZinc 挑战赛的实例上展示了我们方法的有效性。
引用
@article{arxiv.1608.08015,
title = {Event Selection Rules to Compute Explanations},
author = {Charles Prud'homme and Xavier Lorca and Narendra Jussien},
journal= {arXiv preprint arXiv:1608.08015},
year = {2016}
}