带标签句子决策图的变体
人工智能
2023-12-05 v1 计算机科学中的逻辑
摘要
一种近期提出的布尔函数规范形式，即带标签句子决策图（TSDD），同时利用了标准修剪规则和零抑制修剪规则。标准规则最小化句子决策图（SDD）的大小，而零抑制修剪规则对零抑制句子决策图（ZSDD）具有与标准规则相同的目标。原始的 TSDD（我们称之为零抑制 TSDD（ZTSDD））首先充分利用零抑制修剪规则，然后采用标准规则。本文中，我们提出一种 TSDD 的变体，称之为标准 TSDD（STSDD），通过反转修剪规则的顺序。随后我们证明 STSDD 的规范性，并给出 TSDD 上二元操作的算法。此外，我们提供 STSDD 与 ZTSDD 的两种实现，并获得原始 TSDD 的三种变体。实验评估表明，四个版本的 TSDD 相比 SDD 和 ZSDD 具有大小优势。
引用
@article{arxiv.2312.00793,
title = {Variants of Tagged Sentential Decision Diagrams},
author = {Deyuan Zhong and Mingwei Zhang and Quanlong Guan and Liangda Fang and Zhaorong Lai and Yong Lai},
journal= {arXiv preprint arXiv:2312.00793},
year = {2023}
}