投影模型计数
人工智能
2015-07-29 v1
摘要
模型计数是计算满足给定命题理论 F 的变量 V 赋值数量的任务。模型计数是概率推理中的重要工具。在本文中，我们引入了投影到原始变量子集 P（我们称之为“优先”变量）上的模型计数问题。任务是计算 P 的赋值数量，使得存在到“非优先”变量 V\P 的扩展满足 F。当模型的某些部分与计数无关时，尤其当我们需要额外变量来建模在 SAT 中计数问题时，投影模型计数随之产生。我们讨论了三种不同的投影模型计数方法（其中两种是新颖的），并比较了它们在不同基准问题上的性能。将发表于第18届可满足性测试理论与应用国际会议，2015年9月24-27日，美国德克萨斯州奥斯汀。
引用
@article{arxiv.1507.07648,
title = {Projected Model Counting},
author = {Rehan Abdul Aziz and Geoffrey Chu and Christian Muise and Peter Stuckey},
journal= {arXiv preprint arXiv:1507.07648},
year = {2015}
}