伪布尔 d-DNNF 编译用于表现性特征建模

本研究解决了复杂特征模型与自动推理工具输入形式之间的差距，提出了一种伪布尔编码方法，能够更紧凑地表示特征模型，从而提高推理的效率。此外，研究还创新性地将伪布尔公式编译为布尔 d-DNNF，显著提高了特征模型的转换速度，尤其是在使用表现性约束时。该方法在处理基本构造的特征模型时同样具有竞争力。