光滑 DNNF 理论的传播完全编码

Petr Kučera; Petr Savický

光滑 DNNF 理论的传播完全编码

人工智能 2021-09-09 v3 计算机科学中的逻辑

作者: Petr Kučera , Petr Savický

摘要

我们研究以可分解否定范式(DNNF)表示函数的合取范式(CNF)编码。Abio 等人(2016)考虑了多种 DNNF 与决策图的编码。作者区分了通过单元传播实现一致性或域一致性的编码，与单元反驳完全或传播完全的编码。其区别在于，前者不关心编码相对于辅助变量的传播强度，而后者以相同方式对待所有变量(主变量与辅助变量)。当前已知的 DNNF 理论编码实现的是域一致性。基于这些编码，我们推广了 Abio 等人(2016)关于决策图传播完全编码的结果，给出了 DNNF 的传播完全编码及其对有限域变量的推广。

关键词

DNNF 编码可分解否定范式传播完全性合取范式域一致性有限域

引用

@article{arxiv.1909.06673,
  title  = {Propagation complete encodings of smooth DNNF theories},
  author = {Petr Kučera and Petr Savický},
  journal= {arXiv preprint arXiv:1909.06673},
  year   = {2021}
}

备注

38 pages, significant revision to improve readability, submitted to a journal

光滑 DNNF 理论的传播完全编码

摘要

关键词

引用

备注

相关论文