重访颜色传递：基于交换因子的提升模型构建

提升概率推断利用概率模型中的对称性，以实现关于域大小的可处理概率推断。为应用提升推断，必须获得提升表示，而为此，所谓的颜色传递算法是当前最先进的方法。然而，颜色传递算法受限于特定的推断算法，并且我们发现在构建提升表示时它忽略了因子的交换性。我们贡献了颜色传递算法的改进版本，该版本使用逻辑变量构建独立于特定推断算法的提升表示，同时在离线步骤中利用因子的交换性。我们提出的算法比当前最先进方法更高效地检测出更多对称性，从而大幅增强压缩，在应用所得模型时显著加快在线查询时间。