后门可分解单调电路及其传播完备编码
人工智能
2021-01-25 v4 计算机科学中的逻辑
摘要
我们描述了一种后门可分解单调电路（BDMC）的编译语言，它推广了文献中出现的若干概念，例如 DNNF 与后门树。一个 C-BDMC 句子是一个满足可分解性性质（如 DNNF 中）的单调电路，其中输入（或叶）与给定基类 C 中的 CNF 编码相关联。我们考虑将传播完备（PC）编码作为基类，并证明 PC-BDMC 与 PC 编码多项式等价。此外，我们利用这一点确定了 PC-BDMC 与 PC 编码关于知识编译图的性质，包括该语言上高效操作的列表。
引用
@article{arxiv.1811.09435,
title = {Backdoor Decomposable Monotone Circuits and their Propagation Complete Encodings},
author = {Petr Kučera and Petr Savický},
journal= {arXiv preprint arXiv:1811.09435},
year = {2021}
}
备注
The paper was significantly rewritten to improve readability, it is now an extended version of the paper accepted to AAAI 2021