论规范性在自底向上知识编译中的作用
人工智能
2014-04-17 v1
摘要
我们考虑知识库的自底向上编译问题，该问题通常基于存在一个用于结合布尔算子编译结果的多项式时间函数（通常称为 Apply 函数）。虽然已知某些语言（如 OBDDs）存在这样的多项式时间 Apply 函数，而另一些语言（如 DNNF）则不存在，但某些语言的存在性仍未知。其中包括最近引入的语句决策图（SDDs）语言，对于未简化的 SDDs 存在多项式时间 Apply 函数，但对于简化后的 SDDs（即规范 SDDs）仍未知。本文解决了这一开放性问题，并探讨了其一些理论和实际意义。我们报告的一些发现对关于自底向上编译、语言规范性与 Apply 函数复杂性之间关系的普遍看法提出了质疑。
引用
@article{arxiv.1404.4089,
title = {On the Role of Canonicity in Bottom-up Knowledge Compilation},
author = {Guy Van den Broeck and Adnan Darwiche},
journal= {arXiv preprint arXiv:1404.4089},
year = {2014}
}